jpov.structure
Class TreeObject

java.lang.Object
  jpov.structure.TreeObject

Direct Known Subclasses:

Class, Goal, JmlFile, Lemma, LemmaHierarchy, Method, Proofs

public abstract class TreeObject

extends java.lang.Object

This class defines a node of the tree of the viewer.

Author:

L. Burdy

Constructor Summary

TreeObject()

Method Summary

abstract int	getNbPo() Returns the number of proof obligations for this node.
abstract int	getNbPoProved() Returns the number of proved proof obligations for this node.
abstract int	getNbPoProved(java.lang.String prover) Returns the number of proved proof obligations for this node.
java.lang.Object	getParent() Gets the parent of the node
abstract java.lang.String	getText(int type) Returns the displayed text for this node.
boolean	isChecked() Returns whether this node is checked
boolean	isProved() Returns true iff the object represented by this node is fully proved.
int	percentProved() Calculated the proof percentage of this node
abstract void	setChecked() Sets the node and its children to checked.
abstract void	setUnchecked() Sets the node and its children to unchecked

Methods inherited from class java.lang.Object

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

Constructor Detail

TreeObject

public TreeObject()

Method Detail

getText

public abstract java.lang.String getText(int type)

Returns the displayed text for this node.

Returns:

the displayed text for this node.

setChecked

public abstract void setChecked()

Sets the node and its children to checked.

setUnchecked

public abstract void setUnchecked()

Sets the node and its children to unchecked

getNbPo

public abstract int getNbPo()

Returns the number of proof obligations for this node.

Returns:

the number of proof obligations for this node

getNbPoProved

public abstract int getNbPoProved(java.lang.String prover)

Returns the number of proved proof obligations for this node.

Returns:

the number of proved proof obligations for this node

getNbPoProved

public abstract int getNbPoProved()

Returns the number of proved proof obligations for this node.

Returns:

the number of proved proof obligations for this node

getParent

public final java.lang.Object getParent()

Gets the parent of the node

Returns:

parent

percentProved

public final int percentProved()

Calculated the proof percentage of this node

Returns:

the proof percentage of this node

isProved

public boolean isProved()

Returns true iff the object represented by this node is fully proved.

Returns:

nbPo() == getNbPoProved();

isChecked

public boolean isChecked()

Returns whether this node is checked

Returns:

false by default