ToTerm() public method

public ToTerm ( ) : Term
return Term
TermBuffer Class Documentation
Exemplo n.º 1
0
 /// <summary>
 /// Returns the previous Term enumerated. Initially <c>null</c>. </summary>
 internal Term Prev()
 {
     return(prevBuffer.ToTerm());
 }
Exemplo n.º 2
0
 /// <summary>
 /// Returns the current Term in the enumeration.
 /// Initially invalid, valid after <see cref="Next()"/> called for the first time.
 /// </summary>
 public Term Term()
 {
     return(termBuffer.ToTerm());
 }