de.uka.ilkd.key.pp

Class Notation.StoreNotation

java.lang.Object

de.uka.ilkd.key.pp.Notation

de.uka.ilkd.key.pp.Notation.HeapConstructorNotation

de.uka.ilkd.key.pp.Notation.StoreNotation

Enclosing class:

Notation

public static final class Notation.StoreNotation
extends Notation.HeapConstructorNotation

The standard concrete syntax for store.

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
StoreNotation()

Method Summary

Modifier and Type	Method and Description
void	print(Term t, LogicPrinter sp) Print a term to a LogicPrinter.
void	printEmbeddedHeap(Term t, LogicPrinter sp)

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

StoreNotation

public StoreNotation()

Method Detail

print

public void print(Term t,
                  LogicPrinter sp)
           throws java.io.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.

Overrides:

print in class Notation.HeapConstructorNotation

Throws:

java.io.IOException

printEmbeddedHeap

public void printEmbeddedHeap(Term t,
                              LogicPrinter sp)
                       throws java.io.IOException

Overrides:

printEmbeddedHeap in class Notation.HeapConstructorNotation

Throws:

java.io.IOException