Quick links: Tutorial - Examples - Files - Symbols.
Classes: Hierarchy - Index - List - Members.
Namespaces: Index - base - cs - display.

Classes | Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
cogitant::OpeVerification Class Reference

Class abstraite pour la vérification d'un objet du modèle. More...

#include "cogitant/opeverification.h"

Inheritance diagram for cogitant::OpeVerification:
cogitant::Operation cogitant::OperationBase cogitant::ObservableObject cogitant::CogitantObject cogitant::OpeVerifConjunctive cogitant::OpeVerificationGraph cogitant::OpeVerifSupportBannedType cogitant::OpeVerifSupportSignature cogitant::OpeVerifBannedType cogitant::OpeVerifConformity cogitant::OpeVerifConjunctiveType cogitant::OpeVerifCoreferenceClass cogitant::OpeVerifEdges cogitant::OpeVerifIrredundant cogitant::OpeVerifNormalForm cogitant::OpeVerifSignature

Classes

class  ErrorConjunctiveType
 Erreur de vérification mémorisant un type conjonctif. More...
 
class  ErrorInfo
 Informations dur une erreur de vérification. More...
 
class  ErrorISet
 Erreur de vérification mémorisant un iSet. More...
 
class  ErrorISetEdgeLabel
 Erreur de vérification mémorisant un iSet et un Edge::Label. More...
 
class  ErrorISetPair
 Erreur de vérification mémorisant une paire d'iSet. More...
 
class  ListErrors
 Liste d'erreurs. More...
 

Public Member Functions

Error check ()
 Vérification des paramètres. More...
 
Constructeurs - destructeur.
 OpeVerification (Environment *env)
 Constructeur. More...
 
Entrée des paramètres.
void setParamResultErrors (ListErrors *errors)
 
Accès aux résultats.
unsigned int getErrorsSize () const
 
ListErrors const * getErrors () const
 
- Public Member Functions inherited from cogitant::Operation
Environmentenvironment () const
 Environnement. More...
 
void setEnvironment (Environment *env)
 Modification de l'environnement sur lequel est défini l'opération. More...
 
 Operation (Environment *env)
 Constructeur. More...
 
 Operation (Operation const &o)
 Constructeur par recopie. More...
 
 ~Operation ()
 Destructeur. More...
 
- Public Member Functions inherited from cogitant::OperationBase
virtual void run ()=0
 Lancement de l'opération. More...
 
void stop ()
 Stopper l'opération dès que possible. More...
 
bool isStopped () const
 Est-ce que l'opération a été stoppée. More...
 
 OperationBase ()
 Constructeur. More...
 
 OperationBase (OperationBase const &o)
 Constructeur par recopie. More...
 
 ~OperationBase ()
 Destructeur. More...
 
- Public Member Functions inherited from cogitant::ObservableObject
 ObservableObject ()
 Constructeur. More...
 
 ObservableObject (ObservableObject const &o)
 Constructeur par recopie. More...
 
 ~ObservableObject ()
 Destructeur. More...
 
ObserverSet const & observers () const
 Accès à l'ensemble des observateurs. More...
 
bool hasObservers () const
 Existence d'observateurs. More...
 
bool hasObservers (ObserverMessage::Type mt) const
 Existence d'observateurs qui écoutent le type de message passé. More...
 
void attachObserver (Observer *obs)
 Ajoute un nouvel observateur à l'objet. More...
 
void detachObserver (Observer *obs)
 Supprime le lien entre l'observateur et l'objet. More...
 
void notifyObservers (ObserverMessage const *msg)
 Envoie le message de modification à tous les observateurs. More...
 
- Public Member Functions inherited from cogitant::CogitantObject
 CogitantObject ()
 Constructeur. More...
 
 CogitantObject (CogitantObject const &o)
 Constructeur par recopie. More...
 
virtual ~CogitantObject ()
 Destructeur. More...
 
PropertySetproperties ()
 Accès à l'ensemble des propriétés. More...
 
virtual std::string toString () const
 Transformation en chaîne de caractères. More...
 
std::string className () const
 Nom de la classe. More...
 
PropertySet const * properties () const
 Accès en lecture seule à l'ensemble des propriétés. More...
 
bool hasProperties () const
 Existence de propriétés. More...
 
CogitantObjectoperator= (CogitantObject const &ob)
 Affectation. More...
 

Protected Member Functions

void addErrorISet (ErrorInfo::Type et, iSet object)
 Ajoute une erreur à l'ensemble d'erreurs. More...
 
void addErrorISetEdgeLabel (ErrorInfo::Type et, iSet object, Edge::Label el)
 Ajoute une erreur à l'ensemble d'erreurs. More...
 
- Protected Member Functions inherited from cogitant::Operation
void setProgress (unsigned int current, unsigned int max)
 Progression actuelle de l'opération. More...
 
- Protected Member Functions inherited from cogitant::ObservableObject
virtual ObserverSetallocObservers () const
 Fonction créant l'instance d'une sous classe de ObserverSet pour la représentation de l'ensemble des observateurs de l'objet. More...
 
ObserverSetobservers ()
 Accès à l'ensemble des observateurs. More...
 
- Protected Member Functions inherited from cogitant::CogitantObject
virtual PropertySetallocProperties () const
 Fonction créant l'instance d'une sous classe de PropertySet pour la représentation des propriétés de l'objet. More...
 

Protected Attributes

unsigned int o_errorssize
 Nombre d'erreurs rencontrées.
 
ListErrorsio_errors
 Liste d'erreurs.
 
- Protected Attributes inherited from cogitant::OperationBase
bool m_stop
 Arrêt de l'exécution de l'opération demandé. More...
 

Additional Inherited Members

- Public Types inherited from cogitant::OperationBase
typedef unsigned int Error
 Résultat de la vérification des arguments d'une opération. More...
 
- Static Public Attributes inherited from cogitant::Operation
static const Error PROJBACKTRACKCHOICE_EMPTYLIST
 Impossible d'enlever un élément à une liste vide. More...
 
static const Error OBJECTTYPE
 Un (identifiant d') objet parmi les paramètres n'est pas du bon type. More...
 
static const Error WRONGEDGES
 Un graphe parmi les paramètres de l'opération possède des arêtes pendantes. More...
 
- Static Public Attributes inherited from cogitant::OperationBase
static const Error CHECKOK
 Pas d'erreur. More...
 
static const Error ARGUMENTS
 Certains paramètres de l'opération n'ont pas été fixés. More...
 
static const Error UNUSED
 Symbole d'erreur inutilisé. More...
 

Detailed Description

Class abstraite pour la vérification d'un objet du modèle.

Constructor & Destructor Documentation

◆ OpeVerification()

cogitant::OpeVerification::OpeVerification ( Environment env)

Constructeur.

Member Function Documentation

◆ addErrorISet()

void cogitant::OpeVerification::addErrorISet ( ErrorInfo::Type  et,
iSet  object 
)
protected

Ajoute une erreur à l'ensemble d'erreurs.

◆ addErrorISetEdgeLabel()

void cogitant::OpeVerification::addErrorISetEdgeLabel ( ErrorInfo::Type  et,
iSet  object,
Edge::Label  el 
)
protected

Ajoute une erreur à l'ensemble d'erreurs.

◆ check()

Error cogitant::OpeVerification::check ( )
virtual