jpov.structure
Class PartialJmlFile

java.lang.Object
  jpov.structure.PartialJmlFile

public class PartialJmlFile

extends java.lang.Object

This class implements the root node of the tree.

Author:

L. Burdy

Constructor Summary

PartialJmlFile(JpoInputStream s)
Constructs a jml file from loaded informations

Method Summary

int	getNbPo()
int	getNbPoProved()
int	getNbPOProved(java.lang.String prover)

Methods inherited from class java.lang.Object

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

Constructor Detail

PartialJmlFile

public PartialJmlFile(JpoInputStream s)
               throws java.io.IOException,
                      LoadException

Constructs a jml file from loaded informations

Method Detail

getNbPo

public int getNbPo()

Returns:

getNbPoProved

public int getNbPoProved()

Returns:

getNbPOProved

public int getNbPOProved(java.lang.String prover)

Returns: