Package: TcExpInfo

TcExpInfo

nameinstructionbranchcomplexitylinemethod
TcExpInfo(String, STypeIR, AMetaStmIR, String)
M: 0 C: 15
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
getExpRef()
M: 0 C: 3
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getFormalParamType()
M: 0 C: 3
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getTraceEnclosingClass()
M: 0 C: 3
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getTypeCheck()
M: 0 C: 3
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%

Coverage

1: package org.overture.codegen.vdm2jml.trans;
2:
3: import org.overture.codegen.ir.STypeIR;
4: import org.overture.codegen.ir.statements.AMetaStmIR;
5:
6: public class TcExpInfo
7: {
8:         private STypeIR formalParamType;
9:         private AMetaStmIR typeCheck;
10:         private String traceEnclosingClass;
11:         private String name;
12:
13:         public TcExpInfo(String expRef, STypeIR formalParamType,
14:                         AMetaStmIR typeCheck, String traceEnclosingClass)
15:         {
16:                 super();
17:                 this.name = expRef;
18:                 this.formalParamType = formalParamType;
19:                 this.typeCheck = typeCheck;
20:                 this.traceEnclosingClass = traceEnclosingClass;
21:         }
22:
23:         public String getExpRef()
24:         {
25:                 return name;
26:         }
27:
28:         public STypeIR getFormalParamType()
29:         {
30:                 return formalParamType;
31:         }
32:
33:         public AMetaStmIR getTypeCheck()
34:         {
35:                 return typeCheck;
36:         }
37:
38:         public String getTraceEnclosingClass()
39:         {
40:                 return traceEnclosingClass;
41:         }
42: }