Package: org.overture.codegen.ir.traces
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.codegen.ir.traces |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
AApplyExpTraceCoreDeclIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ABracketedExpTraceCoreDeclIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AConcurrentExpTraceCoreDeclIR |
|
|
|
|
|
|
||||||||||||||||||||||||
AInstanceTraceDeclIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ALetBeStBindingTraceDeclIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ALetDefBindingTraceDeclIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ARepeatTraceDeclIR |
|
|
|
|
|
|
||||||||||||||||||||||||
ATraceDeclTermIR |
|
|
|
|
|
|