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) |
|
|
|
|
|