Package: TraceNames

TraceNames

nameinstructionbranchcomplexitylinemethod
TraceNames()
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%
addMethodName()
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%
addVarFirstMethodName()
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%
altTraceNodeNamePrefix()
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%
altTraceNodeNodeClassName()
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%
callStmArgNamePrefix()
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%
callStmBaseClassTypeName()
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%
callStmClassTypeName()
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%
callStmExecMethodNamePrefix()
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%
callStmIsTypeCorrectNamePrefix()
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%
callStmMeetsPreCondNamePrefix()
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%
callStmMethodParamName()
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%
callStmNamePrefix()
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%
callStmResultNamePrefix()
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%
concTraceNodeNamePrefix()
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%
concTraceNodeNodeClassName()
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%
executeTestsMethodName()
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%
idConstNamePrefix()
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%
idGeneratorClassName()
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%
idGeneratorIncrementMethodName()
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%
idGeneratorVarName()
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%
readStateMethodName()
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%
repeatTraceNodeNamePrefix()
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%
repeatTraceNodeNodeClassName()
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%
runTraceMethodName()
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%
runtimePackage()
M: 2 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
seqClassTypeName()
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%
seqTraceNodeNamePrefix()
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%
stmTraceNodeClassName()
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%
stmTraceNodeNamePrefix()
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%
storeClassName()
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%
storeGetValueMethodName()
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%
storeRegistrationMethodName()
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%
storeStaticRegistrationMethodName()
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%
storeVarName()
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%
testAccumulatorClassName()
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%
traceMethodParamName()
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%
traceNodeNodeClassName()
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%
traceUtilClassName()
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%
traceVarClassName()
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%
voidValueEnclosingClassName()
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%
voidValueFieldName()
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.traces;
2:
3: public class TraceNames
4: {
5:         // Related to TraceNode
6:
7:         public String traceNodeNodeClassName()
8:         {
9:                 return "TraceNode";
10:         }
11:
12:         public String executeTestsMethodName()
13:         {
14:                 return "executeTests";
15:         }
16:
17:         // Related to the AlternativeTraceNode
18:
19:         public String altTraceNodeNodeClassName()
20:         {
21:                 return "AlternativeTraceNode";
22:         }
23:
24:         public String altTraceNodeNamePrefix()
25:         {
26:                 return "alternatives_";
27:         }
28:
29:         // Related to the StatementTraceNode
30:
31:         public String stmTraceNodeClassName()
32:         {
33:                 return "StatementTraceNode";
34:         }
35:
36:         public String stmTraceNodeNamePrefix()
37:         {
38:                 return "apply_";
39:         }
40:
41:         // Related to the CallStatement
42:
43:         public String callStmClassTypeName()
44:         {
45:                 return "CallStatementPp";
46:         }
47:
48:         public String callStmBaseClassTypeName()
49:         {
50:                 return "CallStatement";
51:         }
52:
53:         public String callStmNamePrefix()
54:         {
55:                 return "callStm_";
56:         }
57:
58:         public String callStmIsTypeCorrectNamePrefix()
59:         {
60:                 return "isTypeCorrect";
61:         }
62:
63:         public String callStmMeetsPreCondNamePrefix()
64:         {
65:                 return "meetsPreCond";
66:         }
67:
68:         public String callStmExecMethodNamePrefix()
69:         {
70:                 return "execute";
71:         }
72:
73:         public String callStmMethodParamName()
74:         {
75:                 return "instance";
76:         }
77:
78:         public String callStmArgNamePrefix()
79:         {
80:                 return "arg_";
81:         }
82:
83:         public String callStmResultNamePrefix()
84:         {
85:                 return "result_";
86:         }
87:
88:         // Related to the SequenceTraceNode
89:
90:         public String seqTraceNodeNamePrefix()
91:         {
92:                 return "sequence_";
93:         }
94:
95:         public String seqClassTypeName()
96:         {
97:                 return "SequenceTraceNode";
98:         }
99:
100:         // Related to the ConcurrentTraceNode
101:
102:         public String concTraceNodeNamePrefix()
103:         {
104:                 return "concurrent_";
105:         }
106:
107:         public String concTraceNodeNodeClassName()
108:         {
109:                 return "ConcurrentTraceNode";
110:         }
111:
112:         // Related to the RepeatTraceNode
113:
114:         public String repeatTraceNodeNamePrefix()
115:         {
116:                 return "repeat_";
117:         }
118:
119:         public String repeatTraceNodeNodeClassName()
120:         {
121:                 return "RepeatTraceNode";
122:         }
123:
124:         public String runtimePackage()
125:         {
126:                 return "org.overture.codegen.runtime";
127:         }
128:
129:         // Name of the method that when invoked executes the trace
130:
131:         public String runTraceMethodName()
132:         {
133:                 return "Run";
134:         }
135:
136:         // Name of the method that is used to add child trace nodes to
137:         // a parent trace node
138:
139:         public String addMethodName()
140:         {
141:                 return "add";
142:         }
143:
144:         // Storage related
145:
146:         public String storeClassName()
147:         {
148:                 return "Store";
149:         }
150:
151:         public String storeVarName()
152:         {
153:                 return "store";
154:         }
155:
156:         public String storeStaticRegistrationMethodName()
157:         {
158:                 return "staticReg";
159:         }
160:
161:         public String storeRegistrationMethodName()
162:         {
163:                 return "register";
164:         }
165:
166:         public String storeGetValueMethodName()
167:         {
168:                 return "getValue";
169:         }
170:
171:         // ID Generator related
172:
173:         public String idGeneratorClassName()
174:         {
175:                 return "IdGenerator";
176:         }
177:
178:         public String idGeneratorVarName()
179:         {
180:                 return "gen";
181:         }
182:
183:         public String idConstNamePrefix()
184:         {
185:                 return "ID_";
186:         }
187:
188:         public String idGeneratorIncrementMethodName()
189:         {
190:                 return "inc";
191:         }
192:
193:         // Utility stuff
194:
195:         public String voidValueEnclosingClassName()
196:         {
197:                 return "Utils";
198:         }
199:
200:         public String voidValueFieldName()
201:         {
202:                 return "VOID_VALUE";
203:         }
204:
205:         public String testAccumulatorClassName()
206:         {
207:                 return "TestAccumulator";
208:         }
209:
210:         public String traceMethodParamName()
211:         {
212:                 return "testAccumulator";
213:         }
214:
215:         public String traceUtilClassName()
216:         {
217:                 return "TraceUtil";
218:         }
219:
220:         public String readStateMethodName()
221:         {
222:                 return "readState";
223:         }
224:
225:         public String traceVarClassName()
226:         {
227:                 return "TraceVariable";
228:         }
229:
230:         public String addVarFirstMethodName()
231:         {
232:                 return "addVarFirst";
233:         }
234: }