-
Notifications
You must be signed in to change notification settings - Fork 0
/
parser.py
182 lines (154 loc) · 5.34 KB
/
parser.py
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
class Collector:
def __init__(self, first):
self.data = [ first ]
def append(self, item):
self.data.append(item)
def __getitem__(self, key):
return self.data[key]
def __len__(self):
return len(self.data)
class StreamLookAhead:
def __init__(self, source):
self.source = source
self.buffer = []
self.source.seek(0)
def next(self):
if len(self.buffer) > 0:
self.buffer.pop(0)
return True
else:
items = self.source.read(1)
if len(items) == 0:
return False
self.buffer.append(items[0])
return True
def getpos(self):
return self.source.getpos() - len(self.buffer)
def __getitem__(self, key):
if not isinstance(key, int) or key < 0:
raise Exception(f'Bad index {key}')
if key < len(self.buffer):
return self.buffer[key]
self.buffer.extend(self.source.read( key + 1 - len(self.buffer) ))
if key < len(self.buffer):
return self.buffer[key]
return None
class Parser:
def __init__(self):
self.source = None
self.context = None
self.start = None
self.stream = None
self.nodes = []
def transform(self, environ, data=None, operands=None):
self.stream = StreamLookAhead(eval(self.source, environ))
if self.context != None and data == None:
data = eval(self.context, environ)
self.nodes = [ Node(self.start, data) ]
while len(self.nodes) > 0:
top = self.nodes[-1]
action = top.state.default
for a in top.state.actions:
y = eval(a.condition, {'self':self})
if eval(a.condition, {'self':self}):
action = a
break
top.call(action.function, self.stream[0])
if action.push != None:
self.push(action.push)
action.action()
def pop(self):
if len(self.nodes) > 1:
self.nodes[-2].call(self.nodes[-1].onpop, self.nodes[-1].context)
self.nodes.pop()
def push(self, pushst):
node = Node(pushst.nextstate, self.nodes[-1].call(pushst.context, self.stream[0]) )
node.onpop = pushst.onpop
self.nodes.append(node)
def stall(self):
''' The parser expects something but haven't got it '''
raise Exception(f'Parser get unexpected {self.stream[0]} in state {self.state.name}')
def next(self):
''' Shifts to a next position in input stream '''
self.stream.next()
def stop(self):
''' Stops the parsing '''
while(len(self.nodes)):
self.pop()
class State:
def __init__(self, name):
self.name = name
self.default = None
self.actions = []
class Node:
def __init__(self, state, context):
self.state = state
self.context = context
self.onpop = None
def call(self, function, operand):
if self.context != None and function != None:
return getattr(self.context, function)(operand)
class Push:
def __init__(self):
self.nextstate = None
self.context = None
self.onpop = None
class Action:
def __init__(self):
self.condition = ""
self.action = None
self.function = None
self.push = None
class ParserLoader:
def __init__(self, module):
self.parser = Parser()
self.states = {}
self.module = module
def getaction(self, ydef, default):
if 'action' in ydef:
return getattr(self.parser, ydef['action'])
else:
return default
def loadstatedefault(self, state, ydef):
state.default.action = self.getaction(ydef, self.parser.stall)
def loadpush(self, action, ypush):
action.push = Push()
action.push.nextstate = self.states[ypush['next']]
action.push.context = ypush['with']
if 'pop' in ypush:
action.push.onpop = ypush['pop']
def loadstate(self, ystate):
state = self.states[ystate['state']]
state.default = Action()
self.loadstatedefault(state, ystate['default'])
for yact in ystate['actions']:
action = Action()
action.condition = 'self.stream' + yact['on']
if 'do' in yact:
action.function = yact['do']
action.action = self.getaction(yact, self.parser.next)
if 'push' in yact:
self.loadpush(action, yact['push'])
state.actions.append(action)
def loadmachine(self, ymachine):
for ydef in ymachine:
if 'state' in ydef:
state = State(ydef['state'])
self.states[state.name] = state
if self.parser.start == None:
self.parser.start = state
for ydef in ymachine:
if 'state' in ydef:
self.loadstate(ydef)
@classmethod
def load(cls, ymeta, module):
loader = cls(module)
loader.parser.source = ymeta['parse']
if 'with' in ymeta:
loader.parser.context = ymeta['with']
loader.loadmachine(ymeta['machine'])
return loader.parser
def loadparser(ymeta, module):
return ParserLoader.load(ymeta, module)
def collector(first):
return Collector(first)