static class Notation.ObserverNotation extends Notation
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
Modifier | Constructor and Description |
---|---|
|
Notation.ObserverNotation() |
protected |
Notation.ObserverNotation(int assoc) |
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 Notation.ObserverNotation()
protected Notation.ObserverNotation(int assoc)
public void print(Term t, LogicPrinter sp) throws IOException
Notation
LogicPrinter
. Concrete subclasses override
this to call one of the printXYZTerm
of
LogicPrinter
, which do the layout.print
in class Notation
IOException
public void printWithHeap(Term t, LogicPrinter sp, Term heapTerm) throws IOException
IOException