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

Public Types | Public Member Functions | Public Attributes | Friends | List of all members
cogitant::OpeVerification::ErrorInfo Class Reference

Informations dur une erreur de vérification. More...

#include "opeverification.h"

Inheritance diagram for cogitant::OpeVerification::ErrorInfo:
cogitant::OpeVerification::ErrorConjunctiveType cogitant::OpeVerification::ErrorISet cogitant::OpeVerification::ErrorISetEdgeLabel cogitant::OpeVerification::ErrorISetPair

Public Types

enum  Type {
  ConceptConformity, ConceptConjunctiveType, ConceptBannedType, ConceptNormalForm,
  RelationSignature, RelationEdge, CoreferenceMarker, CoreferenceBannedType,
  GraphRedundancy, ConjunctiveType, BannedTypeConjunctive, SignatureSpecialization
}
 Type de vérification. More...
 

Public Member Functions

 ErrorInfo (Type et)
 Constructeur. More...
 
virtual ~ErrorInfo ()
 Destructeur. More...
 
char const * typeToString (Type t) const
 Intitulé de l'erreur. More...
 
virtual std::string toString () const
 Conversion en chaîne. More...
 

Public Attributes

Type m_type
 Type d'erreur. */.
 

Friends

std::ostream & operator<< (std::ostream &os, ErrorInfo const &e)
 Opérateur de sortie. More...
 

Detailed Description

Informations dur une erreur de vérification.

Member Enumeration Documentation

Type de vérification.

Enumerator
ConceptConformity 

Conformité.

Les erreurs de ce type sont des ErrorISet.

See also
OpeVerifConformity.
ConceptConjunctiveType 

Vérification des types conjonctifs bien formés.

Les erreurs de ce type sont des ErrorISetPair.

See also
OpeVerifConjunctiveType.
ConceptBannedType 

Vérification de la non-utilisation de types bannis.

Les erreurs de ce type sont des ErrorISet.

See also
OpeVerifBannedType.
ConceptNormalForm 

Vérification qu'un graphe est sous forme normale.

Les erreurs de ce type sont des ErrorISet.

See also
OpeVerifNormalForm.
RelationSignature 

Vérification de la signature des relations.

Les erreurs de ce type sont des ErrorISetEdgeLabel.

See also
OpeVerifSignature.
RelationEdge 

Vérification de l'absence d'arêtes pendantes.

Les erreurs de ce type sont des ErrorISetEdgeLabel.

See also
OpeVerifEdges.
CoreferenceMarker 

Vérification qu'une classe de coréférence ne contient pas deux sommets ayant des marqueurs individuels différents.

Les erreurs de ce type sont des ErrorISet.

See also
OpeVerifCoreferenceClass.
CoreferenceBannedType 

Vérification qu'une classe de coréférence ne contient pas des sommets dont la conjonction des types est bannie.

Les erreurs de ce type sont des ErrorISet.

See also
OpeVerifCoreferenceClass.
GraphRedundancy 

Vérification qu'un graphe est sous forme irredondante.

Les erreurs de ce type sont des ErrorISet.

See also
OpeVerifIrredundant.
ConjunctiveType 

Vérification d'un type conjonctif : il ne doit pas contenir deux types primitifs tels que l'un est une spécialisation de l'autre.

Les erreurs de ce type sont des ErrorISetPair.

See also
OpeVerifConjunctive.
BannedTypeConjunctive 

Vérification que les types bannis du support ne contiennent pas deux types primitifs tels que l'un est une spécialisation de l'autre.

Les erreurs de ce type sont des ErrorConjunctiveType.

See also
OpeVerifSupportBannedType.
SignatureSpecialization 

Vérification des signatures des types de relations : le signature d'un type doit être une spécialisation de la signature de ses super-types.

Les erreurs de ce type sont des ErrorISetEdgeLabel. L'iSet est l'identificateur du type de relation, et l' Edge::Label le numéro de type de concept de la signature qui est erroné.

See also
OpeVerifSupportSignature.

Constructor & Destructor Documentation

cogitant::OpeVerification::ErrorInfo::ErrorInfo ( Type  et)
inline

Constructeur.

virtual cogitant::OpeVerification::ErrorInfo::~ErrorInfo ( )
inlinevirtual

Destructeur.

Member Function Documentation

virtual std::string cogitant::OpeVerification::ErrorInfo::toString ( ) const
virtual
char const* cogitant::OpeVerification::ErrorInfo::typeToString ( Type  t) const

Intitulé de l'erreur.

Friends And Related Function Documentation

std::ostream& operator<< ( std::ostream &  os,
ErrorInfo const &  e 
)
friend

Opérateur de sortie.