jpov.structure
Class Class

java.lang.Object
  jpov.structure.TreeObject
      jpov.structure.Class

public class Class

extends TreeObject

This class implements a node tree corresponding to a class.

Author:

L. Burdy

Method Summary

void	finalizeLoad()
void	freeLemmas()
Method[]	getConstructors() Returns the constructors array.
Field[]	getFields()
Method[]	getMethods() Returns the methods array.
java.lang.String	getName()
int	getNbCheckedPo()
int	getNbPo() Returns the number of proof obligations for this node.
int	getNbPoProved() Returns the number of proved proof obligations for this node.
int	getNbPoProved(java.lang.String prover) Returns the number of proved proof obligations for this node.
Proofs	getStaticInitLemmas() Returns the static initialization lemmas.
java.lang.String	getText(int type) Returns the name of the class
Proofs	getWellDefInvLemmas()
void	selectAll()
void	setChecked() Sets the node and its children to checked.
void	setUnchecked() Sets the node and its children to unchecked

Methods inherited from class jpov.structure.TreeObject

getParent, isChecked, isProved, percentProved

Methods inherited from class java.lang.Object

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

Method Detail

getNbPo

public int getNbPo()

Description copied from class: TreeObject

Returns the number of proof obligations for this node.

Specified by:

getNbPo in class TreeObject

Returns:

the number of proof obligations for this node

setChecked

public void setChecked()

Description copied from class: TreeObject

Sets the node and its children to checked.

Specified by:

setChecked in class TreeObject

setUnchecked

public void setUnchecked()

Description copied from class: TreeObject

Sets the node and its children to unchecked

Specified by:

setUnchecked in class TreeObject

getNbPoProved

public int getNbPoProved()

Description copied from class: TreeObject

Returns the number of proved proof obligations for this node.

Specified by:

getNbPoProved in class TreeObject

Returns:

the number of proved proof obligations for this node

getNbPoProved

public int getNbPoProved(java.lang.String prover)

Description copied from class: TreeObject

Returns the number of proved proof obligations for this node.

Specified by:

getNbPoProved in class TreeObject

Returns:

the number of proved proof obligations for this node

getNbCheckedPo

public int getNbCheckedPo()

getText

public java.lang.String getText(int type)

Returns the name of the class

Specified by:

getText in class TreeObject

Returns:

name

getConstructors

public Method[] getConstructors()

Returns the constructors array.

Returns:

constructore

getStaticInitLemmas

public Proofs getStaticInitLemmas()

Returns the static initialization lemmas.

Returns:

lemmas

getWellDefInvLemmas

public Proofs getWellDefInvLemmas()

getMethods

public Method[] getMethods()

Returns the methods array.

Returns:

methods

getName

public java.lang.String getName()

Returns:

getFields

public Field[] getFields()

Returns:

freeLemmas

public void freeLemmas()

finalizeLoad

public void finalizeLoad()

selectAll

public void selectAll()