internal bool AddPrecedent(Precedent precedent)
{
lock (this)
{
if (_status == StatusType.UPDATING)
{
_firstPrecedent = new PrecedentNode {
Precedent = precedent, Next = _firstPrecedent
};
return(true);
}
else if (_status != StatusType.UPDATING_AND_OUT_OF_DATE)
{
Debug.Assert(false, "Unexpected state in AddPrecedent");
}
return(false);
}
}
public PrecedentSummarizer(Precedent self)
{
_precedentsAtThisLevel = new List<Precedent>();
_precedentsAtThisLevel.Add(self);
}
internal bool AddPrecedent( Precedent precedent )
{
lock ( this )
{
if ( _status == StatusType.UPDATING )
{
_firstPrecedent = new PrecedentNode { Precedent = precedent, Next = _firstPrecedent };
return true;
}
else if ( _status != StatusType.UPDATING_AND_OUT_OF_DATE )
Debug.Assert( false, "Unexpected state in AddPrecedent" );
return false;
}
}
public PrecedentSummarizer(Precedent self)
{
_precedentsAtThisLevel = new List <Precedent>();
_precedentsAtThisLevel.Add(self);
}
public DependentVisualizer(Precedent self)
{
_self = self;
}
public DependentVisualizer(Precedent self) { _self = self; }
