Package: ImplicitDefinitionFinder

ImplicitDefinitionFinder

nameinstructionbranchcomplexitylinemethod
ImplicitDefinitionFinder(ITypeCheckerAssistantFactory)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseAClassInvariantDefinition(AClassInvariantDefinition, Environment)
M: 0 C: 1
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAEqualsDefinition(AEqualsDefinition, Environment)
M: 0 C: 1
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAExplicitFunctionDefinition(AExplicitFunctionDefinition, Environment)
M: 0 C: 41
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
caseAExplicitOperationDefinition(AExplicitOperationDefinition, Environment)
M: 0 C: 47
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
caseAImplicitFunctionDefinition(AImplicitFunctionDefinition, Environment)
M: 0 C: 41
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
caseAImplicitOperationDefinition(AImplicitOperationDefinition, Environment)
M: 0 C: 41
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
caseAStateDefinition(AStateDefinition, Environment)
M: 0 C: 17
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseAThreadDefinition(AThreadDefinition, Environment)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseATypeDefinition(ATypeDefinition, Environment)
M: 0 C: 109
100%
M: 0 C: 10
100%
M: 0 C: 6
100%
M: 0 C: 19
100%
M: 0 C: 1
100%
defaultPDefinition(PDefinition, Environment)
M: 0 C: 1
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
defaultSClassDefinition(SClassDefinition, Environment)
M: 79 C: 148
65%
M: 15 C: 25
63%
M: 11 C: 10
48%
M: 14 C: 32
70%
M: 0 C: 1
100%
findStateDefinition(Environment, INode)
M: 0 C: 3
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getInitDefinition(AStateDefinition)
M: 0 C: 59
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
getInvDefinition(AStateDefinition)
M: 0 C: 55
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
getInvDefinition(ATypeDefinition)
M: 0 C: 82
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 15
100%
M: 0 C: 1
100%
getPTypes(ATypeDefinition)
M: 0 C: 42
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
getRelDef(PRelation, ATypeDefinition, ILexNameToken)
M: 0 C: 63
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 13
100%
M: 0 C: 1
100%
getThreadDefinition(AThreadDefinition)
M: 0 C: 28
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
setMinMax(AOrdRelation, ATypeDefinition)
M: 0 C: 241
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 40
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!