cogitant::OpeVerification::ErrorInfo Class Reference

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

#include "opeverification.h"

Inheritance diagram for cogitant::OpeVerification::ErrorInfo:

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

enum cogitant::OpeVerification::ErrorInfo::Type

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

ErrorInfo()

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

inline

Constructeur.

~ErrorInfo()

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

inlinevirtual

Destructeur.

References CGTDLLEXPORT, and cogitant::operator<<().

Member Function Documentation

toString()

virtual std::string cogitant::OpeVerification::ErrorInfo::toString ( ) const

virtual

Conversion en chaîne.

Reimplemented in cogitant::OpeVerification::ErrorConjunctiveType, cogitant::OpeVerification::ErrorISetEdgeLabel, cogitant::OpeVerification::ErrorISetPair, and cogitant::OpeVerification::ErrorISet.

typeToString()

char const* cogitant::OpeVerification::ErrorInfo::typeToString

(

Type

t

)

const

Intitulé de l'erreur.

Friends And Related Function Documentation

operator<<

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

friend

Opérateur de sortie.