/* * Supposedly Protected Members */ public override PUC.Dependency.Comparison CompareEquals(EqualsDependency d) { if (_isRef != d.IsReference) { return(Comparison.Disjoint); } if (_isRef) { if (this.ReferenceState == d.ReferenceState) { return(Comparison.Same); } else { return(Comparison.Disjoint); } } else { if (State.Type.ValueSpace.CompareValues(this.Value, d.Value) == 0) { return(Comparison.Same); } else { return(Comparison.Disjoint); } } }
public abstract Dependency.Comparison CompareEquals(EqualsDependency d);
/* * Supposedly Protected Member Methods */ public override PUC.Dependency.Comparison CompareEquals(EqualsDependency d) { return(d.CompareLessThan(this)); }
/* * Supposedly Protected Methods */ public override PUC.Dependency.Comparison CompareEquals(EqualsDependency d) { return(Dependency.Comparison.Disjoint); }
/* * Supposedly Protected Member Methods */ public override PUC.Dependency.Comparison CompareEquals(EqualsDependency d) { System.Diagnostics.Debug.Assert(d.State == State); return(Dependency.Comparison.Overlap); }