projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
changes: fixes the case that a shared location appears in the middle of a composite...
[IRC.git]
/
Robust
/
src
/
Analysis
/
SSJava
/
NodeTupleSet.java
diff --git
a/Robust/src/Analysis/SSJava/NodeTupleSet.java
b/Robust/src/Analysis/SSJava/NodeTupleSet.java
index c8e80cb75513f71c74e2347a9cf3c1e2d95a239c..450849a2c0d9d861f32065c806c4b6853d2dba28 100644
(file)
--- a/
Robust/src/Analysis/SSJava/NodeTupleSet.java
+++ b/
Robust/src/Analysis/SSJava/NodeTupleSet.java
@@
-35,6
+35,10
@@
public class NodeTupleSet {
globalLocTupleList.add(tuple);
}
globalLocTupleList.add(tuple);
}
+ public void addGlobalFlowTupleSet(ArrayList<NTuple<Location>> in) {
+ globalLocTupleList.addAll(in);
+ }
+
public Iterator<NTuple<Location>> globalIterator() {
return globalLocTupleList.iterator();
}
public Iterator<NTuple<Location>> globalIterator() {
return globalLocTupleList.iterator();
}
@@
-88,6
+92,10
@@
public class NodeTupleSet {
globalLocTupleList = in;
}
globalLocTupleList = in;
}
+ public ArrayList<NTuple<Location>> getGlobalLocTupleSet() {
+ return globalLocTupleList;
+ }
+
private void setDescTupleList(ArrayList<NTuple<Descriptor>> in) {
list = in;
}
private void setDescTupleList(ArrayList<NTuple<Descriptor>> in) {
list = in;
}