Package: org.overture.codegen.traces
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.codegen.traces |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
CallObjTraceLocalizer |
|
|
|
|
|
|
||||||||||||||||||||||||
ICallStmToStringMethodBuilder |
|
|
|
|
|
|
||||||||||||||||||||||||
IdentifierPatternCollector |
|
|
|
|
|
|
||||||||||||||||||||||||
PatternTypeFinder |
|
|
|
|
|
|
||||||||||||||||||||||||
StoreAssistant |
|
|
|
|
|
|
||||||||||||||||||||||||
TermVisitorIR |
|
|
|
|
|
|
||||||||||||||||||||||||
TraceCoreDeclVisitorIR |
|
|
|
|
|
|
||||||||||||||||||||||||
TraceDeclVisitorIR |
|
|
|
|
|
|
||||||||||||||||||||||||
TraceLetBeStStrategy |
|
|
|
|
|
|
||||||||||||||||||||||||
TraceMethodTag |
|
|
|
|
|
|
||||||||||||||||||||||||
TraceNames |
|
|
|
|
|
|
||||||||||||||||||||||||
TraceNodeData |
|
|
|
|
|
|
||||||||||||||||||||||||
TraceStmBuilder |
|
|
|
|
|
|
||||||||||||||||||||||||
TraceStmBuilder$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
TraceSupportedAnalysis |
|
|
|
|
|
|
||||||||||||||||||||||||
TracesTrans |
|
|
|
|
|
|