Package: Exp2StmVarPrefixes

Exp2StmVarPrefixes

nameinstructionbranchcomplexitylinemethod
Exp2StmVarPrefixes()
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%
andExp()
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
casesExp()
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
exists()
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
exists1()
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
forAll()
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
iota()
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
iotaCounter()
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
letBeSt()
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
mapComp()
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
orExp()
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
recModExp()
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
seqComp()
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
setComp()
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
ternaryIfExp()
M: 0 C: 2
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;
2:
3: public class Exp2StmVarPrefixes
4: {
5:         public String ternaryIfExp()
6:         {
7:                 return "ternaryIfExp_";
8:         }
9:
10:         public String casesExp()
11:         {
12:                 return "casesExpResult_";
13:         }
14:
15:         public String andExp()
16:         {
17:                 return "andResult_";
18:         }
19:
20:         public String orExp()
21:         {
22:                 return "orResult_";
23:         }
24:
25:         public String recModExp()
26:         {
27:                 return "recModifierExp_";
28:         }
29:
30:         public String seqComp()
31:         {
32:                 return "seqCompResult_";
33:         }
34:
35:         public String setComp()
36:         {
37:                 return "setCompResult_";
38:         }
39:
40:         public String mapComp()
41:         {
42:                 return "mapCompResult_";
43:         }
44:
45:         public String letBeSt()
46:         {
47:                 return "letBeStExp_";
48:         }
49:
50:         public String forAll()
51:         {
52:                 return "forAllExpResult_";
53:         }
54:
55:         public String exists()
56:         {
57:                 return "existsExpResult_";
58:         }
59:
60:         public String exists1()
61:         {
62:                 return "exists1Counter_";
63:         }
64:
65:         public String iota() { return "iotaExp_"; }
66:
67:         public String iotaCounter() { return "iotaCounter_"; }
68: }