de.uka.ilkd.key.pp

Class Notation.ObserverNotation

java.lang.Object

de.uka.ilkd.key.pp.Notation

de.uka.ilkd.key.pp.Notation.ObserverNotation

Direct Known Subclasses:

Notation.SelectNotation

Enclosing class:

Notation

static class Notation.ObserverNotation
extends Notation

The standard concrete syntax for observer function terms.

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

Modifier	Constructor and Description
	ObserverNotation()
protected	ObserverNotation(int assoc)

Method Summary

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)

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

ObserverNotation

public ObserverNotation()

ObserverNotation

protected ObserverNotation(int assoc)

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

printWithHeap

public void printWithHeap(Term t,
                          LogicPrinter sp,
                          Term heapTerm)
                   throws IOException

Throws:

IOException