public final class CharListNotation 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
Constructor and Description |
---|
CharListNotation() |
Modifier and Type | Method and Description |
---|---|
void |
print(Term t,
LogicPrinter sp)
Print a term to a
LogicPrinter . |
private java.lang.StringBuffer |
printlastfirst(Term t) |
private java.lang.String |
translateCharTerm(Term t) |
private java.lang.String |
translateTerm(Term t)
translates a term that represents a string literal into a string
that is enclosed by quotation marks
|
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.private java.lang.StringBuffer printlastfirst(Term t)
private java.lang.String translateCharTerm(Term t)
private java.lang.String translateTerm(Term t)