net.sourceforge.czt.print.zeves

Class PrettyPrinter

java.lang.Object

net.sourceforge.czt.print.util.PrettyPrinter

net.sourceforge.czt.print.zeves.PrettyPrinter

public class PrettyPrinter
extends PrettyPrinter

Author:

Leo

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	formatProofGoal_

Constructor Summary

Constructors

Constructor and Description
PrettyPrinter(net.sourceforge.czt.base.ast.Term term, int initW)
PrettyPrinter(net.sourceforge.czt.base.ast.Term term, int initW, boolean formatProofG)

Method Summary

Modifier and Type	Method and Description
protected boolean	considerAddingNL(Token previous, Token current, int spaceLeft, int length, boolean startedProcessing)
protected boolean	considerAddingNLForToken(Token previous, Token current, int spaceLeft, int length, boolean startedProcessing)
protected int	handleSpaces(ListIterator<Token> iter, Token previous, Token current, int spaceLeft, int length, boolean startedProcessing, int indentAmount)
boolean	isFormattingProofGoals()
protected boolean	isSpecialTokenCase(Token previous, Token current)
void	setFormatProofGoal(boolean v)

Methods inherited from class net.sourceforge.czt.print.util.PrettyPrinter

allowsNlAfter, allowsNlBefore, getOffSet, getTerm, handleTokenSequence, handleTokenSequence, isSpecialCase, setLineWidth, setOffset

Methods inherited from class java.lang.Object

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

Field Detail

formatProofGoal_

protected boolean formatProofGoal_

Constructor Detail

PrettyPrinter

public PrettyPrinter(net.sourceforge.czt.base.ast.Term term,
                     int initW)

PrettyPrinter

public PrettyPrinter(net.sourceforge.czt.base.ast.Term term,
                     int initW,
                     boolean formatProofG)

Method Detail

setFormatProofGoal

public void setFormatProofGoal(boolean v)

isFormattingProofGoals

public boolean isFormattingProofGoals()

handleSpaces

protected int handleSpaces(ListIterator<Token> iter,
                           Token previous,
                           Token current,
                           int spaceLeft,
                           int length,
                           boolean startedProcessing,
                           int indentAmount)
                    throws PrintException

Overrides:

handleSpaces in class PrettyPrinter

Throws:

PrintException

isSpecialTokenCase

protected boolean isSpecialTokenCase(Token previous,
                                     Token current)
                              throws PrintException

Overrides:

isSpecialTokenCase in class PrettyPrinter

Throws:

PrintException

considerAddingNL

protected boolean considerAddingNL(Token previous,
                                   Token current,
                                   int spaceLeft,
                                   int length,
                                   boolean startedProcessing)
                            throws PrintException

Overrides:

considerAddingNL in class PrettyPrinter

Throws:

PrintException

considerAddingNLForToken

protected boolean considerAddingNLForToken(Token previous,
                                           Token current,
                                           int spaceLeft,
                                           int length,
                                           boolean startedProcessing)
                                    throws PrintException

Overrides:

considerAddingNLForToken in class PrettyPrinter

Throws:

PrintException