public static final class Notation.StoreNotation extends Notation.HeapConstructorNotation
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 |
---|
StoreNotation() |
Modifier and Type | Method and Description |
---|---|
void |
print(Term t,
LogicPrinter sp)
Print a term to a
LogicPrinter . |
void |
printEmbeddedHeap(Term t,
LogicPrinter sp) |
getPriority, printContinuingBlock
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.HeapConstructorNotation
IOException
public void printEmbeddedHeap(Term t, LogicPrinter sp) throws IOException
printEmbeddedHeap
in class Notation.HeapConstructorNotation
IOException