예제 #1
0
파일: Term.cs 프로젝트: thisiscam/formula
 /// <summary>
 /// Expects this to be a type term. If not an InvalidOperationException will be thrown.
 /// </summary>
 public void PrintTypeTerm(
     TextWriter wr,
     System.Threading.CancellationToken cancel = default(System.Threading.CancellationToken),
     EnvParams envParams = null)
 {
     TermPrinting.PrintTypeTerm(this, wr, cancel, envParams);
 }
예제 #2
0
파일: Term.cs 프로젝트: thisiscam/formula
        /// <summary>
        /// Expects this to be a type term. If not an InvalidOperationException will be thrown.
        /// </summary>
        public string PrintTypeTerm(
            System.Threading.CancellationToken cancel = default(System.Threading.CancellationToken),
            EnvParams envParams = null)
        {
            var sw = new StringWriter();

            TermPrinting.PrintTypeTerm(this, sw, cancel, envParams);
            return(sw.ToString());
        }