org.qedeq.kernel.bo.service.unicode
Class ProofLineData

java.lang.Object
  org.qedeq.kernel.bo.service.unicode.ProofLineData

public class ProofLineData
extends java.lang.Object

Contains printing data for a formal proof line.

Author:

Michael Meyling

Constructor Summary

ProofLineData()
Constructs empty container.

ProofLineData(ProofLineData lineData)
Copy constructor.

ProofLineData(java.lang.String lineLabel, java.lang.String[] formula, java.lang.String[] reason)
Construct new proof line data.

Method Summary

boolean	containsData() Exists formula data or reason data?
java.lang.String[]	getFormula() Get proof line formula.
java.lang.String	getLineLabel() Get label for proof line.
java.lang.String[]	getReason() Get derive reason for proof line.
void	init() Empty data.
int	lines() How many lines do we have? This is maximum of formula lines and reason lines.
void	setFormula(java.lang.String[] formula) Set proof line formula.
void	setLineLabel(java.lang.String lineLabel) Set label for proof line.
void	setReason(java.lang.String[] reason) Set derive reason for proof line.

Methods inherited from class java.lang.Object

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

Constructor Detail

ProofLineData

public ProofLineData()

Constructs empty container.

ProofLineData

public ProofLineData(java.lang.String lineLabel,
                     java.lang.String[] formula,
                     java.lang.String[] reason)

Construct new proof line data.

Parameters:

lineLabel - Proof line label.

formula - Formula strings.

reason - Reason strings.

ProofLineData

public ProofLineData(ProofLineData lineData)

Copy constructor.

Parameters:

lineData - Existing object.

Method Detail

init

public void init()

Empty data.

containsData

public boolean containsData()

Exists formula data or reason data?

Returns:

Is there any reason or formula data?

lines

public int lines()

How many lines do we have? This is maximum of formula lines and reason lines.

Returns:

Number of lines.

getLineLabel

public java.lang.String getLineLabel()

Get label for proof line.

Returns:

Proof line label.

setLineLabel

public void setLineLabel(java.lang.String lineLabel)

Set label for proof line.

Parameters:

lineLabel - Proof line label.

getFormula

public java.lang.String[] getFormula()

Get proof line formula.

Returns:

Proof line formula.

setFormula

public void setFormula(java.lang.String[] formula)

Set proof line formula.

Parameters:

formula - Proof line formula.

getReason

public java.lang.String[] getReason()

Get derive reason for proof line. Already formatted in several lines.

Returns:

Reason for getting this proof line.

setReason

public void setReason(java.lang.String[] reason)

Set derive reason for proof line.

Parameters:

reason - Reason for getting this proof line. Must be already formatted in serveral lines.