Robust/src/Analysis/OwnershipAnalysis/ReferenceEdgeProperties.java

   1 package Analysis.OwnershipAnalysis;
   2
   3 public class ReferenceEdgeProperties {
   4
   5     /*
   6     public ReferenceEdgeProperties( boolean isUnique ) {
   7         this.isUnique = isUnique;
   8     }
   9
  10     public ReferenceEdgeProperties copy() {
  11         return new ReferenceEdgeProperties( isUnique );
  12     }
  13
  14
  15     /////////////////
  16     // equality
  17     /////////////////
  18     protected boolean isUnique;
  19
  20     public boolean isUnique() {
  21         return isUnique;
  22     }
  23
  24     public boolean equals( ReferenceEdgeProperties rep ) {
  25         return isUnique == rep.isUnique();
  26     }
  27     /////////////////
  28     // end equality
  29     /////////////////
  30
  31
  32     public void setIsUnique( boolean isUnique ) {
  33         this.isUnique = isUnique;
  34     }
  35     */
  36 }