Properties

INDEX:(int) Indicates the position in a list of edges

BRANCH:(boolean) If we have multiple EOG edges the branch property indicates which EOG edge leads to true branch (expression evaluated to true) or the false branch (e.g. with an if/else condition)

DEFAULT:(boolean) Indicates which arguments edge of a CallExpression leads to a default argument

NAME:(string) An optional name for the property edge

[UNREACHABLE]:(boolean) True if the edge flows into unreachable code i.e. a branch condition which is always false.