1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#ifndef __PATTERNMATCHER__
#define __PATTERNMATCHER__
using namespace std;
#include <vector>
#include "tlib.hh"
struct Automaton;
/* Create a pattern matching automaton from the given list of rules. */
Automaton *make_pattern_matcher(Tree R);
/* Apply the pattern matcher to a single argument, starting from a given state
s. Returns the resulting state, modifies the variable bindings E
accordingly, and sets C to the resulting closure if a final state is
reached. Result will be -1 to indicate a matching failure, and C will be
set to nil if no final state has been reached yet. */
int apply_pattern_matcher(Automaton *A, // automaton
int s, // start state
Tree X, // arg to be matched
Tree& C, // output closure (if any)
vector<Tree>& E); // modified output environments
#endif
|
