DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

bug fix: add unary and nullary statements to equations set

This commit is contained in:
Manu Sridharan 2015-05-18 19:23:29 -07:00
parent d2b30fd7f0
commit 56909ee153
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
com.ibm.wala.util/src/com/ibm/wala/fixedpoint/impl/DefaultFixedPointSystem.java
View File

@ -46,7 +46,7 @@ public class DefaultFixedPointSystem<T extends IVariable<?>> implements IFixedPo
* equals() ... the NumberedGraph does not support this. TODO: use a custom
* NumberedNodeManager to save space
*/
final private Set<GeneralStatement<?>> equations = HashSetFactory.make();
final private Set<IFixedPointStatement<?>> equations = HashSetFactory.make();
/**
* We maintain a hash set of variables in order to check for equality with
@ -155,6 +155,7 @@ public class DefaultFixedPointSystem<T extends IVariable<?>> implements IFixedPo
IVariable<?> lhs = s.getLHS();
IVariable<?> rhs = s.getRightHandSide();
equations.add(s);
graph.addNode(s);
if (lhs != null) {
variables.add(lhs);
@ -176,6 +177,7 @@ public class DefaultFixedPointSystem<T extends IVariable<?>> implements IFixedPo
}
IVariable<?> lhs = s.getLHS();
equations.add(s);
graph.addNode(s);
if (lhs != null) {
variables.add(lhs);