PromelaParser.h

Go to the documentation of this file.

// bison -v promela.ypp && flex promela.l

#ifndef PROMELA_H_9AB78YB1
#define PROMELA_H_9AB78YB1

#include <stdlib.h>
//#include <stdarg.h>
#include <cstdarg>
#include <string>
#include <list>

#include "uscxml/messages/Event.h"

namespace uscxml {

class PromelaParser;

class PromelaParserNode {
public:
    struct Location {
        int firstLine;
        int firstCol;
        int lastLine;
        int lastCol;
    };

    PromelaParserNode() : type(0), parent(NULL), loc(NULL) {}
    virtual ~PromelaParserNode();

    void merge(PromelaParserNode* node);
    void push(PromelaParserNode* node);
    void dump(size_t indent = 0);

    static std::string typeToDesc(int type);

    int type;
    std::string value;
    std::list<PromelaParserNode*> operands;
    PromelaParserNode* parent;
    Location* loc;
};

class PromelaParser {
public:
    enum Type {
        PROMELA_EXPR,
        PROMELA_DECL,
        PROMELA_STMNT
    };

    static std::string typeToDesc(int type);

    PromelaParser() : ast(NULL) {}
    PromelaParser(const std::string& expr);
    PromelaParser(const std::string& expr, int nrArgs, ...);
    virtual ~PromelaParser();

    virtual PromelaParserNode* node(int type, int nrArgs, ...);
    virtual PromelaParserNode* value(int type, void* location, const char* value);
    void dump();

    int parseInCompound;

    PromelaParserNode* ast;
    Type type;

    ErrorEvent pendingException;
    operator bool() const {
        return ast != NULL;
    }

protected:

    void init(const std::string& expr);
    void destroy();

    void* buffer;
    void* scanner;
    char* input;
    size_t input_length;
};

}

void promela_error (void* yylloc_param, uscxml::PromelaParser* ctx, void* yyscanner, const char* err);

#endif /* end of include guard: PROMELA_H_9AB78YB1 */