/*
* 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);
}
