changes: now variable ownership is in the part of the type extension.
authoryeom <yeom>
Tue, 9 Aug 2011 02:36:36 +0000 (02:36 +0000)
committeryeom <yeom>
Tue, 9 Aug 2011 02:36:36 +0000 (02:36 +0000)
commit8ba79a42dd7cc1004f9a6f0669ad7619c93c80d5
tree04538141693c24661424892a8f8b150d6d7447eb
parentd581e7128234bf681f3339f0eb4b96927752d043
changes: now variable ownership is in the part of the type extension.
Robust/src/Analysis/SSJava/LinearTypeCheck.java
Robust/src/ClassLibrary/SSJava/String.java