Opération d'entrée de support/graphes au format CoGXML. More...

#include "cogitant/inputcogxml.h"

Inheritance diagram for cogitant::OperationCoGXMLInput:

Public Member Functions
Constructeurs - destructeur.
	OperationCoGXMLInput (Environment *env)
	Constructeur. More...

	~OperationCoGXMLInput ()
	Destructeur. More...

Public Member Functions inherited from cogitant::OperationInputXml
void	setParamStream (std::istream *stream, std::string const &streamname)
	Choix du flux (C++) de lecture et de son nom. More...

void	run ()
	Lancement de l'opération. More...

IStream const *	currentStream () const
	Méthode abstraite retournant le flux en cours de lecture. More...

void	setParamIgnoreUnknownElements (bool iue)
	Configure la lecture stricte ou relachée. More...

void	copyConfig (OperationInputXml const &src)
	Copie la configuration de l'opération passée en paramètre dans la configuration de l'opération courante. More...

	OperationInputXml (Environment *env)
	Constructeur. More...

	~OperationInputXml ()
	Destructeur. More...

Public Member Functions inherited from cogitant::OperationInput
Error	check ()
	Vérification des paramètres. More...

void	run ()
	Lancement de l'opération. More...

std::string	streamName () const
	Nom du flux. More...

IStream const *	currentStream () const
	Méthode abstraite retournant le flux en cours de lecture. More...

	OperationInput (Environment *env)
	Constructeur. More...

	OperationInput (OperationInput const &o)
	Constructeur par recopie. More...

	~OperationInput ()
	Destructeur. More...

void	setParamReadSupport (bool support)

void	setParamReadObjects (bool objects)

void	setParamInEnvironment (bool inenvironment)

void	setParamConvertCgtInterface (bool c)

void	setParamGraphObjectIdentifiers (bool c)
	Choix de la conservation des identificateurs des objets du graphes. More...

void	setParamAutoCreateTypes (bool a)
	Accepte des types de concepts, relations, emboîtements inconnus lors du chargement d'un graphe. More...

void	setParamAutoCreateIndividuals (bool a)
	Accepte des marqueurs individuels inconnus lors du chargement d'un graphe. More...

void	setParamIgnoreRedeclarationIndividuals (bool r)
	Accepte (et ignore) la redéclaration de marqueurs individuels. More...

void	setParamForceDestinationGraph (iSet dg=ISET_NULL)
	Force la lecture des connaissances graphe dans un objet Graph bien précis. More...

void	setParamPropertyFilter (PropertySet::Filter *f)
	Fixe le filtre de propriétés. More...

void	setParamBaseIds (std::string const &b)
	Fixe la base des identificateurs relatifs. More...

void	setParamResultEnvironmentIds (std::vector< iSet > *resultenvironmentids)

void	setParamResultObjects (Set< EnvironmentObject > resultobjects)

void	copyConfig (OperationInput const &src)
	Copie la configuration de l'opération passée en paramètre dans la configuration de l'opération courante. More...

std::vector< iSet > *	getResultEnvironmentIds () const

Set< EnvironmentObject * > *	getResultObjects () const

Public Member Functions inherited from cogitant::OperationIO
virtual bool	binaryFile () const
	Les fichiers gérés par cette opération doivent-ils être ouverts en mode binaire. More...

	OperationIO (Environment *env)
	Constructeur. More...

	~OperationIO ()
	Destructeur. More...

Public Member Functions inherited from cogitant::Operation
Environment *	environment () 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
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...

PropertySet *	properties ()
	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...

CogitantObject &	operator= (CogitantObject const &ob)
	Affectation. More...

Public Member Functions inherited from cogitant::IStreamReader
virtual	~IStreamReader ()
	Destructeur. More...

Protected Types
enum	State { Unknown, ConceptTypes, ConceptTypesOrder, RelationTypes, RelationTypesOrder, NestingTypes, NestingTypesOrder, Individuals, BannedTypes, Modules }
	Etat de l'analyseur. More...

Protected Member Functions
XmlInput::ContentHandler *	createXmlContentHandler ()
	Méthode devant créer une sous-classe de XmlInput::ContentHandler pour gérer le contenu du flux lu. More...

void	runBegin (XmlInput &xi)
	Méthode appelée au début de l'analyse (juste après la détection du format). More...

void	runEnd ()
	Méthode appelée à la fin de l'analyse. More...

void	runException ()
	Méthode appelée en cas d'exception levée dans l'analyse. More...

Property::Type	stringToPropertyType (std::string const &s, iSet sub=NULL, std::string nomprop=NULL) const
	Type de propriété représenté par une chaîne. More...

void	throwException (unsigned int code, std::string const &streamname, unsigned int line, std::string const &msg="") const
	Lève une exception du type correspondant à une erreur d'analyse du flux d'entrée. More...

ExceptionInput *	createWarning (unsigned int code, std::string const &streamname, unsigned int line, std::string const &msg) const
	Crée une exception non fatale. More...

RelationType::Signature	findSignatureById (std::string const &id)
	Interprétation d'une signature donnée sous forme d'identificateurs XML. More...

RelationType::Signature	findSignatureByLabels (std::string const &id)
	Interprétation d'une signature donnée sous forme des intitulés des types de concepts. More...

void	throwException (unsigned int code, std::string const &msg)
	Lève une exception ExceptionInputCoGXML. More...

iSet	findTypeById (std::string const &id)
	Recherche d'un type par son id. More...

iSet	findTypeByLabel (std::string const &lab)
	Recherche d'un type par son label. More...

void	readCogxml (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture de l'élément `cogxml`. More...

void	readSupport (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un support. More...

void	readConceptTypes (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture de l'ensemble partiellement ordonné des types de concepts. More...

void	readCType (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un type de concept. More...

void	readRelationTypes (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture de l'ensemble partiellement ordonné des types de relations. More...

void	readRType (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un type de relation. More...

void	readNestingTypes (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture de l'ensemble partiellement ordonné des types d'emboîtements. More...

void	readNType (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un type d'emboîtement. More...

void	readConformity (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture de l'ensemble des marqueurs individuels et de la relation de conformité. More...

void	readMarker (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un marqueur individuel. More...

void	readOrder (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un élément order. More...

void	readBannedTypes (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture de l'ensemble des types bannis. More...

void	readBannedType (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un type banni. More...

void	readAllBanned (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un ensemble de types bannis deux à deux. More...

void	readType (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un type (à l'intérieur d'un type banni ou d'un concept). More...

void	readModules (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture de l'ensemble des modules. More...

void	readModule (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un module. More...

void	readGraph (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un graphe. More...

void	readConcept (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un sommet concept d'un graphe. More...

void	readRelation (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un sommet relation d'un graphe. More...

void	readNesting (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un emboîtement d'un graphe. More...

void	readValue (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture de la valeur d'un sommet concept d'un graphe. More...

void	readText (XmlDocument const &doc, XmlDocument::Text const *te)
	Lecture de texte (normalement contenu dans un élément value). More...

void	readEdge (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'une arête d'un graphe. More...

void	readCoupleOfLambdas (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'une règle, contrainte positive, contrainte négative. More...

void	readCoupleOfLambdasFirst (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture du premier graphe d'un couple de lambda-graphes (hypothèse pour une règle, condition pour une contrainte). More...

void	readCoupleOfLambdasSecond (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture du second graphe d'un couple de lambda-graphes (conclusion, obligation, interdiction). More...

void	readConPts (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture des points d'attache d'un couple de lambda-graphes. More...

void	readCouple (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un couple de l'ensemble des poins d'attache d'une règle. More...

void	readSubprop (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'un élément `subprop`. More...

void	readTranslation (XmlDocument const &doc, XmlDocument::Element const *el, bool begin)
	Lecture d'une traduction d'un élément du support. More...

void	readProperties (CogitantObject obj, XmlDocument::Element const node, char const *const aignorer[], iSet subid=ISET_NULL)
	Lecture des propriétés d'un objet. More...

Protected Member Functions inherited from cogitant::OperationInputXml
IStream::Line	currentLine () const
	Retourne la ligne en cours d'analyse. More...

std::string	currentStreamName () const
	Retourne le nom du flux en cours d'analyse. More...

void	assertParent (XmlDocument const &doc, XmlDocument::Node const *el, std::string const &parentname)
	Vérification que l'élément parent du noeud passé est bien du bon intitulé. More...

Protected Member Functions inherited from cogitant::OperationInput
IStream::LexemeType	assertLexeme (IStream::Lexeme &s, IStream::LexemeType l1, wchar_t sc1=0, IStream::LexemeType l2=IStream::LEX_UNKNOWN, wchar_t sc2=0, IStream::LexemeType l3=IStream::LEX_UNKNOWN, wchar_t sc3=0, IStream::LexemeType l4=IStream::LEX_UNKNOWN, wchar_t sc4=0, IStream::LexemeType l5=IStream::LEX_UNKNOWN, wchar_t sc5=0)
	Lit le lexème suivant qui doit être d'un des types donnés. More...

IStream::LexemeType	assertLexeme (IStream::Lexeme &s, IStream::LexemeType ltypes[], wchar_t lchars[])
	Lit le lexème suivant qui doit être d'un des types donnés. More...

IStream::LexemeType	verifyLexeme (IStream::Lexeme const &l, IStream::LexemeType l1, wchar_t sc1=0, IStream::LexemeType l2=IStream::LEX_UNKNOWN, wchar_t sc2=0, IStream::LexemeType l3=IStream::LEX_UNKNOWN, wchar_t sc3=0, IStream::LexemeType l4=IStream::LEX_UNKNOWN, wchar_t sc4=0, IStream::LexemeType l5=IStream::LEX_UNKNOWN, wchar_t sc5=0)
	Vérifie si un lexème est d'un des types donnés. More...

IStream::LexemeType	verifyLexeme (IStream::Lexeme const &l, IStream::LexemeType ltypes[], wchar_t lchars[])
	Vérifie si un lexème est d'un des types donnés. More...

virtual _NO_RETURN_PRE void	throwExceptionCurrent (unsigned int code, std::string const &msg="") const _NO_RETURN_POST
	Lève une exception (par appel à throwException()) sur la ligne courante sur le flux courant. More...

void	throwWarningCurrent (unsigned int code, std::string const &msg="")
	Lève une exception non fatale. More...

void	convertCgtInterface (Graph *g)
	Conversion du codage des propriétés graphiques de cgtinterface/CoGui. More...

iSet	findConceptType (std::string const &i, bool throwifnotfound) const
	Raccourci pour chercher un type de concept dans le support, et qui le crée éventuellement à l'occasion, selon le réglage de l'opération. More...

iSet	findConceptOrDataType (std::string const &i) const
	Raccourci pour chercher un type de concept ou de données dans le support. More...

iSet	findRelationType (std::string const &i, bool throwifnotfound) const
	Raccourci pour chercher un type de relation dans le support, et qui le crée éventuellement à l'occasion, selon le réglage de l'opération. More...

iSet	findNestingType (std::string const &i, bool throwifnotfound) const
	Raccourci pour chercher un type d'emboîtement dans le support, et qui le crée éventuellement à l'occasion, selon le réglage de l'opération. More...

iSet	findIndividual (std::string const &i, bool throwifnotfound) const
	Raccourci pour chercher un marqueur individuel dans le support, et qui le crée éventuellement à l'occasion, selon le réglage de l'opération. More...

iSet	findDatatype (std::string const &i, bool throwifnotfound) const
	Raccourci pour chercher un Datatype dans le support, et qui le crée éventuellement à l'occasion, selon le réglage de l'opération. More...

iSet	findConceptTypeById (std::string const &id, bool throwifnotfound) const
	Retourne l'iSet du type de concept dont l'identificateur (ConceptType::identifier()) est passé en paramètre. More...

iSet	findConceptOrDataTypeById (std::string const &id) const
	Retourne l'iSet du type de concept ou de données dont l'identificateur (ConceptType::identifier()) est passé en paramètre. More...

iSet	findRelationTypeById (std::string const &id, bool throwifnotfound) const
	Retourne l'iSet du type de relation dont l'identificateur (RelationType::identifier()) est passé en paramètre. More...

iSet	findNestingTypeById (std::string const &id, bool throwifnotfound) const
	Retourne l'iSet du type d'emboîtement dont l'identificateur (NetingType::identifier()) est passé en paramètre. More...

iSet	findIndividualById (std::string const &id, bool throwifnotfound) const
	Retourne l'iSet du marqueur individual dont l'identificateur (Individual::identifier()) est passé en paramètre. More...

void	previouslyReadClear ()
	Efface la mémorisation des intitulés et identifiants déjà lus. More...

bool	previouslyReadHas (bool id, std::string const &s) const
	Est-ce que que l'identifiant ou l'intitulé a déjà été lu. More...

void	previouslyReadAdd (bool id, std::string const &s)
	Ajoute un identifiant ou un intitulé à l'ensemble des chaînes déjà lues. More...

bool	previouslyReadAddVerify (bool id, std::string const &s)
	Ajoute un identifiant ou un intitulé si celui-ci ne figure pas déjà dans l'ensemble des chaînes déjà lues. More...

void	previouslyReadInit (bool label, bool id, int s)
	Construit les structures de données prévues pour tester si un intitulé ou un identificateur a déjà été lu. More...

bool	propertyAccept (Property::Type p, iSet sub=ISET_NULL) const
	La propriété doit-elle être acceptée. More...

bool	propertyAccept (std::string p, iSet sub=ISET_NULL) const
	La propriété doit-elle être acceptée. More...

Protected Member Functions inherited from cogitant::OperationIO
virtual std::string	propertyTypeToString (Property::Type p, iSet sub=ISET_NULL) const
	Chaîne de caractères représentant une propriété. More...

void	throwExceptionIO (std::string const &what, unsigned int code=0, unsigned int line=0)
	Levée d'une exception de type ExceptionIO. 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 ObserverSet *	allocObservers () 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...

ObserverSet &	observers ()
	Accès à l'ensemble des observateurs. More...

Protected Member Functions inherited from cogitant::CogitantObject
virtual PropertySet *	allocProperties () 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
std::vector< CogitantObject * >	m_stackobjects
	Pile des objets lus. More...

State	m_state
	Etat de l'analyseur. More...

iSet	m_conceptid
	Identificateur du sommet concept en cours de lecture. More...

MapIdentISet	m_idhypo
	Correspondances id xml - id internes pour l'hypothèse de la règle. More...

MapIdentISet	m_idconc
	Correspondances id xml - id internes pour la conclusion de la règle. More...

CoupleOfLambdas *	m_col
	Couple de lambda-graphes en cours de lecture.

std::vector< iSet >	m_conjunctivetype
	Type conjonctif en cours de lecture. More...

std::string	m_graphnodepointer
	Identifiant du sommet pointeur tête du graphe en cours de lecture. More...

ContentHandlerCoGXML *	m_contenthandler
	Gestionnaire de contenu XML associé. More...

Protected Attributes inherited from cogitant::OperationInputXml
std::istream *	i_stream
	Flux de lecture.

bool	i_ignoreunknownelements
	Ignore les éléments inconnus.

std::string	m_streamname
	Nom du flux.

XmlInput::IStreamXml const *	m_streamxml
	Flux XML utilisé par l'opération de lecture XML (utilisé pour récupérer nom et position dans le flux en cas de levée d'exception).

Protected Attributes inherited from cogitant::OperationInput
IStream *	m_stream
	Flux de lecture.

bool	i_support
	Lecture d'un support autorisée.

bool	i_objects
	Lecture d'EnvironmentObject autorisée.

bool	i_inenvironment
	Les objets lus sont-ils stockés dans l'environnement (`true`) ou dans le résultat de l'opération (`false`).

bool	i_convertcgti
	Conversion des propriétés graphiques des fichiers générés par cgtinterface/CoGui.

bool	i_graphobjectidentifiers
	Conservation des identificateurs des objets lus dans le fichier dans les graphes. More...

bool	i_autocreatetypes
	Création automatique de types dans le support quand des graphes/règles/contraintes sont lus.

bool	i_autocreateindividuals
	Création automatique de marqueurs individuels quand des graphes/règles/contraintes sont lus.

bool	i_ignoreredeclarationindividuals
	Ignore les déclarations de marqueurs individuels existants.

iSet	i_forcegraph
	Graphe destination des connaissances lues.

PropertySet::Filter *	i_propfilter
	Filtre pour la lecture de propriétés. More...

std::string	i_baseids
	Base pour les identifiants relatifs. More...

std::vector< iSet > *	io_resultenvironmentids
	Si les objets lus sont stockés dans l'environnement, contient en sortie les identificateurs des objets lus.

Set< EnvironmentObject * > *	io_resultobjects
	Si les objets lus sont stockés dans le résultat de l'opération, contient en sortie des pointeurs vers les objets lus.

EnvironmentObject *	m_object
	Objet (Graph ou Rule) en cours de lecture.

MapIdentISet	m_formatid
	Correspondances identificateurs du format (CoGXML, BCGCT, etc.) - identificateurs internes à l'objet en cours de lecture. More...

std::set< std::string >	m_previouslyreadlabels
	Intitulés (labels) déjà lus. More...

std::set< std::string >	m_previouslyreadids
	Identificateurs déjà lus. More...

bool	m_supportadd
	Est-ce que le support en cours de lecture est un ajout au support précédent ( `true` ) ou un nouveau support ( `false` ). More...

Protected Attributes inherited from cogitant::OperationBase
bool	m_stop
	Arrêt de l'exécution de l'opération demandé. More...

Friends
class	ContentHandlerCoGXML

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 Member Functions inherited from cogitant::OperationIO
static Property::Type	stringToPropertyTypeDefault (const std::string &s)
	Type de propriété représenté par une chaîne (nom de stockage) Cette méthode (de classe) permet la correspondance entre types et chaînes pour les propriétés standard. More...

static std::string	propertyTypeToStringDefault (Property::Type p)
	Chaîne de caractères (nom de stockage) représentant une propriété. 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...

Static Protected Attributes inherited from cogitant::OperationIO
static const char *	c_standardproperties_label []

static const Property::Type	c_standardproperties_id []

Detailed Description

Opération d'entrée de support/graphes au format CoGXML.

See also: CoGXML Format, ExceptionInputCoGXML, OperationCoGXMLOutput.

Examples:: converter.cpp.

Member Enumeration Documentation

◆ State

enum cogitant::OperationCoGXMLInput::State

protected

Etat de l'analyseur.

Enumerator
Unknown	Inconnu.
ConceptTypes	Lecture des types de concepts.
ConceptTypesOrder	Lecture de l'ordre sur les types de concepts.
RelationTypes	Lecture des types de relations.
RelationTypesOrder	Lecture de l'ordre sur les types de relations.
NestingTypes	Lecture des types d'emboîtements.
NestingTypesOrder	Lecture de l'ordre sur les types d'emboîtements.
Individuals	Lecture des marqueurs individuels.
BannedTypes	Lecture des types bannis.
Modules	Lecture des modules.

Constructor & Destructor Documentation

◆ OperationCoGXMLInput()

cogitant::OperationCoGXMLInput::OperationCoGXMLInput ( Environment * env )

Constructeur.

◆ ~OperationCoGXMLInput()

cogitant::OperationCoGXMLInput::~OperationCoGXMLInput ( )

Destructeur.

Member Function Documentation

◆ createWarning()

ExceptionInput* cogitant::OperationCoGXMLInput::createWarning	(	unsigned int	code,
		std::string const &	streamname,
		unsigned int	line,
		std::string const &	msg
	)		const

protectedvirtual

Crée une exception non fatale.

Implements cogitant::OperationInput.

◆ createXmlContentHandler()

XmlInput::ContentHandler* cogitant::OperationCoGXMLInput::createXmlContentHandler ( )

protectedvirtual

Méthode devant créer une sous-classe de XmlInput::ContentHandler pour gérer le contenu du flux lu.

Implements cogitant::OperationInputXml.

◆ findSignatureById()

RelationType::Signature cogitant::OperationCoGXMLInput::findSignatureById ( std::string const & id )

protected

Interprétation d'une signature donnée sous forme d'identificateurs XML.

Parameters

id	description de la signature dans le document XML (ensemble d'identificateurs XML).

Returns: un tableau contenant les identificateurs des types de concepts (leurs iSet) correspondant à la sigature.

◆ findSignatureByLabels()

RelationType::Signature cogitant::OperationCoGXMLInput::findSignatureByLabels ( std::string const & id )

protected

Interprétation d'une signature donnée sous forme des intitulés des types de concepts.

Parameters

id	description de la signature (ensemble de labels des types de concepts).

Returns: un tableau contenant les identificateurs des types de concepts (leurs iSet) correspondant à la sigature.

◆ findTypeById()

iSet cogitant::OperationCoGXMLInput::findTypeById ( std::string const & id )

protected

Recherche d'un type par son id.

Recherche un type de concept, relation ou emboîtement selon la valeur de m_state

◆ findTypeByLabel()

iSet cogitant::OperationCoGXMLInput::findTypeByLabel ( std::string const & lab )

protected

Recherche d'un type par son label.

Recherche un type de concept, relation ou emboîtement selon la valeur de m_state

◆ readAllBanned()

void cogitant::OperationCoGXMLInput::readAllBanned	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un ensemble de types bannis deux à deux.

◆ readBannedType()

void cogitant::OperationCoGXMLInput::readBannedType	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un type banni.

◆ readBannedTypes()

void cogitant::OperationCoGXMLInput::readBannedTypes	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture de l'ensemble des types bannis.

◆ readCogxml()

void cogitant::OperationCoGXMLInput::readCogxml	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture de l'élément cogxml.

Parameters

doc	document XML en cours de lecture.
el	élément `cogxml` dans doc.
begin	`true` lors de la lecture de l'élément ouvrant, `false` lors de la lecture de l'élément fermant.

◆ readConcept()

void cogitant::OperationCoGXMLInput::readConcept	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un sommet concept d'un graphe.

◆ readConceptTypes()

void cogitant::OperationCoGXMLInput::readConceptTypes	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture de l'ensemble partiellement ordonné des types de concepts.

◆ readConformity()

void cogitant::OperationCoGXMLInput::readConformity	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture de l'ensemble des marqueurs individuels et de la relation de conformité.

◆ readConPts()

void cogitant::OperationCoGXMLInput::readConPts	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture des points d'attache d'un couple de lambda-graphes.

◆ readCouple()

void cogitant::OperationCoGXMLInput::readCouple	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un couple de l'ensemble des poins d'attache d'une règle.

◆ readCoupleOfLambdas()

void cogitant::OperationCoGXMLInput::readCoupleOfLambdas	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'une règle, contrainte positive, contrainte négative.

◆ readCoupleOfLambdasFirst()

void cogitant::OperationCoGXMLInput::readCoupleOfLambdasFirst	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture du premier graphe d'un couple de lambda-graphes (hypothèse pour une règle, condition pour une contrainte).

◆ readCoupleOfLambdasSecond()

void cogitant::OperationCoGXMLInput::readCoupleOfLambdasSecond	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture du second graphe d'un couple de lambda-graphes (conclusion, obligation, interdiction).

◆ readCType()

void cogitant::OperationCoGXMLInput::readCType	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un type de concept.

◆ readEdge()

void cogitant::OperationCoGXMLInput::readEdge	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'une arête d'un graphe.

◆ readGraph()

void cogitant::OperationCoGXMLInput::readGraph	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un graphe.

◆ readMarker()

void cogitant::OperationCoGXMLInput::readMarker	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un marqueur individuel.

◆ readModule()

void cogitant::OperationCoGXMLInput::readModule	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un module.

◆ readModules()

void cogitant::OperationCoGXMLInput::readModules	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture de l'ensemble des modules.

◆ readNesting()

void cogitant::OperationCoGXMLInput::readNesting	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un emboîtement d'un graphe.

◆ readNestingTypes()

void cogitant::OperationCoGXMLInput::readNestingTypes	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture de l'ensemble partiellement ordonné des types d'emboîtements.

◆ readNType()

void cogitant::OperationCoGXMLInput::readNType	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un type d'emboîtement.

◆ readOrder()

void cogitant::OperationCoGXMLInput::readOrder	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un élément order.

◆ readProperties()

void cogitant::OperationCoGXMLInput::readProperties	(	CogitantObject *	obj,
		XmlDocument::Element const *	node,
		char const *const	aignorer[],
		iSet	subid = `ISET_NULL`
	)

protected

Lecture des propriétés d'un objet.

Cette méthode se charge aussi d'empiler obj dans la pile des objets lus.

Parameters

obj	l'objet dans lequel les propriétés lues sont stockées. Si NULL, utilise l'objet qui est au sommet de la pile.
node	le noeud dans l'arborescence XML dont les attributs sont lus.
aignorer	le vecteur contenant les propriétes déjà traitées auparavant et qui doivent être ignorées dans cette méthode. Le tableau doit être terminé par une valeur NULL.
subid	les propriétés lues sont stockées dans les propriétés de obj dans le sous-ensemble correspondant à subid.

◆ readRelation()

void cogitant::OperationCoGXMLInput::readRelation	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un sommet relation d'un graphe.

◆ readRelationTypes()

void cogitant::OperationCoGXMLInput::readRelationTypes	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture de l'ensemble partiellement ordonné des types de relations.

◆ readRType()

void cogitant::OperationCoGXMLInput::readRType	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un type de relation.

◆ readSubprop()

void cogitant::OperationCoGXMLInput::readSubprop	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un élément subprop.

◆ readSupport()

void cogitant::OperationCoGXMLInput::readSupport	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un support.

◆ readText()

void cogitant::OperationCoGXMLInput::readText	(	XmlDocument const &	doc,
		XmlDocument::Text const *	te
	)

protected

Lecture de texte (normalement contenu dans un élément value).

◆ readTranslation()

void cogitant::OperationCoGXMLInput::readTranslation	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'une traduction d'un élément du support.

◆ readType()

void cogitant::OperationCoGXMLInput::readType	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture d'un type (à l'intérieur d'un type banni ou d'un concept).

◆ readValue()

void cogitant::OperationCoGXMLInput::readValue	(	XmlDocument const &	doc,
		XmlDocument::Element const *	el,
		bool	begin
	)

protected

Lecture de la valeur d'un sommet concept d'un graphe.

◆ runBegin()

void cogitant::OperationCoGXMLInput::runBegin ( XmlInput & xi )

protectedvirtual

Méthode appelée au début de l'analyse (juste après la détection du format).

Par défaut, ne fait rien.

Reimplemented from cogitant::OperationInputXml.

◆ runEnd()

void cogitant::OperationCoGXMLInput::runEnd ( )

protectedvirtual

Méthode appelée à la fin de l'analyse.

Par défaut, ne fait rien.

Reimplemented from cogitant::OperationInputXml.

◆ runException()

void cogitant::OperationCoGXMLInput::runException ( )

protectedvirtual

Méthode appelée en cas d'exception levée dans l'analyse.

Par défaut, ne fait rien.

Reimplemented from cogitant::OperationInputXml.

◆ stringToPropertyType()

Property::Type cogitant::OperationCoGXMLInput::stringToPropertyType	(	std::string const &	s,
		iSet *	sub = `NULL`,
		std::string *	nomprop = `NULL`
	)		const

protectedvirtual

Type de propriété représenté par une chaîne.

Par défaut, cette méthode appelle stringToPropertyTypeDefault().

Parameters

s	chaîne à traduire.
sub	si différent de `NULL` essaie d'interpréter s comme une chaine contenant aussi une valeur entière, la valeur entière est alors stockée dans *result (qui contient ISET_NULL si aucune valeur entière n'a été lue).
nomprop	si différent de `NULL`, contient en sortie le nom de la propriété, ce qui peut être utile s'il s'agit d'une propriété non standard.

Returns: le type de propriété (Property::Type) associé à la chaîne passée ou Property::UNDEFINED si la chaîne ne correspond à aucune propriété connue.

Reimplemented from cogitant::OperationIO.

◆ throwException() [1/2]

void cogitant::OperationCoGXMLInput::throwException	(	unsigned int	code,
		std::string const &	streamname,
		unsigned int	line,
		std::string const &	msg = `""`
	)		const

protectedvirtual

Lève une exception du type correspondant à une erreur d'analyse du flux d'entrée.

Il est préférable de redéfinir cette méthode les sous-classes car elle lève une ExceptionInput et il est préférable de lever des types d'exceptions spécifiques à chaque format.

Parameters

code	sous-code d'erreur.
streamname	nom du flux contenant l'erreur.
line	ligne du flux contenant l'erreur.
msg	message d'erreur.

Reimplemented from cogitant::OperationInput.

◆ throwException() [2/2]

void cogitant::OperationCoGXMLInput::throwException	(	unsigned int	code,
		std::string const &	msg
	)

protected

Lève une exception ExceptionInputCoGXML.

Member Data Documentation

◆ m_conceptid

iSet cogitant::OperationCoGXMLInput::m_conceptid

protected

Identificateur du sommet concept en cours de lecture.

◆ m_conjunctivetype

std::vector<iSet> cogitant::OperationCoGXMLInput::m_conjunctivetype

protected

Type conjonctif en cours de lecture.

◆ m_contenthandler

ContentHandlerCoGXML* cogitant::OperationCoGXMLInput::m_contenthandler

protected

Gestionnaire de contenu XML associé.

◆ m_graphnodepointer

std::string cogitant::OperationCoGXMLInput::m_graphnodepointer

protected

Identifiant du sommet pointeur tête du graphe en cours de lecture.

◆ m_idconc

MapIdentISet cogitant::OperationCoGXMLInput::m_idconc

protected

Correspondances id xml - id internes pour la conclusion de la règle.

◆ m_idhypo

MapIdentISet cogitant::OperationCoGXMLInput::m_idhypo

protected

Correspondances id xml - id internes pour l'hypothèse de la règle.

◆ m_stackobjects

std::vector<CogitantObject *> cogitant::OperationCoGXMLInput::m_stackobjects

protected

Pile des objets lus.

On aurait pu utiliser une std::stack, mais elle produit des avertissements avec valgrind, et en plus, on ne peut pas faire simplement un clear() d'une stack.

◆ m_state

State cogitant::OperationCoGXMLInput::m_state

protected

Etat de l'analyseur.

Public Member Functions

Protected Types

Protected Member Functions

Protected Attributes

Friends

Additional Inherited Members

Detailed Description

Member Enumeration Documentation

◆ State

Constructor & Destructor Documentation

◆ OperationCoGXMLInput()

◆ ~OperationCoGXMLInput()

Member Function Documentation

◆ createWarning()

◆ createXmlContentHandler()

◆ findSignatureById()

◆ findSignatureByLabels()

◆ findTypeById()

◆ findTypeByLabel()

◆ readAllBanned()

◆ readBannedType()

◆ readBannedTypes()

◆ readCogxml()

◆ readConcept()

◆ readConceptTypes()

◆ readConformity()

◆ readConPts()

◆ readCouple()

◆ readCoupleOfLambdas()

◆ readCoupleOfLambdasFirst()

◆ readCoupleOfLambdasSecond()

◆ readCType()

◆ readEdge()

◆ readGraph()

◆ readMarker()

◆ readModule()

◆ readModules()

◆ readNesting()

◆ readNestingTypes()

◆ readNType()

◆ readOrder()

◆ readProperties()

◆ readRelation()

◆ readRelationTypes()

◆ readRType()

◆ readSubprop()

◆ readSupport()

◆ readText()

◆ readTranslation()

◆ readType()

◆ readValue()

◆ runBegin()

◆ runEnd()

◆ runException()

◆ stringToPropertyType()

◆ throwException() [1/2]

◆ throwException() [2/2]

Member Data Documentation

◆ m_conceptid

◆ m_conjunctivetype

◆ m_contenthandler

◆ m_graphnodepointer

◆ m_idconc

◆ m_idhypo

◆ m_stackobjects

◆ m_state