examples-learning/parsers_8h_source.html

 #ifndef _PARSERS_H_
 #define _PARSERS_H_

 #include <stdlib.h>
 #include <stdio.h>
 #include <string.h>
 #include <limits.h>

 #include "../types/examples.h"
 #include "../types/model.h"
 #include "../types/string-type.h"
 #include "../app/output.h"

 #define PARSED_EXAMPLE 1

 #define PARSED_COUNTEREXAMPLE 2

 struct StringVector {
     Vector(char*) seen;
 };

 char* getIncludeFile(char const* pathname, size_t * pos);

 Examples* loadExampleFile(char const* pathname, Model* model, size_t startPos);

 unsigned int getNextExample(FILE* f);

 int parseExample(FILE* fp, char** error, Example* ex, Model* m);

 int parseExampleObject(FILE* fp, char** error, Object* o, Model* m, struct StringVector* seenObjects);

 int getAttributePosition(const char* attr, Model* m);

 int getRelationPosition(const char* rel, Model* m);

 void parseAttrValue(FILE* fp, char** error, Model* m, attrType type, Attribute* attr, unsigned int position, struct StringVector* seenObjects);

 Model* loadConfigFile(char const* pathname);

 int parseConfigLine(FILE* fp, char** error, Model* out) ;

 char* parseAttrName(FILE* fp, char** error);

 ModelType* parseAttrType(FILE* fp, char** error);

 Interval* parseAttrTypeInterval(FILE* fp, char** error);

 Enum* parseAttrTypeEnum(FILE* fp, char** error);

 Tree* parseAttrTypeTree(FILE* fp, char** error, int* index, int indent);

 int isValidAttrChar(char c, unsigned int first);

 void readFileSpaces(FILE* fp, char const* set);

 void readTil(FILE* fp, char const* set);

 #endif // _PARSERS_H_
ModelType
Structure that contains the type and the values of the attribute depending on type.
Definition: model-type.h:20

parseExampleObject
int parseExampleObject(FILE *fp, char **error, Object *o, Model *m, struct StringVector *seenObjects)
Parse an object (only its properties. The name must already be known)
Definition: parsers.c:264

Example
All the objects composing an example (or a counter-example)
Definition: example.h:22

parseAttrTypeInterval
Interval * parseAttrTypeInterval(FILE *fp, char **error)
Tries to parse an interval.
Definition: parsers.c:612

getRelationPosition
int getRelationPosition(const char *rel, Model *m)
Returns the position at which can be found a relation (by name)
Definition: parsers.c:336

attrType
unsigned char attrType
Stores the type of the attribute.
Definition: attribute-types.h:17

getNextExample
unsigned int getNextExample(FILE *f)
Get the type of the next example (example or counter-example). Stop reading at the end of the example...
Definition: parsers.c:133

parseAttrTypeEnum
Enum * parseAttrTypeEnum(FILE *fp, char **error)
Tries to parse an enumeration.
Definition: parsers.c:697

Attribute
Represents an attribute and the value it holds.
Definition: attribute.h:21

readFileSpaces
void readFileSpaces(FILE *fp, char const *set)
Reads a file from the current position and reads while characters are in the set. Stops on the last o...
Definition: parsers.c:824

getIncludeFile
char * getIncludeFile(char const *pathname, size_t *pos)
Get the pathname to the config file included at the begening of an example file.
Definition: parsers.c:10

isValidAttrChar
int isValidAttrChar(char c, unsigned int first)
Check whether the character is allowed in an attribute name or not.
Definition: parsers.c:816

StringVector::Vector
Vector(char *) seen
An array of strings.

parseExample
int parseExample(FILE *fp, char **error, Example *ex, Model *m)
Parse an example or a counterexample.
Definition: parsers.c:161

Examples
Structure that contains the examples and counter-examples of the parsed example file.
Definition: examples.h:20

parseConfigLine
int parseConfigLine(FILE *fp, char **error, Model *out)
Tries to parse the line as a config file attribute definition. If the line is empty, continues to read until it finds a line.
Definition: parsers.c:449

Enum
Structure that defines the enumeration type.
Definition: enum.h:30

getAttributePosition
int getAttributePosition(const char *attr, Model *m)
Returns the position at which can be found an attribute (by name)
Definition: parsers.c:326

Model
Contains the attributes and relations definitions found in the model file.
Definition: model.h:20

loadExampleFile
Examples * loadExampleFile(char const *pathname, Model *model, size_t startPos)
Loads the example file given and generate the Example object that represents its content.
Definition: parsers.c:71

StringVector
Stores an array of C string.
Definition: parsers.h:30

readTil
void readTil(FILE *fp, char const *set)
Reads a file from the current position and reads until it finds a character in the set...
Definition: parsers.c:844

loadConfigFile
Model * loadConfigFile(char const *pathname)
Loads the config file given anf the generate the Model object that represents its content...
Definition: parsers.c:422

Object
Contains all the attributes and relations that compose an Object.
Definition: object.h:18

Tree
Defines the n-ary tree.
Definition: tree.h:25

parseAttrTypeTree
Tree * parseAttrTypeTree(FILE *fp, char **error, int *index, int indent)
Tries to parse a tree.
Definition: parsers.c:737

parseAttrType
ModelType * parseAttrType(FILE *fp, char **error)
Tries to parse the attribute&#39;s value definition at the current position in the file (may read more th...
Definition: parsers.c:544

Interval
Structure that contains a signed integer interval.
Definition: interval.h:17

parseAttrName
char * parseAttrName(FILE *fp, char **error)
Tries to parse the attribute name at the current position in the file (spaces & tabs are ommited) ...
Definition: parsers.c:516

parseAttrValue
void parseAttrValue(FILE *fp, char **error, Model *m, attrType type, Attribute *attr, unsigned int position, struct StringVector *seenObjects)
Parse the attribute&#39;s value and populate the Attribute object accordingly.
Definition: parsers.c:346