Robust/src/Analysis/OwnershipAnalysis/ReferenceEdgeProperties.java

   1 package Analysis.OwnershipAnalysis;
   2
   3 public class ReferenceEdgeProperties {
   4
   5     public ReferenceEdgeProperties() {
   6         this.isUnique                = false;
   7         this.isInitialParamReflexive = false;
   8     }
   9
  10     public ReferenceEdgeProperties( boolean isUnique ) {
  11         this.isUnique                = isUnique;
  12         this.isInitialParamReflexive = false;
  13     }
  14
  15     public ReferenceEdgeProperties( boolean isUnique,
  16                                     boolean isInitialParamReflexive ) {
  17         this.isUnique                = isUnique;
  18         this.isInitialParamReflexive = isInitialParamReflexive;
  19     }
  20
  21
  22     public ReferenceEdgeProperties copy() {
  23         return new ReferenceEdgeProperties( isUnique,
  24                                             isInitialParamReflexive );
  25     }
  26
  27
  28     protected boolean isUnique;
  29     public boolean isUnique() {
  30         return isUnique;
  31     }
  32     public void setIsUnique( boolean isUnique ) {
  33         this.isUnique = isUnique;
  34     }
  35
  36
  37     protected boolean isInitialParamReflexive;
  38     public boolean isInitialParamReflexive() {
  39         return isInitialParamReflexive;
  40     }
  41     public void setIsInitialParamReflexive( boolean isInitialParamReflexive ) {
  42         this.isInitialParamReflexive = isInitialParamReflexive;
  43     }
  44
  45
  46     public boolean equals( ReferenceEdgeProperties rep ) {
  47         return isUnique                == rep.isUnique()                &&
  48                isInitialParamReflexive == rep.isInitialParamReflexive();
  49     }
  50 }