iw.model
Interface IWNodeSetOccur

All Superinterfaces:

IWModelElement, IWNodeSet, IWProofElement

public interface IWNodeSetOccur

extends IWNodeSet

IWNodeSetOccur interface represents the actual "occurence" of a Nodeset is a proof. In general, the two would be more of less the same - however differences occur when the same nodeset is being used at two places in a proof. In such a scenario, it is the same Nodeset but a different Nodeset occurence. It is necessary to support two separate notions because IWNodeset is more concerned with representation of proofs and IWNodeSetOccur is more concerned with activities like browsing Nodesets. For example, one may be browsing Nodesets in a proof browser and the same Nodeset may be present in two places. However, from a user interface point of view, the user may desire to control the two Nodesets separately. In such situations, the notion of occurence separate from the Nodeset makes a lot of sense.

Method Summary

void	addAntecedent(long targetId, java.lang.String newUri) GUESS Adds the nodeset with URI newUri as an antecedent to all inference steps of the node set occurrence with ID targetId.with the id targetId and URI newUri.
void	addInferenceStepOccurrence(IWInferenceStepOccur newInferenceStepOccur) Adds the specified inference step occurrence to the list of inference step occurrences.
void	deleteAntecedent(long antId) GUESS Removes the antecedent with the id antID and also deletes the antecedent.
void	findHiddenAntecedents(java.util.ArrayList result) Recursively find all hidden antecedents
void	findInferenceStepsWithAntecedent(long antId, java.util.ArrayList result) Recursively find all inference steps which have the antecedent with id antId.
void	findNodesByID(java.util.ArrayList result, long inId) Adds all nodesets in the proof tree below the current nodeset which have id inId to the list result.
void	findVisibleAntecedents(java.util.ArrayList result) Recursively find all visible antecedents
IWNodeSetOccur	getConsequence() Return conclusion node when viewing.
long	getHiddenNodeSetIds()
java.util.ArrayList	getHiddenNodeSets() Returns a list ids of all hidden nodes.
java.util.List	getInferenceStepOccurrences() Returns a list of objects each of type IWInferenceStepOccur.
java.util.List	getInferenceStepsWithAntecedent(long antId) Returns a list of inference steps that have antecedentsmatch the specified id.
IWNodeSetOccur	getNodeByID(long inId) Recursively search this node and its descendents with specified id.
long	getNodeSetID() Returns the id of this node.
boolean	getVisible() Return the visibility of this node when viewing.
java.util.ArrayList	getVisibleNodes() Returns a list of visible nodes for viewing.
void	makeNodeSetPath(long nodeId)
void	markNodeVisible(long nodeId, boolean visible) Set the visibility of specific node.
void	removeAntecedent(long antId) GUESS Removes the antecedent with the id antID without deleting the antecedent.
void	removeInferenceRule(long targetId) GUESS Remove inference rules associated with all inference steps of the node set occurrence with ID targetId.
void	replaceStringInConclusion(java.lang.String oldStr, java.lang.String newStr) Recursively replace old string occurrences in conclusions with new string.
void	setConsequence(IWNodeSetOccur inConclusionNode) Set conclusion node for viewing.
void	setInferenceStepOccurrences(java.util.List _newInferenceStepOccurrences) Sets the inference step occurence list to _newInferenceStepOccurrences.
void	setNodeSetID(long[] idNum, boolean deep) Set the id of this node.
void	setNodesVisible(boolean visible, boolean deep) Recursively set nodesets visibility for viewing.
void	setVisible(boolean inVisible) Set the visibility of this node for viewing.

Methods inherited from interface iw.model.IWNodeSet

addConclusionFiller, addInferenceStep, getConclusion, getConclusionFillers, getInferenceSteps, getLanguage, getProof, isAxiom, isFullLoaded, setConclusion, setConclusionFillers, setInferenceSteps, setLanguage, setProof

Methods inherited from interface iw.model.IWProofElement

getShortName, setShortName

Methods inherited from interface iw.model.IWModelElement

getFirstSubmissionDate, getLastSubmissionDate, getModel, getURI, setFirstSubmissionDate, setLastSubmissionDate, setModel, setURI

Method Detail

getInferenceStepOccurrences

public java.util.List getInferenceStepOccurrences()

Returns a list of objects each of type IWInferenceStepOccur. These objects correspond to the occurrences of the inference steps of the Nodeset.

Returns:

A List of the inference step occurences of the Nodeset

setInferenceStepOccurrences

public void setInferenceStepOccurrences(java.util.List _newInferenceStepOccurrences)

Sets the inference step occurence list to _newInferenceStepOccurrences. The objects in the list should correspond to the occurrence of the inference steps of the Nodeset.

addInferenceStepOccurrence

public void addInferenceStepOccurrence(IWInferenceStepOccur newInferenceStepOccur)

Adds the specified inference step occurrence to the list of inference step occurrences. newInferenceStepOccur should correspond to the occurrence of an inference step of the Nodeset

Parameters:

newInferenceStepOccur - the new inference step occurrence

getConsequence

public IWNodeSetOccur getConsequence()

Return conclusion node when viewing.

Returns:

conclusion

setConsequence

public void setConsequence(IWNodeSetOccur inConclusionNode)

Set conclusion node for viewing.

Parameters:

inConclusionNode -

getVisible

public boolean getVisible()

Return the visibility of this node when viewing.

Returns:

visibility

setVisible

public void setVisible(boolean inVisible)

Set the visibility of this node for viewing.

Parameters:

inVisible - visible or imvisible

getNodeSetID

public long getNodeSetID()

Returns the id of this node.

Returns:

this node's id

setNodeSetID

public void setNodeSetID(long[] idNum,
                         boolean deep)

Set the id of this node.

Parameters:

idNum - id

deep - if the id is to be set recursively

getNodeByID

public IWNodeSetOccur getNodeByID(long inId)

Recursively search this node and its descendents with specified id.

Parameters:

inId - search node id

Returns:

IWNodeSetNode with specified id or null if not found

getVisibleNodes

public java.util.ArrayList getVisibleNodes()

Returns a list of visible nodes for viewing.

Returns:

list of nodes

getHiddenNodeSets

public java.util.ArrayList getHiddenNodeSets()

Returns a list ids of all hidden nodes.

Returns:

list of hidden nodes

getHiddenNodeSetIds

public long getHiddenNodeSetIds()

setNodesVisible

public void setNodesVisible(boolean visible,
                            boolean deep)

Recursively set nodesets visibility for viewing.

Parameters:

visible - flag

deep - recursive flag

makeNodeSetPath

public void makeNodeSetPath(long nodeId)

markNodeVisible

public void markNodeVisible(long nodeId,
                            boolean visible)

Set the visibility of specific node.

Parameters:

nodeId - id of the node to be modified

visible - visibility for viewing

getInferenceStepsWithAntecedent

public java.util.List getInferenceStepsWithAntecedent(long antId)

Returns a list of inference steps that have antecedentsmatch the specified id. The list should contain no more than one inference step.

Parameters:

antId - id of the antecedent

Returns:

list of inference steps

removeAntecedent

public void removeAntecedent(long antId)

GUESS Removes the antecedent with the id antID without deleting the antecedent.

Parameters:

antId - the id of the antecedent to be removed

deleteAntecedent

public void deleteAntecedent(long antId)

GUESS Removes the antecedent with the id antID and also deletes the antecedent.

Parameters:

antId - the id of the antecedent to be removed

addAntecedent

public void addAntecedent(long targetId,
                          java.lang.String newUri)

GUESS Adds the nodeset with URI newUri as an antecedent to all inference steps of the node set occurrence with ID targetId.with the id targetId and URI newUri.

Parameters:

targetId - the id of the new antecedent

newUri - the URI of the new antecedent

removeInferenceRule

public void removeInferenceRule(long targetId)

GUESS Remove inference rules associated with all inference steps of the node set occurrence with ID targetId.

Parameters:

targetId - the node ID of the node set

findNodesByID

public void findNodesByID(java.util.ArrayList result,
                          long inId)

Adds all nodesets in the proof tree below the current nodeset which have id inId to the list result.

Parameters:

result - contains the list of Nodeset occurences which have the given id

findVisibleAntecedents

public void findVisibleAntecedents(java.util.ArrayList result)

Recursively find all visible antecedents

Parameters:

result - holds all visible antecedents

findHiddenAntecedents

public void findHiddenAntecedents(java.util.ArrayList result)

Recursively find all hidden antecedents

Parameters:

result - holds all hidden antecedents

findInferenceStepsWithAntecedent

public void findInferenceStepsWithAntecedent(long antId,
                                             java.util.ArrayList result)

Recursively find all inference steps which have the antecedent with id antId.

Parameters:

result - holds all inference steps satisfying the criteria

replaceStringInConclusion

public void replaceStringInConclusion(java.lang.String oldStr,
                                      java.lang.String newStr)

Recursively replace old string occurrences in conclusions with new string.

Parameters:

oldStr - string to be replaced

newStr - string to replace