public static final class Notation.SelectNotation extends Notation.ObserverNotation
Notation.CastFunction, Notation.CharLiteral, Notation.Constant, Notation.ElementaryUpdateNotation, Notation.ElementOfNotation, Notation.FunctionNotation, Notation.HeapConstructorNotation, Notation.IfThenElse, Notation.Infix, Notation.LabelNotation, Notation.ModalityNotation, Notation.ModalSVNotation, Notation.NumLiteral, Notation.ObserverNotation, Notation.ParallelUpdateNotation, Notation.Postfix, Notation.Prefix, Notation.Quantifier, Notation.SchemaVariableNotation, Notation.SelectNotation, Notation.SeqConcatNotation, Notation.SeqGetNotation, Notation.SeqSingletonNotation, Notation.SingletonNotation, Notation.StoreNotation, Notation.Subst, Notation.UpdateApplicationNotation, Notation.VariableNotation
Constructor and Description |
---|
SelectNotation() |
Modifier and Type | Method and Description |
---|---|
void |
print(Term t,
LogicPrinter sp)
Print a term to a
LogicPrinter . |
void |
printWithHeap(Term t,
LogicPrinter sp,
Term heapTerm) |
getPriority, printContinuingBlock
public void print(Term t, LogicPrinter sp) throws java.io.IOException
Notation
LogicPrinter
. Concrete subclasses override
this to call one of the printXYZTerm
of
LogicPrinter
, which do the layout.print
in class Notation.ObserverNotation
java.io.IOException
public void printWithHeap(Term t, LogicPrinter sp, Term heapTerm) throws java.io.IOException
printWithHeap
in class Notation.ObserverNotation
java.io.IOException