public SourceInfo(SourceInfo o)
{
if (o == null)
{
source = null;
beginSrcLine = 0;
endSrcLine = 0;
}
else
{
source = o.source;
beginSrcLine = o.beginSrcLine;
endSrcLine = o.endSrcLine;
}
}
public override void SetSrcInfo(SourceInfo s)
{
base.SetSrcInfo(s);
}
/*
* Sets the source info of this term.
* s - The source info
*/
public virtual void SetSrcInfo(SourceInfo s)
{
srcInfo = s;
}
public void SetSrcInfo(SourceInfo s)
{
throw new NotImplementedException();
}
