diff options
Diffstat (limited to 'org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java')
| -rw-r--r-- | org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java b/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java index ad932ac..93bf3be 100644 --- a/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java +++ b/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java @@ -11,9 +11,13 @@ package org.eclipse.cdt.codan.extension; import java.util.Collections; +import java.util.HashMap; import java.util.HashSet; +import java.util.Map; import java.util.Set; +import org.eclipse.cdt.core.dom.ast.IVariable; + public class SymbolicState { private Set<PropertyState> propertyStates; private ExecutionState executionState; @@ -45,6 +49,9 @@ public class SymbolicState { for (ExecutionStateClause cl : executionState.getClauses()) { es.addClause(cl); } + Map<IVariable, Boolean> truthAssignments = new HashMap<IVariable, Boolean>(executionState.getTruthAssignments()); + es.setTruthAssignments(truthAssignments); + return new SymbolicState(ps, es); } |