Package: org.overture.codegen.ir.expressions
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.codegen.ir.expressions |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
AAbsUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AAddrEqualsBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AAddrNotEqualsBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AAndBoolBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AAnonymousClassExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AApplyExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AAssignExpExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ABoolIsExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ABoolLiteralExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ACardUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ACaseAltExpExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ACasesExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ACastUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ACharIsExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ACharLiteralExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ACompBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ACompMapExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ACompSeqExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ACompSetExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ADeRefExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ADistConcatUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ADistIntersectUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ADistMergeUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ADistUnionUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ADivideNumericBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ADomainResByBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ADomainResToBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AElemsUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AEnumMapExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AEnumSeqExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AEnumSetExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AEqualsBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AExists1QuantifierExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AExistsQuantifierExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AExplicitVarExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AExternalExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AFieldExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AFieldNumberExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AFloorUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AForAllQuantifierExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AFuncIterationBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AGeneralIsExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AGreaterEqualNumericBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AGreaterNumericBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AHeadUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AHistoryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AIdentifierVarExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AInSetBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AIndicesUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AIntDivNumericBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AIntIsExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AIntLiteralExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AIotaExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AIotaRuntimeErrorExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AIsOfBaseClassExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AIsOfClassExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AIsolationUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ALambdaExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ALenUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ALessEqualNumericBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ALessNumericBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ALetBeStExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ALetBeStNoBindingRuntimeErrorExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ALetDefExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapDomainUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapInverseUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapIterationBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapOverrideBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapRangeUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapSeqGetExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapUnionBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapletExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AMethodInstantiationExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AMinusUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AMissingMemberRuntimeErrorExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AMkBasicExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AModNumericBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ANat1IsExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ANatIsExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ANewExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ANotEqualsBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ANotImplementedExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ANotUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ANullExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AOrBoolBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
APatternMatchRuntimeErrorExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
APlusNumericBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
APlusUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
APostDecExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
APostIncExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
APowerNumericBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
APowerSetUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
APreCondRuntimeErrorExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
APreDecExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
APreIncExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AQuoteLiteralExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ARangeResByBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ARangeResToBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ARangeSetExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ARatIsExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ARealIsExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ARealLiteralExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ARecordModExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ARecordModifierIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ARemNumericBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AReverseUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ASameBaseClassExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ASameClassExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ASelfExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ASeqConcatBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ASeqModificationBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ASeqToStringUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ASetDifferenceBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ASetIntersectBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ASetProperSubsetBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ASetSubsetBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ASetUnionBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AStringLiteralExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AStringToSeqUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ASubSeqExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ASubtractNumericBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ASuperVarExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ATailUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ATernaryIfExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AThreadIdExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ATimeExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ATimesNumericBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ATokenIsExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ATupleCompatibilityExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ATupleExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ATupleIsExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ATupleSizeExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ATypeArgExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AUndefinedExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AXorBoolBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
SAltExpExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SAltExpExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
SBinaryExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
SBoolBinaryBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SBoolBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
SIsExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SIsExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
SLiteralExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SLiteralExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
SMapExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SMapExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
SNumericBinaryBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SNumericBinaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
SQuantifierExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SQuantifierExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
SRuntimeErrorExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SRuntimeErrorExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
SSeqExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SSeqExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
SSetExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SSetExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
SUnaryExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SUnaryExpIR |
|
|
|
|
|
|
||||||||||||||||||||||||
SVarExpBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SVarExpIR |
|
|
|
|
|
|