org.qedeq.kernel.se.dto.module
Class FormalProofVo

java.lang.Object
  org.qedeq.kernel.se.dto.module.FormalProofVo

All Implemented Interfaces:

FormalProof

public class FormalProofVo
extends java.lang.Object
implements FormalProof

Contains a formal proof for a proposition.

Author:

Michael Meyling

Constructor Summary

FormalProofVo()
Constructs an empty proof.

FormalProofVo(FormalProofLineList formalProofLines)
Constructs a proof.

Method Summary

boolean	equals(java.lang.Object obj)
FormalProofLineList	getFormalProofLineList() Get proof content.
LatexList	getPrecedingText() Get text before the formula.
LatexList	getSucceedingText() Get text after the formula.
int	hashCode()
void	setFormalProofLineList(FormalProofLineList formalProofLines) Set proof lines for formal proof.
void	setPrecedingText(LatexListVo precedingText) Set preceding LaTeX text.
void	setSucceedingText(LatexListVo succeedingText) Set succeeding LaTeX text.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

FormalProofVo

public FormalProofVo()

Constructs an empty proof.

FormalProofVo

public FormalProofVo(FormalProofLineList formalProofLines)

Constructs a proof.

Parameters:

formalProofLines - The proof lines.

Method Detail

setPrecedingText

public final void setPrecedingText(LatexListVo precedingText)

Set preceding LaTeX text. This text comes before a formal proof.

Parameters:

precedingText - Preceding LaTeX text.

getPrecedingText

public final LatexList getPrecedingText()

Description copied from interface: FormalProof

Get text before the formula. Get the preceding LaTeX text. This text comes before a formal proof.

Specified by:

getPrecedingText in interface FormalProof

Returns:

Returns the preceding LaTeX text.

setFormalProofLineList

public final void setFormalProofLineList(FormalProofLineList formalProofLines)

Set proof lines for formal proof.

Parameters:

formalProofLines - The proof lines.

getFormalProofLineList

public final FormalProofLineList getFormalProofLineList()

Description copied from interface: FormalProof

Get proof content.

Specified by:

getFormalProofLineList in interface FormalProof

Returns:

LaTeX proof text.

setSucceedingText

public final void setSucceedingText(LatexListVo succeedingText)

Set succeeding LaTeX text. This text comes after a formal proof.

Parameters:

succeedingText - Succeeding LaTeX text.

getSucceedingText

public final LatexList getSucceedingText()

Description copied from interface: FormalProof

Get text after the formula. Get the succeeding LaTeX text. This text comes after a formal proof.

Specified by:

getSucceedingText in interface FormalProof

Returns:

Returns the succeedingText.

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object