Class MethodesPMI

java.lang.Object
  MethodesPMI

public class MethodesPMI
extends java.lang.Object

Titre : Méthodes D'accès à un fichier PMI

Description : Ensemble de méthodes permettant de parser un fichier PMI

Copyright : Copyright (c) 2004

Version:

1.0

Author:

Xavier Morselli

Constructor Summary

MethodesPMI()

Method Summary

static boolean	Donne_Resultat_Preuve(java.lang.String var) Cette méthode renvoie vrai si et seulement si la chaine var passée en paramètre contient le texte Proved.
static int	nbOPUnproved(java.lang.String AdresseduFichier_PO, java.lang.String AdresseduFichier_PMI) Parse le fichier PMI spécifié et renvoie le nombre d'obligations de preuve associées à la clause précisée.
static boolean	PMI(java.lang.String AdresseduFichier_PO, java.lang.String AdresseduFichier_PMI) Parse le fichier PMI spécifié et renvoie vrai ssi toutes les obligations de preuve ont été vérifiées.

Methods inherited from class java.lang.Object

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

Constructor Detail

MethodesPMI

public MethodesPMI()

Method Detail

PMI

public static boolean PMI(java.lang.String AdresseduFichier_PO,
                          java.lang.String AdresseduFichier_PMI)

Parse le fichier PMI spécifié et renvoie vrai ssi toutes les obligations de preuve ont été vérifiées.

Parameters:

AdresseduFichier_PO - Nom du fichier PO à étudier (avec son chemin d'accès)

AdresseduFichier_PMI - Nom du fichier PMI à étudier (avec son chemin d'accès)

Returns:

vrai si et seulement si toutes les preuves de la clause donnée ont été prouvée dans le fichier PMI précisé.

Donne_Resultat_Preuve

public static boolean Donne_Resultat_Preuve(java.lang.String var)

Cette méthode renvoie vrai si et seulement si la chaine var passée en paramètre contient le texte

Proved

.

Parameters:

var - Chaine de caractère dans laquelle rechercher l'information.

Returns:

Un boolean à Vrai ssi la chaine contient une sous-chaine

Proved

.

nbOPUnproved

public static int nbOPUnproved(java.lang.String AdresseduFichier_PO,
                               java.lang.String AdresseduFichier_PMI)

Parse le fichier PMI spécifié et renvoie le nombre d'obligations de preuve associées à la clause précisée.

Parameters:

AdresseduFichier_PO - Nom du fichier PO à étudier (avec son chemin d'accès)

AdresseduFichier_PMI - Nom du fichier PMI à étudier (avec son chemin d'accès)

Returns:

Le nombre d'OP présentes pour la clause donnée, dans le fichier PMI précisé.