Package: CounterData

CounterData

name	instruction	branch	complexity	line	method
CounterData(STypeIR, SExpIR)	M: 0 C: 9 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 4 100%	M: 0 C: 1 100%
getExp()	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%
getType()	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.trans.quantifier;
2:
3: import org.overture.codegen.ir.SExpIR;
4: import org.overture.codegen.ir.STypeIR;
5:
6: public class CounterData
7: {
8:         private STypeIR type;
9:         private SExpIR exp;
10:
11:         public CounterData(STypeIR type, SExpIR exp)
12:         {
13:                 super();
14:                 this.type = type;
15:                 this.exp = exp;
16:         }
17:
18:         public STypeIR getType()
19:         {
20:                 return type;
21:         }
22:
23:         public SExpIR getExp()
24:         {
25:                 return exp;
26:         }
27: }