| 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) |
|
|
|
|
|
![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
