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 and Type | Field and Description |
---|---|
private int |
assLeft |
private int |
assRight |
private String |
name |
Constructor and Description |
---|
Notation.Infix(String name,
int prio,
int assLeft,
int assRight) |
Modifier and Type | Method and Description |
---|---|
void |
print(Term t,
LogicPrinter sp)
Print a term to a
LogicPrinter . |
void |
printContinuingBlock(Term t,
LogicPrinter sp)
Print a term without beginning a new block.
|
getPriority
private final String name
private final int assLeft
private final int assRight
public Notation.Infix(String name, int prio, int assLeft, int assRight)
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 printContinuingBlock(Term t, LogicPrinter sp) throws IOException
LogicPrinter.printTermContinuingBlock(Term)
method.printContinuingBlock
in class Notation
IOException