| name | instruction | branch | complexity | line | method |
|---|
| VarShadowingRenameCollector(ITypeCheckerAssistantFactory, Map, List) |
|
|
|
|
|
| addLocalDefs(DefinitionInfo) |
|
|
|
|
|
| caseABlockSimpleBlockStm(ABlockSimpleBlockStm) |
|
|
|
|
|
| caseACaseAlternative(ACaseAlternative) |
|
|
|
|
|
| caseACaseAlternativeStm(ACaseAlternativeStm) |
|
|
|
|
|
| caseACasesExp(ACasesExp) |
|
|
|
|
|
| caseACasesStm(ACasesStm) |
|
|
|
|
|
| caseAClassClassDefinition(AClassClassDefinition) |
|
|
|
|
|
| caseAExistsExp(AExistsExp) |
|
|
|
|
|
| caseAExplicitFunctionDefinition(AExplicitFunctionDefinition) |
|
|
|
|
|
| caseAExplicitOperationDefinition(AExplicitOperationDefinition) |
|
|
|
|
|
| caseAForAllExp(AForAllExp) |
|
|
|
|
|
| caseAForAllStm(AForAllStm) |
|
|
|
|
|
| caseAForIndexStm(AForIndexStm) |
|
|
|
|
|
| caseAForPatternBindStm(AForPatternBindStm) |
|
|
|
|
|
| caseAIotaExp(AIotaExp) |
|
|
|
|
|
| caseALambdaExp(ALambdaExp) |
|
|
|
|
|
| caseALetBeStBindingTraceDefinition(ALetBeStBindingTraceDefinition) |
|
|
|
|
|
| caseALetBeStExp(ALetBeStExp) |
|
|
|
|
|
| caseALetBeStStm(ALetBeStStm) |
|
|
|
|
|
| caseALetDefExp(ALetDefExp) |
|
|
|
|
|
| caseALetStm(ALetStm) |
|
|
|
|
|
| caseAMapCompMapExp(AMapCompMapExp) |
|
|
|
|
|
| caseAModuleModules(AModuleModules) |
|
|
|
|
|
| caseASetCompSetExp(ASetCompSetExp) |
|
|
|
|
|
| caseASystemClassDefinition(ASystemClassDefinition) |
|
|
|
|
|
| caseATixeStm(ATixeStm) |
|
|
|
|
|
| caseATixeStmtAlternative(ATixeStmtAlternative) |
|
|
|
|
|
| caseATrapStm(ATrapStm) |
|
|
|
|
|
| caseILexNameToken(ILexNameToken) |
|
|
|
|
|
| collectIdDesignatorOccurrences(ILexLocation, INode) |
|
|
|
|
|
| collectIdOccurences(ILexNameToken, INode) |
|
|
|
|
|
| collectVarOccurences(ILexLocation, INode) |
|
|
|
|
|
| computeNewName(String) |
|
|
|
|
|
| contains(ILexLocation) |
|
|
|
|
|
| contains(ILexNameToken) |
|
|
|
|
|
| contains(PDefinition) |
|
|
|
|
|
| endScope(DefinitionInfo) |
|
|
|
|
|
| findFieldDefs(List, List) |
|
|
|
|
|
| findRenamings(PDefinition, INode, INode) |
|
|
|
|
|
| getBindDefinitions(PBind) |
|
|
|
|
|
| getMultipleBindDefs(List) |
|
|
|
|
|
| getName(PDefinition) |
|
|
|
|
|
| getParamDefs(AExplicitFunctionDefinition) |
|
|
|
|
|
| getRenamings() |
|
|
|
|
|
| getStateDef(List) |
|
|
|
|
|
| getStateDefs(List, INode) |
|
|
|
|
|
| handleBindConstruct(INode, PBind, PExp, PExp) |
|
|
|
|
|
| handleBinds(INode, PExp, PExp, List) |
|
|
|
|
|
| handleCase(LinkedList, PPattern, INode) |
|
|
|
|
|
| handleCaseNode(PExp, List, INode) |
|
|
|
|
|
| handleExecutables(List) |
|
|
|
|
|
| handleMultipleBindConstruct(INode, LinkedList, PExp, PExp) |
|
|
|
|
|
| init(boolean) |
|
|
|
|
|
| openLoop(ILexNameToken, INode, PStm) |
|
|
|
|
|
| openScope(DefinitionInfo, INode) |
|
|
|
|
|
| openScope(INode, List, INode) |
|
|
|
|
|
| proceed(INode) |
|
|
|
|
|
| registerRenaming(ILexNameToken, String) |
|
|
|
|
|
| removeLocalDefFromScope(PDefinition) |
|
|
|
|
|
| removeLocalDefs(DefinitionInfo) |
|
|
|
|
|
| setNamesToAvoid(PDefinition) |
|
|
|
|
|
| visitDefs(List) |
|
|
|
|
|
| visitModuleDefs(List, INode) |
|
|
|
|
|
| visitStms(List) |
|
|
|
|
|
![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
