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