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

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

All Implemented Interfaces:

Reason, Rename

public class RenameVo
extends java.lang.Object
implements Rename

Usage of rule for rename bound subject variable.

Author:

Michael Meyling

Constructor Summary

RenameVo()
Default constructor.

RenameVo(java.lang.String reference, Element originalSubjectVariable, Element replacementSubjectVariable, int occurrence)
Constructs an addition argument.

Method Summary

boolean	equals(java.lang.Object obj)
java.lang.String	getName() Get name for this reason.
int	getOccurrence() Get bound occurrence to replace.
Element	getOriginalSubjectVariable() Get original subject variable.
java.lang.String	getReference() Get reference to formula.
java.lang.String[]	getReferences() Get references to previous formulas.
Rename	getRename() Get this reason.
Element	getReplacementSubjectVariable() Get replacement subject variable.
int	hashCode()
void	setOccurrence(int occurrence) Set occurrence of bound subject variable that should be renamed.
void	setOriginalSubjectVariable(Element originalSubjectVariable) Set original subject variable, which will be replaced.
void	setReference(java.lang.String reference) Set formula reference.
void	setReplacementSubjectVariable(Element replacementSubjectVariable) Set new subject variable subject variable.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

RenameVo

public RenameVo(java.lang.String reference,
                Element originalSubjectVariable,
                Element replacementSubjectVariable,
                int occurrence)

Constructs an addition argument.

Parameters:

reference - Reference to a valid formula.

originalSubjectVariable - Bound subject variable that will be replaced.

replacementSubjectVariable - Replacement subject variable.

occurrence - This bound occurrence should be replaced. If this value is 0, the replacement position is not specified.

RenameVo

public RenameVo()

Default constructor.

Method Detail

getRename

public Rename getRename()

Description copied from interface: Rename

Get this reason.

Specified by:

getRename in interface Rename

Returns:

This reason.

getReference

public java.lang.String getReference()

Description copied from interface: Rename

Get reference to formula. Usually this a formula of type A(x)

Specified by:

getReference in interface Rename

Returns:

Reference to previously proved formula.

setReference

public void setReference(java.lang.String reference)

Set formula reference.

Parameters:

reference - Reference to formula.

getReferences

public java.lang.String[] getReferences()

Description copied from interface: Reason

Get references to previous formulas.

Specified by:

getReferences in interface Reason

Returns:

List of references. Contains no entries with value null.

getOccurrence

public int getOccurrence()

Description copied from interface: Rename

Get bound occurrence to replace. Starts with 1. A value of 0 means no specification.

Specified by:

getOccurrence in interface Rename

Returns:

Number of occurrence.

setOccurrence

public void setOccurrence(int occurrence)

Set occurrence of bound subject variable that should be renamed.

Parameters:

occurrence - This occurrence should be renamed.

getOriginalSubjectVariable

public Element getOriginalSubjectVariable()

Description copied from interface: Rename

Get original subject variable. Something like x.

Specified by:

getOriginalSubjectVariable in interface Rename

Returns:

Subject variable.

setOriginalSubjectVariable

public void setOriginalSubjectVariable(Element originalSubjectVariable)

Set original subject variable, which will be replaced.

Parameters:

originalSubjectVariable - Subject variable.

getReplacementSubjectVariable

public Element getReplacementSubjectVariable()

Description copied from interface: Rename

Get replacement subject variable. Something like y.

Specified by:

getReplacementSubjectVariable in interface Rename

Returns:

Subject variable.

setReplacementSubjectVariable

public void setReplacementSubjectVariable(Element replacementSubjectVariable)

Set new subject variable subject variable.

Parameters:

replacementSubjectVariable - New subject variable.

getName

public java.lang.String getName()

Description copied from interface: Reason

Get name for this reason.

Specified by:

getName in interface Reason

Returns:

Name.

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