changes: now, the annotated SSJava class library passes the flow-down rule checking.
authoryeom <yeom>
Fri, 29 Apr 2011 23:42:00 +0000 (23:42 +0000)
committeryeom <yeom>
Fri, 29 Apr 2011 23:42:00 +0000 (23:42 +0000)
commit28ba27af212c85e959199cd7bf50a77e3634f178
tree38866a1265b3c566bd6d4195dcf15b1ec2014dc2
parent68709b7a908d8cadedeecb9ca23293d9aaf54b5e
changes: now, the annotated SSJava class library passes the flow-down rule checking.
Robust/src/Analysis/SSJava/CompositeLocation.java
Robust/src/Analysis/SSJava/FlowDownCheck.java
Robust/src/Analysis/SSJava/NTuple.java
Robust/src/ClassLibrary/SSJava/Object.java
Robust/src/ClassLibrary/SSJava/String.java