- // WHY WHY WHY WHY WHY WHY?!
- public String getDescription() {
- return new String( description );
- //return new String( description+" ID "+getIDString() );
+ return null;
+ }
+
+
+ public TypeDescriptor getType() {
+ return type;
+ }
+
+ public AllocationSite getAllocationSite() {
+ return allocSite;
+ }
+
+
+ public void setAlpha(ReachabilitySet alpha) {
+ this.alpha = alpha;
+ }
+
+ public ReachabilitySet getAlpha() {
+ return alpha;
+ }
+
+ public ReachabilitySet getAlphaNew() {
+ return alphaNew;
+ }
+
+ public void setAlphaNew(ReachabilitySet alpha) {
+ this.alphaNew = alpha;
+ }
+
+ public void applyAlphaNew() {
+ assert alphaNew != null;
+ alpha = alphaNew;
+ alphaNew = new ReachabilitySet().makeCanonical();
+ }
+
+
+ public String getIDString() {
+ String s;
+
+ if( id < 0 ) {
+ s = "minus" + new Integer(-id).toString();
+ } else {
+ s = id.toString();