de.uka.ilkd.key.pp

Class StorePrinter

java.lang.Object

de.uka.ilkd.key.pp.FieldPrinter

de.uka.ilkd.key.pp.StorePrinter

class StorePrinter
extends FieldPrinter

This class is used by LogicPrinter.java to print out store-terms, i.e. terms of the following form: store(heap, object, field, value)

Author:

Kai Wallisch

Field Summary

Fields inherited from class de.uka.ilkd.key.pp.FieldPrinter

lp

Constructor Summary

Constructors

Constructor and Description
StorePrinter(LogicPrinter lp)

Method Summary

Modifier and Type	Method and Description
private void	finishPrettyPrint(Term valueTerm, boolean closingBrace)
private void	initPrettyPrint(Term heapTerm)
(package private) void	printStore(Term t, boolean closingBrace)
private void	printStoreOnArrayElement(Term heapTerm, Term objectTerm, Term fieldTerm, Term valueTerm, boolean closingBrace)
private void	printStoreOnGenericFieldConstant(Term heapTerm, Term objectTerm, Term fieldTerm, Term valueTerm, boolean closingBrace)
private void	printStoreOnJavaFieldConstant(Term heapTerm, Term objectTerm, Term fieldTerm, Term valueTerm, boolean closingBrace)
private void	printStoreOnStaticField(Term heapTerm, Term fieldTerm, Term valueTerm, boolean closingBrace)

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

getPrettySyntaxForFieldConstant, isBuiltinObjectProperty, isFieldConstant, isFieldConstant, isJavaFieldConstant, isJavaFieldConstant, isStaticFieldConstant

Methods inherited from class java.lang.Object

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

Constructor Detail

StorePrinter

StorePrinter(LogicPrinter lp)

Method Detail

initPrettyPrint

private void initPrettyPrint(Term heapTerm)
                      throws java.io.IOException

Throws:

java.io.IOException

finishPrettyPrint

private void finishPrettyPrint(Term valueTerm,
                               boolean closingBrace)
                        throws java.io.IOException

Throws:

java.io.IOException

printStore

void printStore(Term t,
                boolean closingBrace)
         throws java.io.IOException

Throws:

java.io.IOException

printStoreOnArrayElement

private void printStoreOnArrayElement(Term heapTerm,
                                      Term objectTerm,
                                      Term fieldTerm,
                                      Term valueTerm,
                                      boolean closingBrace)
                               throws java.io.IOException

Throws:

java.io.IOException

printStoreOnJavaFieldConstant

private void printStoreOnJavaFieldConstant(Term heapTerm,
                                           Term objectTerm,
                                           Term fieldTerm,
                                           Term valueTerm,
                                           boolean closingBrace)
                                    throws java.io.IOException

Throws:

java.io.IOException

printStoreOnGenericFieldConstant

private void printStoreOnGenericFieldConstant(Term heapTerm,
                                              Term objectTerm,
                                              Term fieldTerm,
                                              Term valueTerm,
                                              boolean closingBrace)
                                       throws java.io.IOException

Throws:

java.io.IOException

printStoreOnStaticField

private void printStoreOnStaticField(Term heapTerm,
                                     Term fieldTerm,
                                     Term valueTerm,
                                     boolean closingBrace)
                              throws java.io.IOException

Throws:

java.io.IOException