projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Added some functionality to reachability classes that is apparently
[IRC.git]
/
Robust
/
src
/
Analysis
/
OwnershipAnalysis
/
TokenTuple.java
diff --git
a/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
b/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
index f198a0a08ea505072c875efe888504e376ca168e..cd2f248b597e531c6c96f5a498a1ca612539431a 100644
(file)
--- a/
Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
+++ b/
Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
@@
-72,11
+72,11
@@
public class TokenTuple extends Canonical
s = "S";
}
- String t = "
1
";
+ String t = "";
if( arity == ARITY_MANY ) {
- t = "
M
";
+ t = "
*
";
}
- return new String(
"<"+token+s+","+t+">"
);
+ return new String(
token+s+t
);
}
}