Robust/src/Analysis/OwnershipAnalysis/ReferenceEdgeProperties.java

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