1 package Analysis.OwnershipAnalysis;
3 public class ReferenceEdgeProperties {
5 public ReferenceEdgeProperties() {
7 this.isInitialParamReflexive = false;
8 this.beta = new ReachabilitySet();
11 public ReferenceEdgeProperties( boolean isUnique ) {
12 this.isUnique = isUnique;
13 this.isInitialParamReflexive = false;
14 this.beta = new ReachabilitySet();
17 public ReferenceEdgeProperties( boolean isUnique,
18 boolean isInitialParamReflexive ) {
19 this.isUnique = isUnique;
20 this.isInitialParamReflexive = isInitialParamReflexive;
21 this.beta = new ReachabilitySet();
24 public ReferenceEdgeProperties( boolean isUnique,
25 boolean isInitialParamReflexive,
26 ReachabilitySet beta) {
27 this.isUnique = isUnique;
28 this.isInitialParamReflexive = isInitialParamReflexive;
33 public ReferenceEdgeProperties copy() {
34 return new ReferenceEdgeProperties( isUnique,
35 isInitialParamReflexive );
39 protected boolean isUnique;
40 public boolean isUnique() {
43 public void setIsUnique( boolean isUnique ) {
44 this.isUnique = isUnique;
48 protected boolean isInitialParamReflexive;
49 public boolean isInitialParamReflexive() {
50 return isInitialParamReflexive;
52 public void setIsInitialParamReflexive( boolean isInitialParamReflexive ) {
53 this.isInitialParamReflexive = isInitialParamReflexive;
57 protected ReachabilitySet beta;
58 public ReachabilitySet getBeta() {
61 public void setBeta( ReachabilitySet beta ) {
64 public String getBetaString() {
65 return beta.toStringEscapeNewline();
69 public boolean equals( ReferenceEdgeProperties rep ) {
70 return isUnique == rep.isUnique() &&
71 isInitialParamReflexive == rep.isInitialParamReflexive();