Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
83 lines (64 sloc) 2.47 KB
// Copyright (C) 2014 Michael Biggs. See the COPYING file at the top-level
// directory of this distribution and at
#ifndef _statik_Rule_h_
#define _statik_Rule_h_
/* Production rules
* A Rule is a node in a grammar tree: the description of the grammar we intend
* to parse. Note that the "tree" allows recursive back-edges.
* A Rule is parameterized by two functions:
* - ParseFunc: Indicates how to parse this node.
* - OutputFunc: Characterizes the output of a successful parse.
* From the Rule, we can generate STree nodes, which represents the actual
* attempt to parse the input. So the Rule serves as a "factory" template for
* its STree nodes. Its ParseFunc and OutputFunc are mere prototypes, not
* intended to be used, but we will Clone() them to provide an STree node via
* the MakeNode() method.
#include "List.h"
#include "OutputFunc.h"
#include "ParseFunc.h"
#include "STree.h"
#include "State.h"
#include <memory>
#include <ostream>
#include <string>
#include <vector>
namespace statik {
class Rule {
typedef std::vector<Rule*> child_vec;
typedef child_vec::const_iterator child_iter;
Rule(const std::string& name,
std::auto_ptr<ParseFunc> CloneParseFunc() const;
std::auto_ptr<OutputFunc> CloneOutputFunc() const;
Rule& SetParseFunc(std::auto_ptr<ParseFunc> parseFunc);
Rule& SetOutputFunc(std::auto_ptr<OutputFunc> outputFunc);
Rule* SilenceOutput();
Rule* CapOutput(const std::string& cap);
Rule* AddChild(std::auto_ptr<Rule> child);
Rule* AddChildRecursive(Rule* child);
STree* MakeNode(STree& parent, const List& istart) const;
STree* MakeNode(STree& parent, const List& istart, STree::child_mod_iter insertPos) const;
std::string Name() const { return m_name; }
const child_vec& GetChildren() const { return m_children; }
std::string Print() const;
std::string DrawNode(const std::string& context) const;
typedef std::vector<bool> childOwnership_vec;
typedef childOwnership_vec::const_iterator childOwnership_iter;
std::string m_name;
std::auto_ptr<ParseFunc> m_parseFunc;
std::auto_ptr<OutputFunc> m_outputFunc;
child_vec m_children;
// Same length as m_children. True where a child is owned (should be deleted
// at destruction time), false otherwise.
childOwnership_vec m_childOwnership;
std::ostream& operator<< (std::ostream& out, const Rule& rule);
#endif // _statik_Rule_h_
You can’t perform that action at this time.