name | instruction | branch | complexity | line | method |
---|
FreeVariablesChecker(ITypeCheckerAssistantFactory) |
|
|
|
|
|
caseAAlwaysStm(AAlwaysStm, FreeVarInfo) |
|
|
|
|
|
caseAAnnotatedStm(AAnnotatedStm, FreeVarInfo) |
|
|
|
|
|
caseAApplyExp(AApplyExp, FreeVarInfo) |
|
|
|
|
|
caseAAssignmentStm(AAssignmentStm, FreeVarInfo) |
|
|
|
|
|
caseAAtomicStm(AAtomicStm, FreeVarInfo) |
|
|
|
|
|
caseABlockSimpleBlockStm(ABlockSimpleBlockStm, FreeVarInfo) |
|
|
|
|
|
caseABracketType(ABracketType, FreeVarInfo) |
|
|
|
|
|
caseACallObjectStm(ACallObjectStm, FreeVarInfo) |
|
|
|
|
|
caseACallStm(ACallStm, FreeVarInfo) |
|
|
|
|
|
caseACasesExp(ACasesExp, FreeVarInfo) |
|
|
|
|
|
caseACasesStm(ACasesStm, FreeVarInfo) |
|
|
|
|
|
caseAClassInvariantDefinition(AClassInvariantDefinition, FreeVarInfo) |
|
|
|
|
|
caseACyclesStm(ACyclesStm, FreeVarInfo) |
|
|
|
|
|
caseADefExp(ADefExp, FreeVarInfo) |
|
|
|
|
|
caseADurationStm(ADurationStm, FreeVarInfo) |
|
|
|
|
|
caseAEqualsDefinition(AEqualsDefinition, FreeVarInfo) |
|
|
|
|
|
caseAExists1Exp(AExists1Exp, FreeVarInfo) |
|
|
|
|
|
caseAExistsExp(AExistsExp, FreeVarInfo) |
|
|
|
|
|
caseAExitStm(AExitStm, FreeVarInfo) |
|
|
|
|
|
caseAExplicitFunctionDefinition(AExplicitFunctionDefinition, FreeVarInfo) |
|
|
|
|
|
caseAExplicitOperationDefinition(AExplicitOperationDefinition, FreeVarInfo) |
|
|
|
|
|
caseAFieldExp(AFieldExp, FreeVarInfo) |
|
|
|
|
|
caseAForAllExp(AForAllExp, FreeVarInfo) |
|
|
|
|
|
caseAForAllStm(AForAllStm, FreeVarInfo) |
|
|
|
|
|
caseAForIndexStm(AForIndexStm, FreeVarInfo) |
|
|
|
|
|
caseAForPatternBindStm(AForPatternBindStm, FreeVarInfo) |
|
|
|
|
|
caseAFuncInstatiationExp(AFuncInstatiationExp, FreeVarInfo) |
|
|
|
|
|
caseAFunctionType(AFunctionType, FreeVarInfo) |
|
|
|
|
|
caseAIfExp(AIfExp, FreeVarInfo) |
|
|
|
|
|
caseAIfStm(AIfStm, FreeVarInfo) |
|
|
|
|
|
caseAImplicitFunctionDefinition(AImplicitFunctionDefinition, FreeVarInfo) |
|
|
|
|
|
caseAImplicitOperationDefinition(AImplicitOperationDefinition, FreeVarInfo) |
|
|
|
|
|
caseAInstanceVariableDefinition(AInstanceVariableDefinition, FreeVarInfo) |
|
|
|
|
|
caseAIotaExp(AIotaExp, FreeVarInfo) |
|
|
|
|
|
caseAIsExp(AIsExp, FreeVarInfo) |
|
|
|
|
|
caseALambdaExp(ALambdaExp, FreeVarInfo) |
|
|
|
|
|
caseALetBeStExp(ALetBeStExp, FreeVarInfo) |
|
|
|
|
|
caseALetBeStStm(ALetBeStStm, FreeVarInfo) |
|
|
|
|
|
caseALetDefExp(ALetDefExp, FreeVarInfo) |
|
|
|
|
|
caseALetStm(ALetStm, FreeVarInfo) |
|
|
|
|
|
caseALocalDefinition(ALocalDefinition, FreeVarInfo) |
|
|
|
|
|
caseAMapCompMapExp(AMapCompMapExp, FreeVarInfo) |
|
|
|
|
|
caseAMapEnumMapExp(AMapEnumMapExp, FreeVarInfo) |
|
|
|
|
|
caseAMapMapType(AMapMapType, FreeVarInfo) |
|
|
|
|
|
caseAMapletExp(AMapletExp, FreeVarInfo) |
|
|
|
|
|
caseAMkBasicExp(AMkBasicExp, FreeVarInfo) |
|
|
|
|
|
caseAMkTypeExp(AMkTypeExp, FreeVarInfo) |
|
|
|
|
|
caseAMuExp(AMuExp, FreeVarInfo) |
|
|
|
|
|
caseANamedInvariantType(ANamedInvariantType, FreeVarInfo) |
|
|
|
|
|
caseANarrowExp(ANarrowExp, FreeVarInfo) |
|
|
|
|
|
caseAOptionalType(AOptionalType, FreeVarInfo) |
|
|
|
|
|
caseAPeriodicStm(APeriodicStm, FreeVarInfo) |
|
|
|
|
|
caseAProductType(AProductType, FreeVarInfo) |
|
|
|
|
|
caseARecordInvariantType(ARecordInvariantType, FreeVarInfo) |
|
|
|
|
|
caseAReturnStm(AReturnStm, FreeVarInfo) |
|
|
|
|
|
caseASeq1SeqType(ASeq1SeqType, FreeVarInfo) |
|
|
|
|
|
caseASeqBind(ASeqBind, FreeVarInfo) |
|
|
|
|
|
caseASeqCompSeqExp(ASeqCompSeqExp, FreeVarInfo) |
|
|
|
|
|
caseASeqEnumSeqExp(ASeqEnumSeqExp, FreeVarInfo) |
|
|
|
|
|
caseASeqMultipleBind(ASeqMultipleBind, FreeVarInfo) |
|
|
|
|
|
caseASeqSeqType(ASeqSeqType, FreeVarInfo) |
|
|
|
|
|
caseASet1SetType(ASet1SetType, FreeVarInfo) |
|
|
|
|
|
caseASetBind(ASetBind, FreeVarInfo) |
|
|
|
|
|
caseASetCompSetExp(ASetCompSetExp, FreeVarInfo) |
|
|
|
|
|
caseASetEnumSetExp(ASetEnumSetExp, FreeVarInfo) |
|
|
|
|
|
caseASetMultipleBind(ASetMultipleBind, FreeVarInfo) |
|
|
|
|
|
caseASetRangeSetExp(ASetRangeSetExp, FreeVarInfo) |
|
|
|
|
|
caseASetSetType(ASetSetType, FreeVarInfo) |
|
|
|
|
|
caseASporadicStm(ASporadicStm, FreeVarInfo) |
|
|
|
|
|
caseAStartStm(AStartStm, FreeVarInfo) |
|
|
|
|
|
caseAStateDefinition(AStateDefinition, FreeVarInfo) |
|
|
|
|
|
caseAStopStm(AStopStm, FreeVarInfo) |
|
|
|
|
|
caseASubseqExp(ASubseqExp, FreeVarInfo) |
|
|
|
|
|
caseATixeStm(ATixeStm, FreeVarInfo) |
|
|
|
|
|
caseATrapStm(ATrapStm, FreeVarInfo) |
|
|
|
|
|
caseATupleExp(ATupleExp, FreeVarInfo) |
|
|
|
|
|
caseATypeBind(ATypeBind, FreeVarInfo) |
|
|
|
|
|
caseATypeDefinition(ATypeDefinition, FreeVarInfo) |
|
|
|
|
|
caseATypeMultipleBind(ATypeMultipleBind, FreeVarInfo) |
|
|
|
|
|
caseAValueDefinition(AValueDefinition, FreeVarInfo) |
|
|
|
|
|
caseAVariableExp(AVariableExp, FreeVarInfo) |
|
|
|
|
|
caseAWhileStm(AWhileStm, FreeVarInfo) |
|
|
|
|
|
createNewReturnValue(INode, FreeVarInfo) |
|
|
|
|
|
createNewReturnValue(Object, FreeVarInfo) |
|
|
|
|
|
defaultSBinaryExp(SBinaryExp, FreeVarInfo) |
|
|
|
|
|
defaultSBooleanBinaryExp(SBooleanBinaryExp, FreeVarInfo) |
|
|
|
|
|
defaultSSimpleBlockStm(SSimpleBlockStm, FreeVarInfo) |
|
|
|
|
|
defaultSUnaryExp(SUnaryExp, FreeVarInfo) |
|
|
|
|
|
getDefinitions(APatternListTypePair, NameScope) |
|
|
|
|
|