class SelectPrinter extends FieldPrinter
lp
Constructor and Description |
---|
SelectPrinter(LogicPrinter lp) |
Modifier and Type | Method and Description |
---|---|
private Sort |
getFieldSort(Term fieldTerm) |
private boolean |
isFieldName(java.lang.String variableName,
Term objectTerm) |
private void |
printAnySelect(Term heapTerm,
Term objectTerm,
Term fieldTerm,
Term tacitHeap) |
private void |
printArraySelect(Term heapTerm,
Term objectTerm,
Term fieldTerm,
Term tacitHeap) |
private void |
printBuiltinObjectProperty(Term t,
Term heapTerm,
Term objectTerm,
Term fieldTerm,
Term tacitHeap) |
private void |
printHeap(Term heapTerm,
Term tacitHeap) |
private void |
printNonStaticJavaFieldConstant(Term heapTerm,
Term objectTerm,
Term fieldTerm,
Term tacitHeap) |
void |
printSelect(Term t,
Term tacitHeap) |
private void |
printStaticJavaFieldConstant(Term fieldTerm,
Term heapTerm,
Term tacitHeap) |
getPrettySyntaxForFieldConstant, isBuiltinObjectProperty, isFieldConstant, isFieldConstant, isJavaFieldConstant, isJavaFieldConstant, isStaticFieldConstant
SelectPrinter(LogicPrinter lp)
public void printSelect(Term t, Term tacitHeap) throws java.io.IOException
java.io.IOException
private boolean isFieldName(java.lang.String variableName, Term objectTerm)
private void printHeap(Term heapTerm, Term tacitHeap) throws java.io.IOException
java.io.IOException
private void printStaticJavaFieldConstant(Term fieldTerm, Term heapTerm, Term tacitHeap) throws java.io.IOException
java.io.IOException
private void printNonStaticJavaFieldConstant(Term heapTerm, Term objectTerm, Term fieldTerm, Term tacitHeap) throws java.io.IOException
java.io.IOException
private void printAnySelect(Term heapTerm, Term objectTerm, Term fieldTerm, Term tacitHeap) throws java.io.IOException
java.io.IOException
private void printArraySelect(Term heapTerm, Term objectTerm, Term fieldTerm, Term tacitHeap) throws java.io.IOException
java.io.IOException