Package: org.overture.ast.expressions
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.ast.expressions |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
AAbsoluteUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AAndBooleanBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AAnnotatedUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AApplyExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ABooleanConstExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ACardinalityUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ACaseAlternative |
|
|
|
|
|
|
||||||||||||||||||||||||
ACasesExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ACharLiteralExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ACompBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ADefExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ADistConcatUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ADistIntersectUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ADistMergeUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ADistUnionUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ADivNumericBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ADivideNumericBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ADomainResByBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ADomainResToBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AElementsUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AElseIfExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AEqualsBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AEquivalentBooleanBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AExists1Exp |
|
|
|
|
|
|
||||||||||||||||||||||||
AExistsExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AFieldExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AFieldNumberExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AFloorUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AForAllExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AFuncInstatiationExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AGreaterEqualNumericBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AGreaterNumericBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AHeadUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AHistoryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AIfExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AImpliesBooleanBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AInSetBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AIndicesUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AIntLiteralExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AIotaExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AIsExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AIsOfBaseClassExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AIsOfClassExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ALambdaExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ALenUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ALessEqualNumericBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ALessNumericBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ALetBeStExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ALetDefExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapCompMapExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapDomainUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapEnumMapExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapInverseUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapRangeUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapUnionBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapletExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AMkBasicExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AMkTypeExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AModNumericBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AMuExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ANarrowExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ANewExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ANilExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ANotEqualBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ANotInSetBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ANotUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ANotYetSpecifiedExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AOrBooleanBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
APlusNumericBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
APlusPlusBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
APostOpExp |
|
|
|
|
|
|
||||||||||||||||||||||||
APowerSetUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
APreExp |
|
|
|
|
|
|
||||||||||||||||||||||||
APreOpExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AProperSubsetBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AQuoteLiteralExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ARangeResByBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ARangeResToBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ARealLiteralExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ARecordModifier |
|
|
|
|
|
|
||||||||||||||||||||||||
ARemNumericBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AReverseUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASameBaseClassExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASameClassExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASelfExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASeqCompSeqExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASeqConcatBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASeqEnumSeqExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASetCompSetExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASetDifferenceBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASetEnumSetExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASetIntersectBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASetRangeSetExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASetUnionBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AStarStarBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AStateInitExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AStringLiteralExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASubclassResponsibilityExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASubseqExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASubsetBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ASubtractNumericBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ATailUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AThreadIdExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ATimeExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ATimesNumericBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
ATupleExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AUnaryMinusUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AUnaryPlusUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AUndefinedExp |
|
|
|
|
|
|
||||||||||||||||||||||||
AVariableExp |
|
|
|
|
|
|
||||||||||||||||||||||||
PAlternative |
|
|
|
|
|
|
||||||||||||||||||||||||
PAlternativeBase |
|
|
|
|
|
|
||||||||||||||||||||||||
PExp |
|
|
|
|
|
|
||||||||||||||||||||||||
PExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
PModifier |
|
|
|
|
|
|
||||||||||||||||||||||||
PModifierBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
SBinaryExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SBooleanBinaryBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SBooleanBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
SMapExp |
|
|
|
|
|
|
||||||||||||||||||||||||
SMapExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SNumericBinaryBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SNumericBinaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
SSeqExp |
|
|
|
|
|
|
||||||||||||||||||||||||
SSeqExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SSetExp |
|
|
|
|
|
|
||||||||||||||||||||||||
SSetExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SUnaryExp |
|
|
|
|
|
|
||||||||||||||||||||||||
SUnaryExpBase |
|
|
|
|
|
|