de.uka.ilkd.key.pp

Class CharListNotation

java.lang.Object

de.uka.ilkd.key.pp.Notation

de.uka.ilkd.key.pp.CharListNotation

public final class CharListNotation
extends Notation

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.pp.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 Summary

Constructors

Constructor and Description
CharListNotation()

Method Summary

Modifier and Type	Method and Description
void	print(Term t, LogicPrinter sp) Print a term to a LogicPrinter.
private StringBuffer	printlastfirst(Term t)
private String	translateCharTerm(Term t)
private String	translateTerm(Term t) translates a term that represents a string literal into a string that is enclosed by quotation marks

Methods inherited from class de.uka.ilkd.key.pp.Notation

getPriority, printContinuingBlock

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CharListNotation

public CharListNotation()

Method Detail

print

public void print(Term t,
                  LogicPrinter sp)
           throws IOException

Description copied from class: Notation

Print a term to a LogicPrinter. Concrete subclasses override this to call one of the printXYZTerm of LogicPrinter, which do the layout.

Specified by:

print in class Notation

Throws:

IOException

printlastfirst

private StringBuffer printlastfirst(Term t)

translateCharTerm

private String translateCharTerm(Term t)

translateTerm

private String translateTerm(Term t)

translates a term that represents a string literal into a string that is enclosed by quotation marks