Package: org.overture.ast.statements
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.ast.statements |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
AAlwaysStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AAnnotatedStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AApplyObjectDesignator |
|
|
|
|
|
|
||||||||||||||||||||||||
AAssignmentStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AAtomicStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ABlockSimpleBlockStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ACallObjectStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ACallStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ACaseAlternativeStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ACasesStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AClassInvariantStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ACyclesStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ADurationStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AElseIfStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AErrorCase |
|
|
|
|
|
|
||||||||||||||||||||||||
AErrorStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AExitStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AExternalClause |
|
|
|
|
|
|
||||||||||||||||||||||||
AFieldObjectDesignator |
|
|
|
|
|
|
||||||||||||||||||||||||
AFieldStateDesignator |
|
|
|
|
|
|
||||||||||||||||||||||||
AForAllStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AForIndexStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AForPatternBindStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AIdentifierObjectDesignator |
|
|
|
|
|
|
||||||||||||||||||||||||
AIdentifierStateDesignator |
|
|
|
|
|
|
||||||||||||||||||||||||
AIfStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ALetBeStStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ALetStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AMapSeqStateDesignator |
|
|
|
|
|
|
||||||||||||||||||||||||
ANewObjectDesignator |
|
|
|
|
|
|
||||||||||||||||||||||||
ANonDeterministicSimpleBlockStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ANotYetSpecifiedStm |
|
|
|
|
|
|
||||||||||||||||||||||||
APeriodicStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AReturnStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ASelfObjectDesignator |
|
|
|
|
|
|
||||||||||||||||||||||||
ASkipStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ASpecificationStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ASporadicStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AStartStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AStopStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ASubclassResponsibilityStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ATixeStm |
|
|
|
|
|
|
||||||||||||||||||||||||
ATixeStmtAlternative |
|
|
|
|
|
|
||||||||||||||||||||||||
ATrapStm |
|
|
|
|
|
|
||||||||||||||||||||||||
AWhileStm |
|
|
|
|
|
|
||||||||||||||||||||||||
PAlternativeStm |
|
|
|
|
|
|
||||||||||||||||||||||||
PAlternativeStmBase |
|
|
|
|
|
|
||||||||||||||||||||||||
PCase |
|
|
|
|
|
|
||||||||||||||||||||||||
PCaseBase |
|
|
|
|
|
|
||||||||||||||||||||||||
PClause |
|
|
|
|
|
|
||||||||||||||||||||||||
PClauseBase |
|
|
|
|
|
|
||||||||||||||||||||||||
PObjectDesignator |
|
|
|
|
|
|
||||||||||||||||||||||||
PObjectDesignatorBase |
|
|
|
|
|
|
||||||||||||||||||||||||
PStateDesignator |
|
|
|
|
|
|
||||||||||||||||||||||||
PStateDesignatorBase |
|
|
|
|
|
|
||||||||||||||||||||||||
PStm |
|
|
|
|
|
|
||||||||||||||||||||||||
PStmBase |
|
|
|
|
|
|
||||||||||||||||||||||||
PStmtAlternative |
|
|
|
|
|
|
||||||||||||||||||||||||
PStmtAlternativeBase |
|
|
|
|
|
|
||||||||||||||||||||||||
SSimpleBlockStm |
|
|
|
|
|
|
||||||||||||||||||||||||
SSimpleBlockStmBase |
|
|
|
|
|
|