class StorePrinter extends FieldPrinter
lp
Constructor and Description |
---|
StorePrinter(LogicPrinter lp) |
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) |
getPrettySyntaxForFieldConstant, isBuiltinObjectProperty, isFieldConstant, isFieldConstant, isJavaFieldConstant, isJavaFieldConstant, isStaticFieldConstant
StorePrinter(LogicPrinter lp)
private void initPrettyPrint(Term heapTerm) throws java.io.IOException
java.io.IOException
private void finishPrettyPrint(Term valueTerm, boolean closingBrace) throws java.io.IOException
java.io.IOException
void printStore(Term t, boolean closingBrace) throws java.io.IOException
java.io.IOException
private void printStoreOnArrayElement(Term heapTerm, Term objectTerm, Term fieldTerm, Term valueTerm, boolean closingBrace) throws java.io.IOException
java.io.IOException
private void printStoreOnJavaFieldConstant(Term heapTerm, Term objectTerm, Term fieldTerm, Term valueTerm, boolean closingBrace) throws java.io.IOException
java.io.IOException
private void printStoreOnGenericFieldConstant(Term heapTerm, Term objectTerm, Term fieldTerm, Term valueTerm, boolean closingBrace) throws java.io.IOException
java.io.IOException