projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
changes.
[IRC.git]
/
Robust
/
src
/
Analysis
/
SSJava
/
CompositeLocation.java
diff --git
a/Robust/src/Analysis/SSJava/CompositeLocation.java
b/Robust/src/Analysis/SSJava/CompositeLocation.java
index 5308cb67ddaf4f9017dd8c95cbdd799911cc784d..f7e550c55ba7c8cc6f03989baf66c748f646d3c6 100644
(file)
--- a/
Robust/src/Analysis/SSJava/CompositeLocation.java
+++ b/
Robust/src/Analysis/SSJava/CompositeLocation.java
@@
-10,6
+10,10
@@
public class CompositeLocation implements TypeExtension {
locTuple = new NTuple<Location>();
}
+ public CompositeLocation(NTuple<Location> locTuple) {
+ this.locTuple = locTuple.clone();
+ }
+
public CompositeLocation(Location loc) {
locTuple = new NTuple<Location>();
locTuple.add(loc);