Package: org.overture.ast.types
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.ast.types |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
AAccessSpecifierAccessSpecifier |
|
|
|
|
|
|
||||||||||||||||||||||||
ABooleanBasicType |
|
|
|
|
|
|
||||||||||||||||||||||||
ABracketType |
|
|
|
|
|
|
||||||||||||||||||||||||
ACharBasicType |
|
|
|
|
|
|
||||||||||||||||||||||||
AClassType |
|
|
|
|
|
|
||||||||||||||||||||||||
AFieldField |
|
|
|
|
|
|
||||||||||||||||||||||||
AFunctionType |
|
|
|
|
|
|
||||||||||||||||||||||||
AInMapMapType |
|
|
|
|
|
|
||||||||||||||||||||||||
AIntNumericBasicType |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapMapType |
|
|
|
|
|
|
||||||||||||||||||||||||
ANamedInvariantType |
|
|
|
|
|
|
||||||||||||||||||||||||
ANatNumericBasicType |
|
|
|
|
|
|
||||||||||||||||||||||||
ANatOneNumericBasicType |
|
|
|
|
|
|
||||||||||||||||||||||||
AOperationType |
|
|
|
|
|
|
||||||||||||||||||||||||
AOptionalType |
|
|
|
|
|
|
||||||||||||||||||||||||
AParameterType |
|
|
|
|
|
|
||||||||||||||||||||||||
AProductType |
|
|
|
|
|
|
||||||||||||||||||||||||
AQuoteType |
|
|
|
|
|
|
||||||||||||||||||||||||
ARationalNumericBasicType |
|
|
|
|
|
|
||||||||||||||||||||||||
ARealNumericBasicType |
|
|
|
|
|
|
||||||||||||||||||||||||
ARecordInvariantType |
|
|
|
|
|
|
||||||||||||||||||||||||
ASeq1SeqType |
|
|
|
|
|
|
||||||||||||||||||||||||
ASeqSeqType |
|
|
|
|
|
|
||||||||||||||||||||||||
ASet1SetType |
|
|
|
|
|
|
||||||||||||||||||||||||
ASetSetType |
|
|
|
|
|
|
||||||||||||||||||||||||
ATokenBasicType |
|
|
|
|
|
|
||||||||||||||||||||||||
AUndefinedType |
|
|
|
|
|
|
||||||||||||||||||||||||
AUnionType |
|
|
|
|
|
|
||||||||||||||||||||||||
AUnknownType |
|
|
|
|
|
|
||||||||||||||||||||||||
AUnresolvedType |
|
|
|
|
|
|
||||||||||||||||||||||||
AVoidReturnType |
|
|
|
|
|
|
||||||||||||||||||||||||
AVoidType |
|
|
|
|
|
|
||||||||||||||||||||||||
PAccessSpecifier |
|
|
|
|
|
|
||||||||||||||||||||||||
PAccessSpecifierBase |
|
|
|
|
|
|
||||||||||||||||||||||||
PField |
|
|
|
|
|
|
||||||||||||||||||||||||
PFieldBase |
|
|
|
|
|
|
||||||||||||||||||||||||
PType |
|
|
|
|
|
|
||||||||||||||||||||||||
PTypeBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SBasicType |
|
|
|
|
|
|
||||||||||||||||||||||||
SBasicTypeBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SInvariantType |
|
|
|
|
|
|
||||||||||||||||||||||||
SInvariantTypeBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SMapType |
|
|
|
|
|
|
||||||||||||||||||||||||
SMapTypeBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SNumericBasicBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SNumericBasicType |
|
|
|
|
|
|
||||||||||||||||||||||||
SSeqType |
|
|
|
|
|
|
||||||||||||||||||||||||
SSeqTypeBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SSetType |
|
|
|
|
|
|
||||||||||||||||||||||||
SSetTypeBase |
|
|
|
|
|
|