Package: StatefulContext

StatefulContext

nameinstructionbranchcomplexitylinemethod
StatefulContext()
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
StatefulContext(IPOContextStack)
M: 0 C: 17
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
getLast_vars()
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%
isStateful()
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.pog.contexts;
2:
3: import java.util.HashMap;
4: import java.util.List;
5: import java.util.Map;
6:
7: import org.overture.ast.expressions.AVariableExp;
8: import org.overture.ast.intf.lex.ILexNameToken;
9: import org.overture.pog.pub.IPOContextStack;
10: import org.overture.pog.utility.Substitution;
11: import org.overture.pog.utility.UniqueNameGenerator;
12:
13: public abstract class StatefulContext extends POContext
14: {
15:         boolean first = true;
16:
17:         public StatefulContext()
18:         {
19:
20:         }
21:
22:         public StatefulContext(IPOContextStack ctxt)
23:         {
24:•                this.last_vars = ctxt.getLast_Vars() == null ? new HashMap<ILexNameToken, AVariableExp>()
25:                                 : ctxt.getLast_Vars();
26:         }
27:
28:         protected Map<ILexNameToken, AVariableExp> last_vars;
29:         protected UniqueNameGenerator gen;
30:         List<Substitution> subs;
31:
32:         @Override
33:         public boolean isStateful()
34:         {
35:                 return true;
36:         }
37:
38:         public Map<ILexNameToken, AVariableExp> getLast_vars()
39:         {
40:                 return last_vars;
41:         }
42:
43: }