Package: InterpreterAssistantFactory

InterpreterAssistantFactory

nameinstructionbranchcomplexitylinemethod
InterpreterAssistantFactory()
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%
createACpuClassDefinitionAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createAExplicitFunctionDefinitionAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createAFieldExpAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createAMapPatternMapletAssistant(String)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createAModuleModulesAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createANamedTraceDefinitionAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createAPostOpExpAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createAStateDefinitionAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createModuleListAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createPBindAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createPDefinitionAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createPDefinitionListAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createPExpAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createPMultipleBindAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createPPatternAssistant(String)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createPStmAssistant()
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
createPTypeAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createSClassDefinitionAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createSInvariantTypeAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getAllConcreteTypeInstantiator()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getAllNamedValuesLocator(String)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getAllValuesCollector()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getBindValueCollector()
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
getBindValuesCollector()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getConstrainedPatternChecker()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getDefinitionRunTimeChecker()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getDefinitionStatementFinder()
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
getDefintionValueChecker()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getExpExpressionFinder()
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
getExpressionFinder()
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
getExpressionValueCollector()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getIdentifierPatternFinder()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getInstanceVariableChecker()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getLengthFinder()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getNamedValueLister()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getOldNameCollector()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getSingleBindValuesCollector()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getStatementExpressionFinder()
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
getStatementFinder()
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
getSubExpressionsLocator()
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
getTraceExpander()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getTypeDefinitionChecker()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getValueCollector()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getValuesDefinitionLocator()
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%

Coverage

1: package org.overture.interpreter.assistant;
2:
3: import java.io.Serializable;
4: import java.util.List;
5:
6: import org.overture.ast.analysis.QuestionAnswerAdaptor;
7: import org.overture.ast.analysis.intf.IAnswer;
8: import org.overture.ast.analysis.intf.IQuestionAnswer;
9: import org.overture.ast.expressions.PExp;
10: import org.overture.ast.lex.LexNameList;
11: import org.overture.ast.patterns.AIdentifierPattern;
12: import org.overture.ast.statements.PStm;
13: import org.overture.ast.types.PType;
14: import org.overture.interpreter.assistant.definition.ACpuClassDefinitionAssistantInterpreter;
15: import org.overture.interpreter.assistant.definition.AExplicitFunctionDefinitionAssistantInterpreter;
16: import org.overture.interpreter.assistant.definition.ANamedTraceDefinitionAssistantInterpreter;
17: import org.overture.interpreter.assistant.definition.AStateDefinitionAssistantInterpreter;
18: import org.overture.interpreter.assistant.definition.PDefinitionAssistantInterpreter;
19: import org.overture.interpreter.assistant.definition.PDefinitionListAssistantInterpreter;
20: import org.overture.interpreter.assistant.definition.SClassDefinitionAssistantInterpreter;
21: import org.overture.interpreter.assistant.expression.AFieldExpAssistantInterpreter;
22: import org.overture.interpreter.assistant.expression.APostOpExpAssistantInterpreter;
23: import org.overture.interpreter.assistant.expression.PExpAssistantInterpreter;
24: import org.overture.interpreter.assistant.module.AModuleModulesAssistantInterpreter;
25: import org.overture.interpreter.assistant.module.ModuleListAssistantInterpreter;
26: import org.overture.interpreter.assistant.pattern.AMapPatternMapletAssistantInterpreter;
27: import org.overture.interpreter.assistant.pattern.PBindAssistantInterpreter;
28: import org.overture.interpreter.assistant.pattern.PMultipleBindAssistantInterpreter;
29: import org.overture.interpreter.assistant.pattern.PPatternAssistantInterpreter;
30: import org.overture.interpreter.assistant.statement.PStmAssistantInterpreter;
31: import org.overture.interpreter.assistant.type.PTypeAssistantInterpreter;
32: import org.overture.interpreter.assistant.type.SInvariantTypeAssistantInterpreter;
33: import org.overture.interpreter.eval.BindState;
34: import org.overture.interpreter.runtime.Context;
35: import org.overture.interpreter.runtime.ObjectContext;
36: import org.overture.interpreter.traces.TraceExpander;
37: import org.overture.interpreter.traces.TraceNode;
38: import org.overture.interpreter.utilities.OldNameCollector;
39: import org.overture.interpreter.utilities.definition.DefinitionRunTimeChecker;
40: import org.overture.interpreter.utilities.definition.DefinitionStatementFinder;
41: import org.overture.interpreter.utilities.definition.DefinitionValueChecker;
42: import org.overture.interpreter.utilities.definition.ExpressionFinder;
43: import org.overture.interpreter.utilities.definition.InstanceVariableChecker;
44: import org.overture.interpreter.utilities.definition.NamedValueLister;
45: import org.overture.interpreter.utilities.definition.TypeDefinitionChecker;
46: import org.overture.interpreter.utilities.definition.ValuesDefinitionLocator;
47: import org.overture.interpreter.utilities.expression.ExpExpressionFinder;
48: import org.overture.interpreter.utilities.expression.ExpressionValueCollector;
49: import org.overture.interpreter.utilities.expression.SubExpressionsLocator;
50: import org.overture.interpreter.utilities.pattern.AllNamedValuesLocator;
51: import org.overture.interpreter.utilities.pattern.BindValueCollector;
52: import org.overture.interpreter.utilities.pattern.ConstrainedPatternChecker;
53: import org.overture.interpreter.utilities.pattern.IdentifierPatternFinder;
54: import org.overture.interpreter.utilities.pattern.LengthFinder;
55: import org.overture.interpreter.utilities.pattern.MultipleBindValuesCollector;
56: import org.overture.interpreter.utilities.pattern.SingleBindValuesCollector;
57: import org.overture.interpreter.utilities.pattern.ValueCollector;
58: import org.overture.interpreter.utilities.statement.StatementExpressionFinder;
59: import org.overture.interpreter.utilities.statement.StatementFinder;
60: import org.overture.interpreter.utilities.type.AllValuesCollector;
61: import org.overture.interpreter.utilities.type.ConcreteTypeInstantiator;
62: import org.overture.interpreter.values.NameValuePairList;
63: import org.overture.interpreter.values.ValueList;
64: import org.overture.typechecker.assistant.TypeCheckerAssistantFactory;
65:
66: public class InterpreterAssistantFactory extends TypeCheckerAssistantFactory
67:                 implements IInterpreterAssistantFactory, Serializable
68: {
69:         private static final long serialVersionUID = 1L;
70:
71: //        public ABusClassDefinitionAssistantInterpreter createABusClassDefinitionAssitant()
72: //        {
73: //                return new ABusClassDefinitionAssistantInterpreter(this);
74: //        }
75:
76: //        public AClassClassDefinitionAssistantInterpreter createAClassClassDefinitionAssistant()
77: //        {
78: //                return new AClassClassDefinitionAssistantInterpreter(this);
79: //        }
80:
81:         // public AConcurrentExpressionTraceCoreDefinitionAssistantInterpreter
82:         // createAConcurrentExpressionTraceCoreDefinitionAssistant()
83:         // {
84:         // return new AConcurrentExpressionTraceCoreDefinitionAssistantInterpreter(this);
85:         // }
86:
87:         public ACpuClassDefinitionAssistantInterpreter createACpuClassDefinitionAssistant()
88:         {
89:                 return new ACpuClassDefinitionAssistantInterpreter(this);
90:         }
91:
92:         // public AEqualsDefinitionAssistantInterpreter createAEqualsDefinitionAssistant()
93:         // {
94:         // return new AEqualsDefinitionAssistantInterpreter(this);
95:         // }
96:
97:         // public AErrorCaseAssistantInterpreter createAErrorCaseAssistant()
98:         // {
99:         // return new AErrorCaseAssistantInterpreter(this);
100:         // }
101:
102:         public AExplicitFunctionDefinitionAssistantInterpreter createAExplicitFunctionDefinitionAssistant()
103:         {
104:                 return new AExplicitFunctionDefinitionAssistantInterpreter(this);
105:         }
106:
107:         // public AExplicitOperationDefinitionAssistantInterpreter createAExplicitOperationDefinitionAssistant()
108:         // {
109:         // return new AExplicitOperationDefinitionAssistantInterpreter(this);
110:         // }
111:
112: //        public AImplicitFunctionDefinitionAssistantInterpreter createAImplicitFunctionDefinitionAssistant()
113: //        {
114: //                return new AImplicitFunctionDefinitionAssistantInterpreter(this);
115: //        }
116:
117:         //
118:         // public AImplicitOperationDefinitionAssistantInterpreter createAImplicitOperationDefinitionAssistant()
119:         // {
120:         // return new AImplicitOperationDefinitionAssistantInterpreter(this);
121:         // }
122:
123:         // public AImportedDefinitionAssistantInterpreter createAImportedDefinitionAssistant()
124:         // {
125:         // return new AImportedDefinitionAssistantInterpreter(this);
126:         // }
127:
128:         // public AInheritedDefinitionAssistantInterpreter createAInheritedDefinitionAssistant()
129:         // {
130:         // return new AInheritedDefinitionAssistantInterpreter(this);
131:         // }
132:
133:         // public AInstanceVariableDefinitionAssistantInterpreter createAInstanceVariableDefinitionAssistant()
134:         // {
135:         // return new AInstanceVariableDefinitionAssistantInterpreter(this);
136:         // }
137:
138:         // public ALetBeStBindingTraceDefinitionAssistantInterpreter createALetBeStBindingTraceDefinitionAssistant()
139:         // {
140:         // return new ALetBeStBindingTraceDefinitionAssistantInterpreter(this);
141:         // }
142:
143:         // public ALetDefBindingTraceDefinitionAssistantInterpreter createALetDefBindingTraceDefinitionAssistant()
144:         // {
145:         // return new ALetDefBindingTraceDefinitionAssistantInterpreter(this);
146:         // }
147:
148:         // public ALocalDefinitionAssistantInterpreter createALocalDefinitionAssistant()
149:         // {
150:         // return new ALocalDefinitionAssistantInterpreter(this);
151:         // }
152:
153: //        public AMutexSyncDefinitionAssistantInterpreter createAMutexSyncDefinitionAssistant()
154: //        {
155: //                return new AMutexSyncDefinitionAssistantInterpreter(this);
156: //        }
157:
158:         public ANamedTraceDefinitionAssistantInterpreter createANamedTraceDefinitionAssistant()
159:         {
160:                 return new ANamedTraceDefinitionAssistantInterpreter(this);
161:         }
162:
163:         // public APerSyncDefinitionAssistantInterpreter createAPerSyncDefinitionAssistant()
164:         // {
165:         // return new APerSyncDefinitionAssistantInterpreter(this);
166:         // }
167:
168:         // public ARenamedDefinitionAssistantInterpreter createARenamedDefinitionAssistant()
169:         // {
170:         // return new ARenamedDefinitionAssistantInterpreter(this);
171:         // }
172:
173:         // public ARepeatTraceDefinitionAssistantInterpreter createARepeatTraceDefinitionAssistant()
174:         // {
175:         // return new ARepeatTraceDefinitionAssistantInterpreter(this);
176:         // }
177:
178:         public AStateDefinitionAssistantInterpreter createAStateDefinitionAssistant()
179:         {
180:                 return new AStateDefinitionAssistantInterpreter(this);
181:         }
182:
183: //        public ASystemClassDefinitionAssistantInterpreter createASystemClassDefinitionAssistant()
184: //        {
185: //                return new ASystemClassDefinitionAssistantInterpreter(this);
186: //        }
187:
188:         // public AThreadDefinitionAssistantInterpreter createAThreadDefinitionAssistant()
189:         // {
190:         // return new AThreadDefinitionAssistantInterpreter(this);
191:         // }
192:
193:         // public ATraceDefinitionTermAssistantInterpreter createATraceDefinitionTermAssistant()
194:         // {
195:         // return new ATraceDefinitionTermAssistantInterpreter(this);
196:         // }
197:
198:         // public ATypeDefinitionAssistantInterpreter createATypeDefinitionAssistant()
199:         // {
200:         // return new ATypeDefinitionAssistantInterpreter(this);
201:         // }
202:
203:         // public AUntypedDefinitionAssistantInterpreter createAUntypedDefinitionAssistant()
204:         // {
205:         // return new AUntypedDefinitionAssistantInterpreter(this);
206:         // }
207:
208:         // public AValueDefinitionAssistantInterpreter createAValueDefinitionAssistant()
209:         // {
210:         // return new AValueDefinitionAssistantInterpreter(this);
211:         // }
212:
213:         public PDefinitionAssistantInterpreter createPDefinitionAssistant()
214:         {
215:                 return new PDefinitionAssistantInterpreter(this);
216:         }
217:
218:         public PDefinitionListAssistantInterpreter createPDefinitionListAssistant()
219:         {
220:                 return new PDefinitionListAssistantInterpreter(this);
221:         }
222:
223: //        public PTraceCoreDefinitionAssistantInterpreter createPTraceCoreDefinitionAssistant()
224: //        {
225: //                return new PTraceCoreDefinitionAssistantInterpreter(this);
226: //        }
227:
228:         public SClassDefinitionAssistantInterpreter createSClassDefinitionAssistant()
229:         {
230:                 return new SClassDefinitionAssistantInterpreter(this);
231:         }
232:
233:         // expression
234:
235:         // public AApplyExpAssistantInterpreter createAApplyExpAssistant()
236:         // {
237:         // return new AApplyExpAssistantInterpreter(this);
238:         // }
239:
240:         // public ACaseAlternativeAssistantInterpreter createACaseAlternativeAssistant()
241:         // {
242:         // return new ACaseAlternativeAssistantInterpreter(this);
243:         // }
244:
245:         // public ACasesExpAssistantInterpreter createACasesExpAssistant()
246:         // {
247:         // return new ACasesExpAssistantInterpreter(this);
248:         // }
249:
250:         // public ADefExpAssistantInterpreter createADefExpAssistant()
251:         // {
252:         // return new ADefExpAssistantInterpreter(this);
253:         // }
254:
255:         // public AElseIfExpAssistantInterpreter createAElseIfExpAssistant()
256:         // {
257:         // return new AElseIfExpAssistantInterpreter(this);
258:         // }
259:
260:         // public AExists1ExpAssistantInterpreter createAExists1ExpAssistant()
261:         // {
262:         // return new AExists1ExpAssistantInterpreter(this);
263:         // }
264:
265:         // public AExistsExpAssistantInterpreter createAExistsExpAssistant()
266:         // {
267:         // return new AExistsExpAssistantInterpreter(this);
268:         // }
269:
270:         public AFieldExpAssistantInterpreter createAFieldExpAssistant()
271:         {
272:                 return new AFieldExpAssistantInterpreter(this);
273:         }
274:
275:         // public AFieldNumberExpAssistantInterpreter createAFieldNumberExpAssistant()
276:         // {
277:         // return new AFieldNumberExpAssistantInterpreter(this);
278:         // }
279:
280:         // public AForAllExpAssistantInterpreter createAForAllExpAssistant()
281:         // {
282:         // return new AForAllExpAssistantInterpreter(this);
283:         // }
284:
285:         // public AFuncInstatiationExpAssistantInterpreter createAFuncInstatiationExpAssistant()
286:         // {
287:         // return new AFuncInstatiationExpAssistantInterpreter(this);
288:         // }
289:
290:         // public AIfExpAssistantInterpreter createAIfExpAssistant()
291:         // {
292:         // return new AIfExpAssistantInterpreter(this);
293:         // }
294:
295:         // public AIotaExpAssistantInterpreter createAIotaExpAssistant()
296:         // {
297:         // return new AIotaExpAssistantInterpreter(this);
298:         // }
299:
300:         // public AIsExpAssistantInterpreter createAIsExpAssistant()
301:         // {
302:         // return new AIsExpAssistantInterpreter(this);
303:         // }
304:
305: //        public AIsOfBaseClassExpAssistantInterpreter createAIsOfBaseClassExpAssistant()
306: //        {
307: //                return new AIsOfBaseClassExpAssistantInterpreter(this);
308: //        }
309:
310: //        public AIsOfClassExpAssistantInterpreter createAIsOfClassExpAssistant()
311: //        {
312: //                return new AIsOfClassExpAssistantInterpreter(this);
313: //        }
314:
315:         // public ALambdaExpAssistantInterpreter createALambdaExpAssistant()
316:         // {
317:         // return new ALambdaExpAssistantInterpreter(this);
318:         // }
319:
320:         // public ALetBeStExpAssistantInterpreter createALetBeStExpAssistant()
321:         // {
322:         // return new ALetBeStExpAssistantInterpreter(this);
323:         // }
324:
325:         // public ALetDefExpAssistantInterpreter createALetDefExpAssistant()
326:         // {
327:         // return new ALetDefExpAssistantInterpreter(this);
328:         // }
329:
330:         // public AMapCompMapExpAssistantInterpreter createAMapCompMapExpAssistant()
331:         // {
332:         // return new AMapCompMapExpAssistantInterpreter(this);
333:         // }
334:         //
335:         // public AMapEnumMapExpAssistantInterpreter createAMapEnumMapExpAssistant()
336:         // {
337:         // return new AMapEnumMapExpAssistantInterpreter(this);
338:         // }
339:         //
340:         // public AMapletExpAssistantInterpreter createAMapletExpAssistant()
341:         // {
342:         // return new AMapletExpAssistantInterpreter(this);
343:         // }
344:         //
345:         // public AMkBasicExpAssistantInterpreter createAMkBasicExpAssistant()
346:         // {
347:         // return new AMkBasicExpAssistantInterpreter(this);
348:         // }
349:         //
350:         // public AMkTypeExpAssistantInterpreter createAMkTypeExpAssistant()
351:         // {
352:         // return new AMkTypeExpAssistantInterpreter(this);
353:         // }
354:         //
355:         // public AMuExpAssistantInterpreter createAMuExpAssistant()
356:         // {
357:         // return new AMuExpAssistantInterpreter(this);
358:         // }
359:
360:         // public ANarrowExpAssistantInterpreter createANarrowExpAssistant()
361:         // {
362:         // return new ANarrowExpAssistantInterpreter(this);
363:         // }
364:         //
365:         // public ANewExpAssistantInterpreter createANewExpAssistant()
366:         // {
367:         // return new ANewExpAssistantInterpreter(this);
368:         // }
369:
370:         public APostOpExpAssistantInterpreter createAPostOpExpAssistant()
371:         {
372:                 return new APostOpExpAssistantInterpreter(this);
373:         }
374:
375:         // public ARecordModifierAssistantInterpreter createARecordModifierAssistant()
376:         // {
377:         // return new ARecordModifierAssistantInterpreter(this);
378:         // }
379:         //
380:         // public ASameBaseClassExpAssistantInterpreter createASameBaseClassExpAssistant()
381:         // {
382:         // return new ASameBaseClassExpAssistantInterpreter(this);
383:         // }
384:         //
385:         // public ASameClassExpAssistantInterpreter createASameClassExpAssistant()
386:         // {
387:         // return new ASameClassExpAssistantInterpreter(this);
388:         // }
389:
390:         // public ASeqCompSeqExpAssistantInterpreter createASeqCompSeqExpAssistant()
391:         // {
392:         // return new ASeqCompSeqExpAssistantInterpreter(this);
393:         // }
394:
395:         // public ASeqEnumSeqExpAssistantInterpreter createASeqEnumSeqExpAssistant()
396:         // {
397:         // return new ASeqEnumSeqExpAssistantInterpreter(this);
398:         // }
399:         //
400:         // public ASetCompSetExpAssistantInterpreter createASetCompSetExpAssistant()
401:         // {
402:         // return new ASetCompSetExpAssistantInterpreter(this);
403:         // }
404:         //
405:         // public ASetEnumSetExpAssistantInterpreter createASetEnumSetExpAssistant()
406:         // {
407:         // return new ASetEnumSetExpAssistantInterpreter(this);
408:         // }
409:         //
410:         // public ASetRangeSetExpAssistantInterpreter createASetRangeSetExpAssistant()
411:         // {
412:         // return new ASetRangeSetExpAssistantInterpreter(this);
413:         // }
414:         //
415:         // public ASubseqExpAssistantInterpreter createASubseqExpAssistant()
416:         // {
417:         // return new ASubseqExpAssistantInterpreter(this);
418:         // }
419:         //
420:         // public ATupleExpAssistantInterpreter createATupleExpAssistant()
421:         // {
422:         // return new ATupleExpAssistantInterpreter(this);
423:         // }
424:         //
425:         // public AVariableExpAssistantInterpreter createAVariableExpAssistant()
426:         // {
427:         // return new AVariableExpAssistantInterpreter(this);
428:         // }
429:
430:         public PExpAssistantInterpreter createPExpAssistant()
431:         {
432:                 return new PExpAssistantInterpreter(this);
433:         }
434:
435:         // public SBinaryExpAssistantInterpreter createSBinaryExpAssistant()
436:         // {
437:         // return new SBinaryExpAssistantInterpreter(this);
438:         // }
439:         //
440:         // public SMapExpAssistantInterpreter createSMapExpAssistant()
441:         // {
442:         // return new SMapExpAssistantInterpreter(this);
443:         // }
444:         //
445:         // public SSeqExpAssistantInterpreter createSSeqExpAssistant()
446:         // {
447:         // return new SSeqExpAssistantInterpreter(this);
448:         // }
449:         //
450:         // public SSetExpAssistantInterpreter createSSetExpAssistant()
451:         // {
452:         // return new SSetExpAssistantInterpreter(this);
453:         // }
454:         //
455:         // public SUnaryExpAssistantInterpreter createSUnaryExpAssistant()
456:         // {
457:         // return new SUnaryExpAssistantInterpreter(this);
458:         // }
459:
460:         // module
461:
462:         public AModuleModulesAssistantInterpreter createAModuleModulesAssistant()
463:         {
464:                 return new AModuleModulesAssistantInterpreter(this);
465:         }
466:
467:         public ModuleListAssistantInterpreter createModuleListAssistant()
468:         {
469:                 return new ModuleListAssistantInterpreter(this);
470:         }
471:
472:         // pattern
473:
474:         // public ABooleanPatternAssistantInterpreter createABooleanPatternAssistant()
475:         // {
476:         // return new ABooleanPatternAssistantInterpreter(this);
477:         // }
478:         //
479:         // public ACharacterPatternAssistantInterpreter createACharacterPatternAssistant()
480:         // {
481:         // return new ACharacterPatternAssistantInterpreter(this);
482:         // }
483:         //
484:         // public AConcatenationPatternAssistantInterpreter createAConcatenationPatternAssistant()
485:         // {
486:         // return new AConcatenationPatternAssistantInterpreter(this);
487:         // }
488:         //
489:         // public AExpressionPatternAssistantInterpreter createAExpressionPatternAssistant()
490:         // {
491:         // return new AExpressionPatternAssistantInterpreter(this);
492:         // }
493:         //
494:         // public AIdentifierPatternAssistantInterpreter createAIdentifierPatternAssistant()
495:         // {
496:         // return new AIdentifierPatternAssistantInterpreter(this);
497:         // }
498:         //
499:         // public AIgnorePatternAssistantInterpreter createAIgnorePatternAssistant()
500:         // {
501:         // return new AIgnorePatternAssistantInterpreter(this);
502:         // }
503:         //
504:         // public AIntegerPatternAssistantInterpreter createAIntegerPatternAssistant()
505:         // {
506:         // return new AIntegerPatternAssistantInterpreter(this);
507:         // }
508:         //
509:         // public AMapPatternAssistantInterpreter createAMapPatternAssistant()
510:         // {
511:         // return new AMapPatternAssistantInterpreter(this);
512:         // }
513:
514:         public AMapPatternMapletAssistantInterpreter createAMapPatternMapletAssistant(String fromModule)
515:         {
516:                 return new AMapPatternMapletAssistantInterpreter(this, fromModule);
517:         }
518:
519:         // public AMapUnionPatternAssistantInterpreter createAMapUnionPatternAssistant()
520:         // {
521:         // return new AMapUnionPatternAssistantInterpreter(this);
522:         // }
523:
524:         // public ANilPatternAssistantInterpreter createANilPatternAssistant()
525:         // {
526:         // return new ANilPatternAssistantInterpreter(this);
527:         // }
528:
529:         // public ARealPatternAssistantInterpreter createARealPatternAssistant()
530:         // {
531:         // return new ARealPatternAssistantInterpreter(this);
532:         // }
533:
534:         // public ARecordPatternAssistantInterpreter createARecordPatternAssistant()
535:         // {
536:         // return new ARecordPatternAssistantInterpreter(this);
537:         // }
538:
539:         // public ASeqPatternAssistantInterpreter createASeqPatternAssistant()
540:         // {
541:         // return new ASeqPatternAssistantInterpreter(this);
542:         // }
543:
544:         // public ASetBindAssistantInterpreter createASetBindAssistant()
545:         // {
546:         // return new ASetBindAssistantInterpreter(this);
547:         // }
548:
549:         // public ASetMultipleBindAssistantInterpreter createASetMultipleBindAssistant()
550:         // {
551:         // return new ASetMultipleBindAssistantInterpreter(this);
552:         // }
553:
554:         // public ASetPatternAssistantInterpreter createASetPatternAssistant()
555:         // {
556:         // return new ASetPatternAssistantInterpreter(this);
557:         // }
558:
559:         // public AStringPatternAssistantInterpreter createAStringPatternAssistant()
560:         // {
561:         // return new AStringPatternAssistantInterpreter(this);
562:         // }
563:
564:         // public ATuplePatternAssistantInterpreter createATuplePatternAssistant()
565:         // {
566:         // return new ATuplePatternAssistantInterpreter(this);
567:         // }
568:
569:         // public ATypeBindAssistantInterpreter createATypeBindAssistant()
570:         // {
571:         // return new ATypeBindAssistantInterpreter(this);
572:         // }
573:
574:         // public ATypeMultipleBindAssistantInterpreter createATypeMultipleBindAssistant()
575:         // {
576:         // return new ATypeMultipleBindAssistantInterpreter(this);
577:         // }
578:
579:         // public AUnionPatternAssistantInterpreter createAUnionPatternAssistant()
580:         // {
581:         // return new AUnionPatternAssistantInterpreter(this);
582:         // }
583:
584:         public PBindAssistantInterpreter createPBindAssistant()
585:         {
586:                 return new PBindAssistantInterpreter(this);
587:         }
588:
589:         public PMultipleBindAssistantInterpreter createPMultipleBindAssistant()
590:         {
591:                 return new PMultipleBindAssistantInterpreter(this);
592:         }
593:
594:         public PPatternAssistantInterpreter createPPatternAssistant(String fromModule)
595:         {
596:                 return new PPatternAssistantInterpreter(this, fromModule);
597:         }
598:
599: //        public PPatternListAssistantInterpreter createPPatternListAssistant()
600: //        {
601: //                return new PPatternListAssistantInterpreter(this);
602: //        }
603:
604:         // statement
605:
606:         // public AAlwaysStmAssistantInterpreter createAAlwaysStmAssistant()
607:         // {
608:         // return new AAlwaysStmAssistantInterpreter(this);
609:         // }
610:         //
611:         // public AAssignmentStmAssistantInterpreter createAAssignmentStmAssistant()
612:         // {
613:         // return new AAssignmentStmAssistantInterpreter(this);
614:         // }
615:         //
616:         // public AAtomicStmAssistantInterpreter createAAtomicStmAssistant()
617:         // {
618:         // return new AAtomicStmAssistantInterpreter(this);
619:         // }
620:         //
621:         // public ACallObjectStatementAssistantInterpreter createACallObjectStatementAssistant()
622:         // {
623:         // return new ACallObjectStatementAssistantInterpreter(this);
624:         // }
625:         //
626:         // public ACallStmAssistantInterpreter createACallStmAssistant()
627:         // {
628:         // return new ACallStmAssistantInterpreter(this);
629:         // }
630:
631:         //        public ACaseAlternativeStmAssistantInterpreter createACaseAlternativeStmAssistant()
632:         //        {
633:         //                return new ACaseAlternativeStmAssistantInterpreter(this);
634:         //        }
635:
636:         // public ACasesStmAssistantInterpreter createACasesStmAssistant()
637:         // {
638:         // return new ACasesStmAssistantInterpreter(this);
639:         // }
640:         //
641:         // public ACyclesStmAssistantInterpreter createACyclesStmAssistant()
642:         // {
643:         // return new ACyclesStmAssistantInterpreter(this);
644:         // }
645:         //
646:         // public ADurationStmAssistantInterpreter createADurationStmAssistant()
647:         // {
648:         // return new ADurationStmAssistantInterpreter(this);
649:         // }
650:         //
651:         // public AElseIfStmAssistantInterpreter createAElseIfStmAssistant()
652:         // {
653:         // return new AElseIfStmAssistantInterpreter(this);
654:         // }
655:         //
656:         // public AExitStmAssistantInterpreter createAExitStmAssistant()
657:         // {
658:         // return new AExitStmAssistantInterpreter(this);
659:         // }
660:         //
661:         // public AForAllStmAssistantInterpreter createAForAllStmAssistant()
662:         // {
663:         // return new AForAllStmAssistantInterpreter(this);
664:         // }
665:         //
666:         // public AForIndexStmAssistantInterpreter createAForIndexStmAssistant()
667:         // {
668:         // return new AForIndexStmAssistantInterpreter(this);
669:         // }
670:         //
671:         // public AForPatternBindStmAssitantInterpreter createAForPatternBindStmAssitant()
672:         // {
673:         // return new AForPatternBindStmAssitantInterpreter(this);
674:         // }
675:         //
676:         // public AIfStmAssistantInterpreter createAIfStmAssistant()
677:         // {
678:         // return new AIfStmAssistantInterpreter(this);
679:         // }
680:         //
681:         // public ALetBeStStmAssistantInterpreter createALetBeStStmAssistant()
682:         // {
683:         // return new ALetBeStStmAssistantInterpreter(this);
684:         // }
685:         //
686:         // public AReturnStmAssistantInterpreter createAReturnStmAssistant()
687:         // {
688:         // return new AReturnStmAssistantInterpreter(this);
689:         // }
690:
691: //        public AStartStmAssistantInterpreter createAStartStmAssistant()
692: //        {
693: //                return new AStartStmAssistantInterpreter(this);
694: //        }
695:
696:         // public ATixeStmAssistantInterpreter createATixeStmAssistant()
697:         // {
698:         // return new ATixeStmAssistantInterpreter(this);
699:         // }
700:         //
701: //        public ATixeStmtAlternativeAssistantInterpreter createATixeStmtAlternativeAssistant()
702: //        {
703: //                return new ATixeStmtAlternativeAssistantInterpreter(this);
704: //        }
705:
706:         //
707:         // public ATrapStmAssistantInterpreter createATrapStmAssistant()
708:         // {
709:         // return new ATrapStmAssistantInterpreter(this);
710:         // }
711:         //
712:         // public AWhileStmAssistantInterpreter createAWhileStmAssistant()
713:         // {
714:         // return new AWhileStmAssistantInterpreter(this);
715:         // }
716:
717:         public PStmAssistantInterpreter createPStmAssistant()
718:         {
719:                 return new PStmAssistantInterpreter(this);
720:         }
721:
722:         // public SLetDefStmAssistantInterpreter createSLetDefStmAssistant()
723:         // {
724:         // return new SLetDefStmAssistantInterpreter(this);
725:         // }
726:
727:         // type
728:
729:         // public ABooleanBasicTypeAssistantInterpreter createABooleanBasicTypeAssistant()
730:         // {
731:         // return new ABooleanBasicTypeAssistantInterpreter(this);
732:         // }
733:         //
734:         // public AInMapMapTypeAssistantInterpreter createAInMapMapTypeAssistant()
735:         // {
736:         // return new AInMapMapTypeAssistantInterpreter(this);
737:         // }
738:         //
739:         // public ANamedInvariantTypeAssistantInterpreter createANamedInvariantTypeAssistant()
740:         // {
741:         // return new ANamedInvariantTypeAssistantInterpreter(this);
742:         // }
743:         //
744:         // public AOptionalTypeAssistantInterpreter createAOptionalTypeAssistant()
745:         // {
746:         // return new AOptionalTypeAssistantInterpreter(this);
747:         // }
748:         //
749:         // public AParameterTypeAssistantInterpreter createAParameterTypeAssistant()
750:         // {
751:         // return new AParameterTypeAssistantInterpreter(this);
752:         // }
753:         //
754:         // public AProductTypeAssistantInterpreter createAProductTypeAssistant()
755:         // {
756:         // return new AProductTypeAssistantInterpreter(this);
757:         // }
758:         //
759:         // public AQuoteTypeAssistantInterpreter createAQuoteTypeAssistant()
760:         // {
761:         // return new AQuoteTypeAssistantInterpreter(this);
762:         // }
763:         //
764:         // public ARecordInvariantTypeAssistantInterpreter createARecordInvariantTypeAssistant()
765:         // {
766:         // return new ARecordInvariantTypeAssistantInterpreter(this);
767:         // }
768:         //
769:         // public ASetTypeAssistantInterpreter createASetTypeAssistant()
770:         // {
771:         // return new ASetTypeAssistantInterpreter(this);
772:         // }
773:         //
774:         // public AUnionTypeAssistantInterpreter createAUnionTypeAssistant()
775:         // {
776:         // return new AUnionTypeAssistantInterpreter(this);
777:         // }
778:
779:         public PTypeAssistantInterpreter createPTypeAssistant()
780:         {
781:                 return new PTypeAssistantInterpreter(this);
782:         }
783:
784: //        public PTypeListAssistant createPTypeListAssistant()
785: //        {
786: //                return new PTypeListAssistant(this);
787: //        }
788:
789:         // public SBasicTypeAssistantInterpreter createSBasicTypeAssistant()
790:         // {
791:         // return new SBasicTypeAssistantInterpreter(this);
792:         // }
793:
794:         public SInvariantTypeAssistantInterpreter createSInvariantTypeAssistant()
795:         {
796:                 return new SInvariantTypeAssistantInterpreter(this);
797:         }
798:
799:         // public SMapTypeAssistantInterpreter createSMapTypeAssistant()
800:         // {
801:         // return new SMapTypeAssistantInterpreter(this);
802:         // }
803:
804:         @Override
805:         public IAnswer<LexNameList> getOldNameCollector()
806:         {
807:                 return new OldNameCollector(this);
808:         }
809:
810:         @Override
811:         public QuestionAnswerAdaptor<BindState, ValueList> getBindValuesCollector()
812:         {
813:                 return new MultipleBindValuesCollector(this);
814:         }
815:
816:         @Override
817:         public QuestionAnswerAdaptor<ObjectContext, ValueList> getValueCollector()
818:         {
819:                 return new ValueCollector(this);
820:         }
821:
822:         @Override
823:         public IAnswer<List<AIdentifierPattern>> getIdentifierPatternFinder()
824:         {
825:                 return new IdentifierPatternFinder(this);
826:         }
827:
828:         @Override
829:         public IAnswer<Integer> getLengthFinder()
830:         {
831:                 return new LengthFinder(this);
832:         }
833:
834:         @Override
835:         public IAnswer<Boolean> getConstrainedPatternChecker()
836:         {
837:                 return new ConstrainedPatternChecker(this);
838:         }
839:
840:         @Override
841:         public QuestionAnswerAdaptor<AllNamedValuesLocator.Newquestion, List<NameValuePairList>> getAllNamedValuesLocator(String fromModule)
842:         {
843:                 return new AllNamedValuesLocator(this, fromModule);
844:         }
845:
846:         @Override
847:         public QuestionAnswerAdaptor<Context, NameValuePairList> getNamedValueLister()
848:         {
849:                 return new NamedValueLister(this);
850:         }
851:
852:         @Override
853:         public QuestionAnswerAdaptor<Integer, PExp> getExpressionFinder()
854:         {
855:                 return new ExpressionFinder(this);
856:         }
857:
858:         @Override
859:         public IQuestionAnswer<ObjectContext, ValueList> getValuesDefinitionLocator()
860:         {
861:                 return new ValuesDefinitionLocator(this);
862:         }
863:
864:         @Override
865:         public IAnswer<Boolean> getTypeDefinitionChecker()
866:         {
867:                 return new TypeDefinitionChecker(this);
868:         }
869:
870:         @Override
871:         public IAnswer<Boolean> getDefinitionRunTimeChecker()
872:         {
873:                 return new DefinitionRunTimeChecker(this);
874:         }
875:
876:         @Override
877:         public IAnswer<Boolean> getDefintionValueChecker()
878:         {
879:                 return new DefinitionValueChecker(this);
880:         }
881:
882:         @Override
883:         public IAnswer<Boolean> getInstanceVariableChecker()
884:         {
885:                 return new InstanceVariableChecker(this);
886:         }
887:
888:         @Override
889:         public IQuestionAnswer<Integer, PStm> getDefinitionStatementFinder()
890:         {
891:                 return new DefinitionStatementFinder(this);
892:         }
893:
894:         @Override
895:         public IQuestionAnswer<Context, TraceNode> getTraceExpander()
896:         {
897:                 return new TraceExpander(this);
898:         }
899:
900:         @Override
901:         public IQuestionAnswer<Integer, PExp> getStatementExpressionFinder()
902:         {
903:                 return new StatementExpressionFinder(this);
904:         }
905:
906:         @Override
907:         public IQuestionAnswer<Integer, PStm> getStatementFinder()
908:         {
909:                 return new StatementFinder(this);
910:         }
911:
912:         @Override
913:         public IQuestionAnswer<ObjectContext, ValueList> getExpressionValueCollector()
914:         {
915:                 return new ExpressionValueCollector(this);
916:         }
917:
918:         @Override
919:         public IQuestionAnswer<Integer, PExp> getExpExpressionFinder()
920:         {
921:                 return new ExpExpressionFinder(this);
922:         }
923:
924:         @Override
925:         public IAnswer<List<PExp>> getSubExpressionsLocator()
926:         {
927:                 return new SubExpressionsLocator(this);
928:         }
929:
930:         @Override
931:         public IQuestionAnswer<BindState, ValueList> getSingleBindValuesCollector()
932:         {
933:                 return new SingleBindValuesCollector(this);
934:         }
935:
936:         @Override
937:         public IQuestionAnswer<ObjectContext, ValueList> getBindValueCollector()
938:         {
939:                 return new BindValueCollector(this);
940:         }
941:
942:         @Override
943:         public IQuestionAnswer<Context, ValueList> getAllValuesCollector()
944:         {
945:                 return new AllValuesCollector(this);
946:         }
947:
948:         @Override
949:         public IQuestionAnswer<Context, PType> getAllConcreteTypeInstantiator()
950:         {
951:                 return new ConcreteTypeInstantiator(this);
952:         }
953: }