codepropertygraph-domain-classes
API
Generated with
codepropertygraph-domain-classes/io.shiftleft.codepropertygraph.generated/io.shiftleft.codepropertygraph.generated.neighboraccessors/AccessNeighborsForControlStructureTraversal

AccessNeighborsForControlStructureTraversal

io.shiftleft.codepropertygraph.generated.neighboraccessors.AccessNeighborsForControlStructureTraversal
final class AccessNeighborsForControlStructureTraversal(val traversal: Iterator[ControlStructure]) extends AnyVal

Attributes

Graph
Supertypes
class AnyVal
trait Matchable
class Any

Members list

Value members

Concrete methods

def _blockViaAstIn: Iterator[Block]

Traverse to BLOCK via AST IN edge.

Traverse to BLOCK via AST IN edge.

Attributes

def _blockViaAstOut: Iterator[Block]

Traverse to BLOCK via AST OUT edge.

Traverse to BLOCK via AST OUT edge.

Attributes

def _blockViaCatchBodyOut: Iterator[Block]

Traverse to BLOCK via CATCH_BODY OUT edge.

Traverse to BLOCK via CATCH_BODY OUT edge.

Attributes

def _blockViaCdgIn: Iterator[Block]

Traverse to BLOCK via CDG IN edge.

Traverse to BLOCK via CDG IN edge.

Attributes

def _blockViaCdgOut: Iterator[Block]

Traverse to BLOCK via CDG OUT edge.

Traverse to BLOCK via CDG OUT edge.

Attributes

def _blockViaConditionOut: Iterator[Block]

Traverse to BLOCK via CONDITION OUT edge.

Traverse to BLOCK via CONDITION OUT edge.

Attributes

def _blockViaDoBodyOut: Iterator[Block]

Traverse to BLOCK via DO_BODY OUT edge.

Traverse to BLOCK via DO_BODY OUT edge.

Attributes

def _blockViaDominateIn: Iterator[Block]

Traverse to BLOCK via DOMINATE IN edge.

Traverse to BLOCK via DOMINATE IN edge.

Attributes

def _blockViaDominateOut: Iterator[Block]

Traverse to BLOCK via DOMINATE OUT edge.

Traverse to BLOCK via DOMINATE OUT edge.

Attributes

def _blockViaFalseBodyOut: Iterator[Block]

Traverse to BLOCK via FALSE_BODY OUT edge.

Traverse to BLOCK via FALSE_BODY OUT edge.

Attributes

def _blockViaFinallyBodyOut: Iterator[Block]

Traverse to BLOCK via FINALLY_BODY OUT edge.

Traverse to BLOCK via FINALLY_BODY OUT edge.

Attributes

def _blockViaForBodyOut: Iterator[Block]

Traverse to BLOCK via FOR_BODY OUT edge.

Traverse to BLOCK via FOR_BODY OUT edge.

Attributes

def _blockViaForInitOut: Iterator[Block]

Traverse to BLOCK via FOR_INIT OUT edge.

Traverse to BLOCK via FOR_INIT OUT edge.

Attributes

def _blockViaForUpdateOut: Iterator[Block]

Traverse to BLOCK via FOR_UPDATE OUT edge.

Traverse to BLOCK via FOR_UPDATE OUT edge.

Attributes

def _blockViaPostDominateIn: Iterator[Block]

Traverse to BLOCK via POST_DOMINATE IN edge.

Traverse to BLOCK via POST_DOMINATE IN edge.

Attributes

def _blockViaPostDominateOut: Iterator[Block]

Traverse to BLOCK via POST_DOMINATE OUT edge.

Traverse to BLOCK via POST_DOMINATE OUT edge.

Attributes

def _blockViaTrueBodyOut: Iterator[Block]

Traverse to BLOCK via TRUE_BODY OUT edge.

Traverse to BLOCK via TRUE_BODY OUT edge.

Attributes

def _blockViaTryBodyOut: Iterator[Block]

Traverse to BLOCK via TRY_BODY OUT edge.

Traverse to BLOCK via TRY_BODY OUT edge.

Attributes

def _callViaArgumentIn: Iterator[Call]

Traverse to CALL via ARGUMENT IN edge.

Traverse to CALL via ARGUMENT IN edge.

Attributes

def _callViaAstIn: Iterator[Call]

Traverse to CALL via AST IN edge.

Traverse to CALL via AST IN edge.

Attributes

def _callViaAstOut: Iterator[Call]

Traverse to CALL via AST OUT edge.

Traverse to CALL via AST OUT edge.

Attributes

def _callViaCatchBodyOut: Iterator[Call]

Traverse to CALL via CATCH_BODY OUT edge.

Traverse to CALL via CATCH_BODY OUT edge.

Attributes

def _callViaCdgIn: Iterator[Call]

Traverse to CALL via CDG IN edge.

Traverse to CALL via CDG IN edge.

Attributes

def _callViaCdgOut: Iterator[Call]

Traverse to CALL via CDG OUT edge.

Traverse to CALL via CDG OUT edge.

Attributes

def _callViaConditionOut: Iterator[Call]

Traverse to CALL via CONDITION OUT edge.

Traverse to CALL via CONDITION OUT edge.

Attributes

def _callViaDoBodyOut: Iterator[Call]

Traverse to CALL via DO_BODY OUT edge.

Traverse to CALL via DO_BODY OUT edge.

Attributes

def _callViaDominateIn: Iterator[Call]

Traverse to CALL via DOMINATE IN edge.

Traverse to CALL via DOMINATE IN edge.

Attributes

def _callViaDominateOut: Iterator[Call]

Traverse to CALL via DOMINATE OUT edge.

Traverse to CALL via DOMINATE OUT edge.

Attributes

def _callViaFalseBodyOut: Iterator[Call]

Traverse to CALL via FALSE_BODY OUT edge.

Traverse to CALL via FALSE_BODY OUT edge.

Attributes

def _callViaFinallyBodyOut: Iterator[Call]

Traverse to CALL via FINALLY_BODY OUT edge.

Traverse to CALL via FINALLY_BODY OUT edge.

Attributes

def _callViaForBodyOut: Iterator[Call]

Traverse to CALL via FOR_BODY OUT edge.

Traverse to CALL via FOR_BODY OUT edge.

Attributes

def _callViaForInitOut: Iterator[Call]

Traverse to CALL via FOR_INIT OUT edge.

Traverse to CALL via FOR_INIT OUT edge.

Attributes

def _callViaForUpdateOut: Iterator[Call]

Traverse to CALL via FOR_UPDATE OUT edge.

Traverse to CALL via FOR_UPDATE OUT edge.

Attributes

def _callViaPostDominateIn: Iterator[Call]

Traverse to CALL via POST_DOMINATE IN edge.

Traverse to CALL via POST_DOMINATE IN edge.

Attributes

def _callViaPostDominateOut: Iterator[Call]

Traverse to CALL via POST_DOMINATE OUT edge.

Traverse to CALL via POST_DOMINATE OUT edge.

Attributes

def _callViaReachingDefOut: Iterator[Call]

Traverse to CALL via REACHING_DEF OUT edge.

Traverse to CALL via REACHING_DEF OUT edge.

Attributes

def _callViaReceiverIn: Iterator[Call]

Traverse to CALL via RECEIVER IN edge.

Traverse to CALL via RECEIVER IN edge.

Attributes

def _callViaTrueBodyOut: Iterator[Call]

Traverse to CALL via TRUE_BODY OUT edge.

Traverse to CALL via TRUE_BODY OUT edge.

Attributes

def _callViaTryBodyOut: Iterator[Call]

Traverse to CALL via TRY_BODY OUT edge.

Traverse to CALL via TRY_BODY OUT edge.

Attributes

def _cfgNodeViaCfgOut: Iterator[CfgNode]

Traverse to CFG_NODE via CFG OUT edge.

Traverse to CFG_NODE via CFG OUT edge.

Attributes

def _controlStructureViaAstIn: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via AST IN edge.

Traverse to CONTROL_STRUCTURE via AST IN edge.

Attributes

def _controlStructureViaAstOut: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via AST OUT edge.

Traverse to CONTROL_STRUCTURE via AST OUT edge.

Attributes

def _controlStructureViaCatchBodyIn: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via CATCH_BODY IN edge.

Traverse to CONTROL_STRUCTURE via CATCH_BODY IN edge.

Attributes

def _controlStructureViaCatchBodyOut: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via CATCH_BODY OUT edge.

Traverse to CONTROL_STRUCTURE via CATCH_BODY OUT edge.

Attributes

def _controlStructureViaCdgIn: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via CDG IN edge.

Traverse to CONTROL_STRUCTURE via CDG IN edge.

Attributes

def _controlStructureViaCdgOut: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via CDG OUT edge.

Traverse to CONTROL_STRUCTURE via CDG OUT edge.

Attributes

def _controlStructureViaConditionIn: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via CONDITION IN edge.

Traverse to CONTROL_STRUCTURE via CONDITION IN edge.

Attributes

def _controlStructureViaConditionOut: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via CONDITION OUT edge.

Traverse to CONTROL_STRUCTURE via CONDITION OUT edge.

Attributes

def _controlStructureViaDoBodyIn: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via DO_BODY IN edge.

Traverse to CONTROL_STRUCTURE via DO_BODY IN edge.

Attributes

def _controlStructureViaDoBodyOut: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via DO_BODY OUT edge.

Traverse to CONTROL_STRUCTURE via DO_BODY OUT edge.

Attributes

def _controlStructureViaDominateIn: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via DOMINATE IN edge.

Traverse to CONTROL_STRUCTURE via DOMINATE IN edge.

Attributes

def _controlStructureViaDominateOut: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via DOMINATE OUT edge.

Traverse to CONTROL_STRUCTURE via DOMINATE OUT edge.

Attributes

def _controlStructureViaFalseBodyIn: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via FALSE_BODY IN edge.

Traverse to CONTROL_STRUCTURE via FALSE_BODY IN edge.

Attributes

def _controlStructureViaFalseBodyOut: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via FALSE_BODY OUT edge.

Traverse to CONTROL_STRUCTURE via FALSE_BODY OUT edge.

Attributes

def _controlStructureViaFinallyBodyIn: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via FINALLY_BODY IN edge.

Traverse to CONTROL_STRUCTURE via FINALLY_BODY IN edge.

Attributes

def _controlStructureViaFinallyBodyOut: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via FINALLY_BODY OUT edge.

Traverse to CONTROL_STRUCTURE via FINALLY_BODY OUT edge.

Attributes

def _controlStructureViaForBodyIn: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via FOR_BODY IN edge.

Traverse to CONTROL_STRUCTURE via FOR_BODY IN edge.

Attributes

def _controlStructureViaForBodyOut: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via FOR_BODY OUT edge.

Traverse to CONTROL_STRUCTURE via FOR_BODY OUT edge.

Attributes

def _controlStructureViaForInitIn: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via FOR_INIT IN edge.

Traverse to CONTROL_STRUCTURE via FOR_INIT IN edge.

Attributes

def _controlStructureViaForInitOut: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via FOR_INIT OUT edge.

Traverse to CONTROL_STRUCTURE via FOR_INIT OUT edge.

Attributes

def _controlStructureViaForUpdateIn: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via FOR_UPDATE IN edge.

Traverse to CONTROL_STRUCTURE via FOR_UPDATE IN edge.

Attributes

def _controlStructureViaForUpdateOut: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via FOR_UPDATE OUT edge.

Traverse to CONTROL_STRUCTURE via FOR_UPDATE OUT edge.

Attributes

def _controlStructureViaPostDominateIn: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via POST_DOMINATE IN edge.

Traverse to CONTROL_STRUCTURE via POST_DOMINATE IN edge.

Attributes

def _controlStructureViaPostDominateOut: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via POST_DOMINATE OUT edge.

Traverse to CONTROL_STRUCTURE via POST_DOMINATE OUT edge.

Attributes

def _controlStructureViaTrueBodyIn: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via TRUE_BODY IN edge.

Traverse to CONTROL_STRUCTURE via TRUE_BODY IN edge.

Attributes

def _controlStructureViaTrueBodyOut: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via TRUE_BODY OUT edge.

Traverse to CONTROL_STRUCTURE via TRUE_BODY OUT edge.

Attributes

def _controlStructureViaTryBodyIn: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via TRY_BODY IN edge.

Traverse to CONTROL_STRUCTURE via TRY_BODY IN edge.

Attributes

def _controlStructureViaTryBodyOut: Iterator[ControlStructure]

Traverse to CONTROL_STRUCTURE via TRY_BODY OUT edge.

Traverse to CONTROL_STRUCTURE via TRY_BODY OUT edge.

Attributes

def _fieldIdentifierViaCdgIn: Iterator[FieldIdentifier]

Traverse to FIELD_IDENTIFIER via CDG IN edge.

Traverse to FIELD_IDENTIFIER via CDG IN edge.

Attributes

def _fieldIdentifierViaCdgOut: Iterator[FieldIdentifier]

Traverse to FIELD_IDENTIFIER via CDG OUT edge.

Traverse to FIELD_IDENTIFIER via CDG OUT edge.

Attributes

def _fieldIdentifierViaDominateIn: Iterator[FieldIdentifier]

Traverse to FIELD_IDENTIFIER via DOMINATE IN edge.

Traverse to FIELD_IDENTIFIER via DOMINATE IN edge.

Attributes

def _fieldIdentifierViaDominateOut: Iterator[FieldIdentifier]

Traverse to FIELD_IDENTIFIER via DOMINATE OUT edge.

Traverse to FIELD_IDENTIFIER via DOMINATE OUT edge.

Attributes

def _fieldIdentifierViaPostDominateIn: Iterator[FieldIdentifier]

Traverse to FIELD_IDENTIFIER via POST_DOMINATE IN edge.

Traverse to FIELD_IDENTIFIER via POST_DOMINATE IN edge.

Attributes

def _fieldIdentifierViaPostDominateOut: Iterator[FieldIdentifier]

Traverse to FIELD_IDENTIFIER via POST_DOMINATE OUT edge.

Traverse to FIELD_IDENTIFIER via POST_DOMINATE OUT edge.

Attributes

def _identifierViaAstOut: Iterator[Identifier]

Traverse to IDENTIFIER via AST OUT edge.

Traverse to IDENTIFIER via AST OUT edge.

Attributes

def _identifierViaCatchBodyOut: Iterator[Identifier]

Traverse to IDENTIFIER via CATCH_BODY OUT edge.

Traverse to IDENTIFIER via CATCH_BODY OUT edge.

Attributes

def _identifierViaCdgIn: Iterator[Identifier]

Traverse to IDENTIFIER via CDG IN edge.

Traverse to IDENTIFIER via CDG IN edge.

Attributes

def _identifierViaCdgOut: Iterator[Identifier]

Traverse to IDENTIFIER via CDG OUT edge.

Traverse to IDENTIFIER via CDG OUT edge.

Attributes

def _identifierViaConditionOut: Iterator[Identifier]

Traverse to IDENTIFIER via CONDITION OUT edge.

Traverse to IDENTIFIER via CONDITION OUT edge.

Attributes

def _identifierViaDoBodyOut: Iterator[Identifier]

Traverse to IDENTIFIER via DO_BODY OUT edge.

Traverse to IDENTIFIER via DO_BODY OUT edge.

Attributes

def _identifierViaDominateIn: Iterator[Identifier]

Traverse to IDENTIFIER via DOMINATE IN edge.

Traverse to IDENTIFIER via DOMINATE IN edge.

Attributes

def _identifierViaDominateOut: Iterator[Identifier]

Traverse to IDENTIFIER via DOMINATE OUT edge.

Traverse to IDENTIFIER via DOMINATE OUT edge.

Attributes

def _identifierViaFalseBodyOut: Iterator[Identifier]

Traverse to IDENTIFIER via FALSE_BODY OUT edge.

Traverse to IDENTIFIER via FALSE_BODY OUT edge.

Attributes

def _identifierViaFinallyBodyOut: Iterator[Identifier]

Traverse to IDENTIFIER via FINALLY_BODY OUT edge.

Traverse to IDENTIFIER via FINALLY_BODY OUT edge.

Attributes

def _identifierViaForBodyOut: Iterator[Identifier]

Traverse to IDENTIFIER via FOR_BODY OUT edge.

Traverse to IDENTIFIER via FOR_BODY OUT edge.

Attributes

def _identifierViaForInitOut: Iterator[Identifier]

Traverse to IDENTIFIER via FOR_INIT OUT edge.

Traverse to IDENTIFIER via FOR_INIT OUT edge.

Attributes

def _identifierViaForUpdateOut: Iterator[Identifier]

Traverse to IDENTIFIER via FOR_UPDATE OUT edge.

Traverse to IDENTIFIER via FOR_UPDATE OUT edge.

Attributes

def _identifierViaPostDominateIn: Iterator[Identifier]

Traverse to IDENTIFIER via POST_DOMINATE IN edge.

Traverse to IDENTIFIER via POST_DOMINATE IN edge.

Attributes

def _identifierViaPostDominateOut: Iterator[Identifier]

Traverse to IDENTIFIER via POST_DOMINATE OUT edge.

Traverse to IDENTIFIER via POST_DOMINATE OUT edge.

Attributes

def _identifierViaReachingDefOut: Iterator[Identifier]

Traverse to IDENTIFIER via REACHING_DEF OUT edge.

Traverse to IDENTIFIER via REACHING_DEF OUT edge.

Attributes

def _identifierViaTrueBodyOut: Iterator[Identifier]

Traverse to IDENTIFIER via TRUE_BODY OUT edge.

Traverse to IDENTIFIER via TRUE_BODY OUT edge.

Attributes

def _identifierViaTryBodyOut: Iterator[Identifier]

Traverse to IDENTIFIER via TRY_BODY OUT edge.

Traverse to IDENTIFIER via TRY_BODY OUT edge.

Attributes

def _jumpLabelViaAstOut: Iterator[JumpLabel]

Traverse to JUMP_LABEL via AST OUT edge.

Traverse to JUMP_LABEL via AST OUT edge.

Attributes

def _jumpLabelViaJumpArgumentOut: Iterator[JumpLabel]

Traverse to JUMP_LABEL via JUMP_ARGUMENT OUT edge.

Traverse to JUMP_LABEL via JUMP_ARGUMENT OUT edge.

Attributes

def _jumpTargetViaAstOut: Iterator[JumpTarget]

Traverse to JUMP_TARGET via AST OUT edge.

Traverse to JUMP_TARGET via AST OUT edge.

Attributes

def _jumpTargetViaCatchBodyOut: Iterator[JumpTarget]

Traverse to JUMP_TARGET via CATCH_BODY OUT edge.

Traverse to JUMP_TARGET via CATCH_BODY OUT edge.

Attributes

def _jumpTargetViaCdgIn: Iterator[JumpTarget]

Traverse to JUMP_TARGET via CDG IN edge.

Traverse to JUMP_TARGET via CDG IN edge.

Attributes

def _jumpTargetViaCdgOut: Iterator[JumpTarget]

Traverse to JUMP_TARGET via CDG OUT edge.

Traverse to JUMP_TARGET via CDG OUT edge.

Attributes

def _jumpTargetViaConditionOut: Iterator[JumpTarget]

Traverse to JUMP_TARGET via CONDITION OUT edge.

Traverse to JUMP_TARGET via CONDITION OUT edge.

Attributes

def _jumpTargetViaDoBodyOut: Iterator[JumpTarget]

Traverse to JUMP_TARGET via DO_BODY OUT edge.

Traverse to JUMP_TARGET via DO_BODY OUT edge.

Attributes

def _jumpTargetViaDominateIn: Iterator[JumpTarget]

Traverse to JUMP_TARGET via DOMINATE IN edge.

Traverse to JUMP_TARGET via DOMINATE IN edge.

Attributes

def _jumpTargetViaDominateOut: Iterator[JumpTarget]

Traverse to JUMP_TARGET via DOMINATE OUT edge.

Traverse to JUMP_TARGET via DOMINATE OUT edge.

Attributes

def _jumpTargetViaFalseBodyOut: Iterator[JumpTarget]

Traverse to JUMP_TARGET via FALSE_BODY OUT edge.

Traverse to JUMP_TARGET via FALSE_BODY OUT edge.

Attributes

def _jumpTargetViaFinallyBodyOut: Iterator[JumpTarget]

Traverse to JUMP_TARGET via FINALLY_BODY OUT edge.

Traverse to JUMP_TARGET via FINALLY_BODY OUT edge.

Attributes

def _jumpTargetViaForBodyOut: Iterator[JumpTarget]

Traverse to JUMP_TARGET via FOR_BODY OUT edge.

Traverse to JUMP_TARGET via FOR_BODY OUT edge.

Attributes

def _jumpTargetViaForInitOut: Iterator[JumpTarget]

Traverse to JUMP_TARGET via FOR_INIT OUT edge.

Traverse to JUMP_TARGET via FOR_INIT OUT edge.

Attributes

def _jumpTargetViaForUpdateOut: Iterator[JumpTarget]

Traverse to JUMP_TARGET via FOR_UPDATE OUT edge.

Traverse to JUMP_TARGET via FOR_UPDATE OUT edge.

Attributes

def _jumpTargetViaPostDominateIn: Iterator[JumpTarget]

Traverse to JUMP_TARGET via POST_DOMINATE IN edge.

Traverse to JUMP_TARGET via POST_DOMINATE IN edge.

Attributes

def _jumpTargetViaPostDominateOut: Iterator[JumpTarget]

Traverse to JUMP_TARGET via POST_DOMINATE OUT edge.

Traverse to JUMP_TARGET via POST_DOMINATE OUT edge.

Attributes

def _jumpTargetViaTrueBodyOut: Iterator[JumpTarget]

Traverse to JUMP_TARGET via TRUE_BODY OUT edge.

Traverse to JUMP_TARGET via TRUE_BODY OUT edge.

Attributes

def _jumpTargetViaTryBodyOut: Iterator[JumpTarget]

Traverse to JUMP_TARGET via TRY_BODY OUT edge.

Traverse to JUMP_TARGET via TRY_BODY OUT edge.

Attributes

def _literalViaAstOut: Iterator[Literal]

Traverse to LITERAL via AST OUT edge.

Traverse to LITERAL via AST OUT edge.

Attributes

def _literalViaCatchBodyOut: Iterator[Literal]

Traverse to LITERAL via CATCH_BODY OUT edge.

Traverse to LITERAL via CATCH_BODY OUT edge.

Attributes

def _literalViaCdgIn: Iterator[Literal]

Traverse to LITERAL via CDG IN edge.

Traverse to LITERAL via CDG IN edge.

Attributes

def _literalViaCdgOut: Iterator[Literal]

Traverse to LITERAL via CDG OUT edge.

Traverse to LITERAL via CDG OUT edge.

Attributes

def _literalViaConditionOut: Iterator[Literal]

Traverse to LITERAL via CONDITION OUT edge.

Traverse to LITERAL via CONDITION OUT edge.

Attributes

def _literalViaDoBodyOut: Iterator[Literal]

Traverse to LITERAL via DO_BODY OUT edge.

Traverse to LITERAL via DO_BODY OUT edge.

Attributes

def _literalViaDominateIn: Iterator[Literal]

Traverse to LITERAL via DOMINATE IN edge.

Traverse to LITERAL via DOMINATE IN edge.

Attributes

def _literalViaDominateOut: Iterator[Literal]

Traverse to LITERAL via DOMINATE OUT edge.

Traverse to LITERAL via DOMINATE OUT edge.

Attributes

def _literalViaFalseBodyOut: Iterator[Literal]

Traverse to LITERAL via FALSE_BODY OUT edge.

Traverse to LITERAL via FALSE_BODY OUT edge.

Attributes

def _literalViaFinallyBodyOut: Iterator[Literal]

Traverse to LITERAL via FINALLY_BODY OUT edge.

Traverse to LITERAL via FINALLY_BODY OUT edge.

Attributes

def _literalViaForBodyOut: Iterator[Literal]

Traverse to LITERAL via FOR_BODY OUT edge.

Traverse to LITERAL via FOR_BODY OUT edge.

Attributes

def _literalViaForInitOut: Iterator[Literal]

Traverse to LITERAL via FOR_INIT OUT edge.

Traverse to LITERAL via FOR_INIT OUT edge.

Attributes

def _literalViaForUpdateOut: Iterator[Literal]

Traverse to LITERAL via FOR_UPDATE OUT edge.

Traverse to LITERAL via FOR_UPDATE OUT edge.

Attributes

def _literalViaJumpArgumentOut: Iterator[Literal]

Traverse to LITERAL via JUMP_ARGUMENT OUT edge.

Traverse to LITERAL via JUMP_ARGUMENT OUT edge.

Attributes

def _literalViaPostDominateIn: Iterator[Literal]

Traverse to LITERAL via POST_DOMINATE IN edge.

Traverse to LITERAL via POST_DOMINATE IN edge.

Attributes

def _literalViaPostDominateOut: Iterator[Literal]

Traverse to LITERAL via POST_DOMINATE OUT edge.

Traverse to LITERAL via POST_DOMINATE OUT edge.

Attributes

def _literalViaReachingDefOut: Iterator[Literal]

Traverse to LITERAL via REACHING_DEF OUT edge.

Traverse to LITERAL via REACHING_DEF OUT edge.

Attributes

def _literalViaTrueBodyOut: Iterator[Literal]

Traverse to LITERAL via TRUE_BODY OUT edge.

Traverse to LITERAL via TRUE_BODY OUT edge.

Attributes

def _literalViaTryBodyOut: Iterator[Literal]

Traverse to LITERAL via TRY_BODY OUT edge.

Traverse to LITERAL via TRY_BODY OUT edge.

Attributes

def _localViaAstOut: Iterator[Local]

Traverse to LOCAL via AST OUT edge.

Traverse to LOCAL via AST OUT edge.

Attributes

def _methodParameterOutViaReachingDefOut: Iterator[MethodParameterOut]

Traverse to METHOD_PARAMETER_OUT via REACHING_DEF OUT edge.

Traverse to METHOD_PARAMETER_OUT via REACHING_DEF OUT edge.

Attributes

def _methodRefViaAstOut: Iterator[MethodRef]

Traverse to METHOD_REF via AST OUT edge.

Traverse to METHOD_REF via AST OUT edge.

Attributes

def _methodRefViaCatchBodyOut: Iterator[MethodRef]

Traverse to METHOD_REF via CATCH_BODY OUT edge.

Traverse to METHOD_REF via CATCH_BODY OUT edge.

Attributes

def _methodRefViaCdgIn: Iterator[MethodRef]

Traverse to METHOD_REF via CDG IN edge.

Traverse to METHOD_REF via CDG IN edge.

Attributes

def _methodRefViaCdgOut: Iterator[MethodRef]

Traverse to METHOD_REF via CDG OUT edge.

Traverse to METHOD_REF via CDG OUT edge.

Attributes

def _methodRefViaConditionOut: Iterator[MethodRef]

Traverse to METHOD_REF via CONDITION OUT edge.

Traverse to METHOD_REF via CONDITION OUT edge.

Attributes

def _methodRefViaDoBodyOut: Iterator[MethodRef]

Traverse to METHOD_REF via DO_BODY OUT edge.

Traverse to METHOD_REF via DO_BODY OUT edge.

Attributes

def _methodRefViaDominateIn: Iterator[MethodRef]

Traverse to METHOD_REF via DOMINATE IN edge.

Traverse to METHOD_REF via DOMINATE IN edge.

Attributes

def _methodRefViaDominateOut: Iterator[MethodRef]

Traverse to METHOD_REF via DOMINATE OUT edge.

Traverse to METHOD_REF via DOMINATE OUT edge.

Attributes

def _methodRefViaFalseBodyOut: Iterator[MethodRef]

Traverse to METHOD_REF via FALSE_BODY OUT edge.

Traverse to METHOD_REF via FALSE_BODY OUT edge.

Attributes

def _methodRefViaFinallyBodyOut: Iterator[MethodRef]

Traverse to METHOD_REF via FINALLY_BODY OUT edge.

Traverse to METHOD_REF via FINALLY_BODY OUT edge.

Attributes

def _methodRefViaForBodyOut: Iterator[MethodRef]

Traverse to METHOD_REF via FOR_BODY OUT edge.

Traverse to METHOD_REF via FOR_BODY OUT edge.

Attributes

def _methodRefViaForInitOut: Iterator[MethodRef]

Traverse to METHOD_REF via FOR_INIT OUT edge.

Traverse to METHOD_REF via FOR_INIT OUT edge.

Attributes

def _methodRefViaForUpdateOut: Iterator[MethodRef]

Traverse to METHOD_REF via FOR_UPDATE OUT edge.

Traverse to METHOD_REF via FOR_UPDATE OUT edge.

Attributes

def _methodRefViaPostDominateIn: Iterator[MethodRef]

Traverse to METHOD_REF via POST_DOMINATE IN edge.

Traverse to METHOD_REF via POST_DOMINATE IN edge.

Attributes

def _methodRefViaPostDominateOut: Iterator[MethodRef]

Traverse to METHOD_REF via POST_DOMINATE OUT edge.

Traverse to METHOD_REF via POST_DOMINATE OUT edge.

Attributes

def _methodRefViaReachingDefOut: Iterator[MethodRef]

Traverse to METHOD_REF via REACHING_DEF OUT edge.

Traverse to METHOD_REF via REACHING_DEF OUT edge.

Attributes

def _methodRefViaTrueBodyOut: Iterator[MethodRef]

Traverse to METHOD_REF via TRUE_BODY OUT edge.

Traverse to METHOD_REF via TRUE_BODY OUT edge.

Attributes

def _methodRefViaTryBodyOut: Iterator[MethodRef]

Traverse to METHOD_REF via TRY_BODY OUT edge.

Traverse to METHOD_REF via TRY_BODY OUT edge.

Attributes

def _methodReturnViaCdgOut: Iterator[MethodReturn]

Traverse to METHOD_RETURN via CDG OUT edge.

Traverse to METHOD_RETURN via CDG OUT edge.

Attributes

def _methodReturnViaDominateOut: Iterator[MethodReturn]

Traverse to METHOD_RETURN via DOMINATE OUT edge.

Traverse to METHOD_RETURN via DOMINATE OUT edge.

Attributes

def _methodReturnViaPostDominateIn: Iterator[MethodReturn]

Traverse to METHOD_RETURN via POST_DOMINATE IN edge.

Traverse to METHOD_RETURN via POST_DOMINATE IN edge.

Attributes

def _methodViaContainsIn: Iterator[Method]

Traverse to METHOD via CONTAINS IN edge.

Traverse to METHOD via CONTAINS IN edge.

Attributes

def _methodViaPostDominateOut: Iterator[Method]

Traverse to METHOD via POST_DOMINATE OUT edge.

Traverse to METHOD via POST_DOMINATE OUT edge.

Attributes

def _modifierViaAstOut: Iterator[Modifier]

Traverse to MODIFIER via AST OUT edge.

Traverse to MODIFIER via AST OUT edge.

Attributes

def _returnViaArgumentIn: Iterator[Return]

Traverse to RETURN via ARGUMENT IN edge.

Traverse to RETURN via ARGUMENT IN edge.

Attributes

def _returnViaAstIn: Iterator[Return]

Traverse to RETURN via AST IN edge.

Traverse to RETURN via AST IN edge.

Attributes

def _returnViaAstOut: Iterator[Return]

Traverse to RETURN via AST OUT edge.

Traverse to RETURN via AST OUT edge.

Attributes

def _returnViaCatchBodyOut: Iterator[Return]

Traverse to RETURN via CATCH_BODY OUT edge.

Traverse to RETURN via CATCH_BODY OUT edge.

Attributes

def _returnViaCdgOut: Iterator[Return]

Traverse to RETURN via CDG OUT edge.

Traverse to RETURN via CDG OUT edge.

Attributes

def _returnViaConditionOut: Iterator[Return]

Traverse to RETURN via CONDITION OUT edge.

Traverse to RETURN via CONDITION OUT edge.

Attributes

def _returnViaDoBodyOut: Iterator[Return]

Traverse to RETURN via DO_BODY OUT edge.

Traverse to RETURN via DO_BODY OUT edge.

Attributes

def _returnViaDominateIn: Iterator[Return]

Traverse to RETURN via DOMINATE IN edge.

Traverse to RETURN via DOMINATE IN edge.

Attributes

def _returnViaDominateOut: Iterator[Return]

Traverse to RETURN via DOMINATE OUT edge.

Traverse to RETURN via DOMINATE OUT edge.

Attributes

def _returnViaFalseBodyOut: Iterator[Return]

Traverse to RETURN via FALSE_BODY OUT edge.

Traverse to RETURN via FALSE_BODY OUT edge.

Attributes

def _returnViaFinallyBodyOut: Iterator[Return]

Traverse to RETURN via FINALLY_BODY OUT edge.

Traverse to RETURN via FINALLY_BODY OUT edge.

Attributes

def _returnViaForBodyOut: Iterator[Return]

Traverse to RETURN via FOR_BODY OUT edge.

Traverse to RETURN via FOR_BODY OUT edge.

Attributes

def _returnViaForInitOut: Iterator[Return]

Traverse to RETURN via FOR_INIT OUT edge.

Traverse to RETURN via FOR_INIT OUT edge.

Attributes

def _returnViaForUpdateOut: Iterator[Return]

Traverse to RETURN via FOR_UPDATE OUT edge.

Traverse to RETURN via FOR_UPDATE OUT edge.

Attributes

def _returnViaPostDominateIn: Iterator[Return]

Traverse to RETURN via POST_DOMINATE IN edge.

Traverse to RETURN via POST_DOMINATE IN edge.

Attributes

def _returnViaPostDominateOut: Iterator[Return]

Traverse to RETURN via POST_DOMINATE OUT edge.

Traverse to RETURN via POST_DOMINATE OUT edge.

Attributes

def _returnViaReachingDefOut: Iterator[Return]

Traverse to RETURN via REACHING_DEF OUT edge.

Traverse to RETURN via REACHING_DEF OUT edge.

Attributes

def _returnViaTrueBodyOut: Iterator[Return]

Traverse to RETURN via TRUE_BODY OUT edge.

Traverse to RETURN via TRUE_BODY OUT edge.

Attributes

def _returnViaTryBodyOut: Iterator[Return]

Traverse to RETURN via TRY_BODY OUT edge.

Traverse to RETURN via TRY_BODY OUT edge.

Attributes

def _tagViaTaggedByOut: Iterator[Tag]

Traverse to TAG via TAGGED_BY OUT edge.

Traverse to TAG via TAGGED_BY OUT edge.

Attributes

def _typeRefViaAstOut: Iterator[TypeRef]

Traverse to TYPE_REF via AST OUT edge.

Traverse to TYPE_REF via AST OUT edge.

Attributes

def _typeRefViaCatchBodyOut: Iterator[TypeRef]

Traverse to TYPE_REF via CATCH_BODY OUT edge.

Traverse to TYPE_REF via CATCH_BODY OUT edge.

Attributes

def _typeRefViaCdgIn: Iterator[TypeRef]

Traverse to TYPE_REF via CDG IN edge.

Traverse to TYPE_REF via CDG IN edge.

Attributes

def _typeRefViaCdgOut: Iterator[TypeRef]

Traverse to TYPE_REF via CDG OUT edge.

Traverse to TYPE_REF via CDG OUT edge.

Attributes

def _typeRefViaConditionOut: Iterator[TypeRef]

Traverse to TYPE_REF via CONDITION OUT edge.

Traverse to TYPE_REF via CONDITION OUT edge.

Attributes

def _typeRefViaDoBodyOut: Iterator[TypeRef]

Traverse to TYPE_REF via DO_BODY OUT edge.

Traverse to TYPE_REF via DO_BODY OUT edge.

Attributes

def _typeRefViaDominateIn: Iterator[TypeRef]

Traverse to TYPE_REF via DOMINATE IN edge.

Traverse to TYPE_REF via DOMINATE IN edge.

Attributes

def _typeRefViaDominateOut: Iterator[TypeRef]

Traverse to TYPE_REF via DOMINATE OUT edge.

Traverse to TYPE_REF via DOMINATE OUT edge.

Attributes

def _typeRefViaFalseBodyOut: Iterator[TypeRef]

Traverse to TYPE_REF via FALSE_BODY OUT edge.

Traverse to TYPE_REF via FALSE_BODY OUT edge.

Attributes

def _typeRefViaFinallyBodyOut: Iterator[TypeRef]

Traverse to TYPE_REF via FINALLY_BODY OUT edge.

Traverse to TYPE_REF via FINALLY_BODY OUT edge.

Attributes

def _typeRefViaForBodyOut: Iterator[TypeRef]

Traverse to TYPE_REF via FOR_BODY OUT edge.

Traverse to TYPE_REF via FOR_BODY OUT edge.

Attributes

def _typeRefViaForInitOut: Iterator[TypeRef]

Traverse to TYPE_REF via FOR_INIT OUT edge.

Traverse to TYPE_REF via FOR_INIT OUT edge.

Attributes

def _typeRefViaForUpdateOut: Iterator[TypeRef]

Traverse to TYPE_REF via FOR_UPDATE OUT edge.

Traverse to TYPE_REF via FOR_UPDATE OUT edge.

Attributes

def _typeRefViaPostDominateIn: Iterator[TypeRef]

Traverse to TYPE_REF via POST_DOMINATE IN edge.

Traverse to TYPE_REF via POST_DOMINATE IN edge.

Attributes

def _typeRefViaPostDominateOut: Iterator[TypeRef]

Traverse to TYPE_REF via POST_DOMINATE OUT edge.

Traverse to TYPE_REF via POST_DOMINATE OUT edge.

Attributes

def _typeRefViaReachingDefOut: Iterator[TypeRef]

Traverse to TYPE_REF via REACHING_DEF OUT edge.

Traverse to TYPE_REF via REACHING_DEF OUT edge.

Attributes

def _typeRefViaTrueBodyOut: Iterator[TypeRef]

Traverse to TYPE_REF via TRUE_BODY OUT edge.

Traverse to TYPE_REF via TRUE_BODY OUT edge.

Attributes

def _typeRefViaTryBodyOut: Iterator[TypeRef]

Traverse to TYPE_REF via TRY_BODY OUT edge.

Traverse to TYPE_REF via TRY_BODY OUT edge.

Attributes

def _typeViaEvalTypeOut: Iterator[Type]

Traverse to TYPE via EVAL_TYPE OUT edge.

Traverse to TYPE via EVAL_TYPE OUT edge.

Attributes

def _unknownViaAstIn: Iterator[Unknown]

Traverse to UNKNOWN via AST IN edge.

Traverse to UNKNOWN via AST IN edge.

Attributes

def _unknownViaAstOut: Iterator[Unknown]

Traverse to UNKNOWN via AST OUT edge.

Traverse to UNKNOWN via AST OUT edge.

Attributes

def _unknownViaCatchBodyOut: Iterator[Unknown]

Traverse to UNKNOWN via CATCH_BODY OUT edge.

Traverse to UNKNOWN via CATCH_BODY OUT edge.

Attributes

def _unknownViaCdgIn: Iterator[Unknown]

Traverse to UNKNOWN via CDG IN edge.

Traverse to UNKNOWN via CDG IN edge.

Attributes

def _unknownViaCdgOut: Iterator[Unknown]

Traverse to UNKNOWN via CDG OUT edge.

Traverse to UNKNOWN via CDG OUT edge.

Attributes

def _unknownViaConditionOut: Iterator[Unknown]

Traverse to UNKNOWN via CONDITION OUT edge.

Traverse to UNKNOWN via CONDITION OUT edge.

Attributes

def _unknownViaDoBodyOut: Iterator[Unknown]

Traverse to UNKNOWN via DO_BODY OUT edge.

Traverse to UNKNOWN via DO_BODY OUT edge.

Attributes

def _unknownViaDominateIn: Iterator[Unknown]

Traverse to UNKNOWN via DOMINATE IN edge.

Traverse to UNKNOWN via DOMINATE IN edge.

Attributes

def _unknownViaDominateOut: Iterator[Unknown]

Traverse to UNKNOWN via DOMINATE OUT edge.

Traverse to UNKNOWN via DOMINATE OUT edge.

Attributes

def _unknownViaFalseBodyOut: Iterator[Unknown]

Traverse to UNKNOWN via FALSE_BODY OUT edge.

Traverse to UNKNOWN via FALSE_BODY OUT edge.

Attributes

def _unknownViaFinallyBodyOut: Iterator[Unknown]

Traverse to UNKNOWN via FINALLY_BODY OUT edge.

Traverse to UNKNOWN via FINALLY_BODY OUT edge.

Attributes

def _unknownViaForBodyOut: Iterator[Unknown]

Traverse to UNKNOWN via FOR_BODY OUT edge.

Traverse to UNKNOWN via FOR_BODY OUT edge.

Attributes

def _unknownViaForInitOut: Iterator[Unknown]

Traverse to UNKNOWN via FOR_INIT OUT edge.

Traverse to UNKNOWN via FOR_INIT OUT edge.

Attributes

def _unknownViaForUpdateOut: Iterator[Unknown]

Traverse to UNKNOWN via FOR_UPDATE OUT edge.

Traverse to UNKNOWN via FOR_UPDATE OUT edge.

Attributes

def _unknownViaPostDominateIn: Iterator[Unknown]

Traverse to UNKNOWN via POST_DOMINATE IN edge.

Traverse to UNKNOWN via POST_DOMINATE IN edge.

Attributes

def _unknownViaPostDominateOut: Iterator[Unknown]

Traverse to UNKNOWN via POST_DOMINATE OUT edge.

Traverse to UNKNOWN via POST_DOMINATE OUT edge.

Attributes

def _unknownViaTrueBodyOut: Iterator[Unknown]

Traverse to UNKNOWN via TRUE_BODY OUT edge.

Traverse to UNKNOWN via TRUE_BODY OUT edge.

Attributes

def _unknownViaTryBodyOut: Iterator[Unknown]

Traverse to UNKNOWN via TRY_BODY OUT edge.

Traverse to UNKNOWN via TRY_BODY OUT edge.

Attributes

def argumentIn: Iterator[Expression]
def astIn: Iterator[Expression]
def astOut: Iterator[AstNode]
def catchBodyIn: Iterator[ControlStructure]
def catchBodyOut: Iterator[CfgNode]
def cdgIn: Iterator[CfgNode]
def cdgOut: Iterator[CfgNode]
def cfgOut: Iterator[CfgNode]
def conditionIn: Iterator[ControlStructure]
def conditionOut: Iterator[CfgNode]
def containsIn: Iterator[Method]
def doBodyIn: Iterator[ControlStructure]
def doBodyOut: Iterator[CfgNode]
def dominateIn: Iterator[CfgNode]
def dominateOut: Iterator[CfgNode]
def evalTypeOut: Iterator[Type]
def falseBodyIn: Iterator[ControlStructure]
def falseBodyOut: Iterator[CfgNode]
def finallyBodyOut: Iterator[CfgNode]
def forBodyIn: Iterator[ControlStructure]
def forBodyOut: Iterator[CfgNode]
def forInitIn: Iterator[ControlStructure]
def forInitOut: Iterator[CfgNode]
def forUpdateIn: Iterator[ControlStructure]
def forUpdateOut: Iterator[CfgNode]
def jumpArgumentOut: Iterator[AstNode]
def postDominateIn: Iterator[CfgNode]
def postDominateOut: Iterator[CfgNode]
def reachingDefOut: Iterator[CfgNode]
def receiverIn: Iterator[Call]
def taggedByOut: Iterator[Tag]
def trueBodyIn: Iterator[ControlStructure]
def trueBodyOut: Iterator[CfgNode]
def tryBodyIn: Iterator[ControlStructure]
def tryBodyOut: Iterator[CfgNode]

Concrete fields

val traversal: Iterator[ControlStructure]
Generated with