def generate_code(self, pos_name="pos"):
self.get_type().add_to_context()
cpos = gen_name("lst_cpos")
parser_context = self.parser.gen_code_or_fncall(cpos)
sep_context = (self.sep.gen_code_or_fncall(cpos) if self.sep else
ParserCodeContext(None, None, None, []))
t_env = TemplateEnvironment(pos_name=pos_name,
parser=self,
pos=gen_name("lst_pos"),
res=gen_name("lst_res"),
cpos=cpos,
parser_context=parser_context,
sep_context=sep_context)
decls = [
(t_env.pos, Token),
(t_env.res, self.get_type()),
(t_env.cpos, Token),
] + parser_context.var_defs + sep_context.var_defs
return ParserCodeContext(pos_var_name=t_env.pos,
res_var_name=t_env.res,
code=render('parsers/list_code_ada', t_env),
var_defs=decls)
def __init__(self):
self.location = None
self._mod = None
self.gen_fn_name = gen_name(self.base_name)
self.grammar = None
self.is_root = False
self._name = names.Name("")
def generate_code(self, pos_name="pos"):
if isinstance(self.parser, Row):
self.parser.assign_wrapper(self)
self.typ.add_to_context()
parser_context = self.parser.gen_code_or_fncall(pos_name)
":type: ParserCodeContext"
t_env = TemplateEnvironment(
_self=self,
# The template needs the compiler context to retrieve the types of
# the tree fields (required by get_types()).
parser_context=parser_context,
args=(
self.parser.args
if isinstance(self.parser, Row) else
[parser_context.res_var_name]
),
res=gen_name("transform_res"),
)
return copy_with(
parser_context,
res_var_name=t_env.res,
var_defs=parser_context.var_defs + [
(t_env.res, self.get_type()),
],
code=render('parsers/transform_code_ada', t_env, pos_name=pos_name)
)
def generate_code(self, pos_name="pos"):
self.typ.add_to_context()
parser_context = self.parser.gen_code_or_fncall(pos_name)
":type: ParserCodeContext"
t_env = TemplateEnvironment(
parser=self,
# The template needs the compiler context to retrieve the types of
# the tree fields (required by get_types()).
parser_context=parser_context,
args=(self.parser.args if isinstance(self.parser, Row) else
[parser_context.res_var_name]),
res=gen_name("transform_res"),
)
return copy_with(parser_context,
res_var_name=t_env.res,
var_defs=parser_context.var_defs + [
(t_env.res, self.get_type()),
],
code=render('parsers/transform_code_ada',
t_env,
pos_name=pos_name))
def generate_code(self, pos_name="pos"):
# The sub-parser result will not be used. We have to notify it if it's
# a Row so it does not try to generate an anonymous row type.
if isinstance(self.parser, Row):
self.parser.assign_wrapper(self)
self.enum_type_inst.add_to_context()
parser_context = (
copy(self.parser.gen_code_or_fncall(pos_name))
if self.parser
else ParserCodeContext(
pos_var_name=pos_name,
res_var_name="",
code="",
var_defs=[]
)
)
env = TemplateEnvironment(
_self=self,
res=gen_name("enum_res"),
parser_context=parser_context
)
return copy_with(
parser_context,
res_var_name=env.res,
code=render('parsers/enum_code_ada', env),
var_defs=parser_context.var_defs + [(env.res, self.get_type())]
)
def generate_code(self, pos_name="pos"):
pos, res = gen_names('or_pos', 'or_res')
t_env = TemplateEnvironment(
_self=self,
# List of ParserCodeContext instances for the sub-parsers,
# encapsulating their results.
results=[
m.gen_code_or_fncall(pos_name)
for m in self.parsers
],
# Generate a name for the exit label (when one of the sub-parsers
# has matched).
exit_label=gen_name("Exit_Or"),
pos=pos,
res=res
)
code = render('parsers/or_code_ada', t_env)
return ParserCodeContext(
pos_var_name=t_env.pos,
res_var_name=t_env.res,
code=code,
# For var defs, we create a new list that is the concatenation of
# all the sub parsers variable definitions, adding the Or parser's
# own pos and res variables.
var_defs=list(chain(
[(pos, Token), (res, self.get_type())],
*[sr.var_defs for sr in t_env.results]
))
)
def __init__(self):
self.location = None
self._mod = None
self.gen_fn_name = gen_name(self.base_name)
self.grammar = None
self.is_root = False
self._name = names.Name("")
def generate_code(self, pos_name="pos"):
pos, res = gen_names('or_pos', 'or_res')
t_env = TemplateEnvironment(
parser=self,
# List of ParserCodeContext instances for the sub-parsers,
# encapsulating their results.
results=[m.gen_code_or_fncall(pos_name) for m in self.parsers],
# Generate a name for the exit label (when one of the sub-parsers
# has matched).
exit_label=gen_name("Exit_Or"),
pos=pos,
res=res)
code = render('parsers/or_code_ada', t_env)
return ParserCodeContext(
pos_var_name=t_env.pos,
res_var_name=t_env.res,
code=code,
# For var defs, we create a new list that is the concatenation of
# all the sub parsers variable definitions, adding the Or parser's
# own pos and res variables.
var_defs=list(
chain([(pos, Token), (res, self.get_type())],
*[sr.var_defs for sr in t_env.results])))
def generate_code(self, pos_name="pos"):
typ = self.get_type()
if isinstance(typ, ASTNode):
self.get_type().add_to_context()
res = gen_name("null_res")
code = render('parsers/null_code_ada',
parser=self,
res=res,
pos_name=pos_name)
return ParserCodeContext(pos_name, res, code, [(res, self.get_type())])
def generate_code(self, pos_name="pos"):
typ = self.get_type()
if isinstance(typ, ASTNode):
self.get_type().add_to_context()
res = gen_name("null_res")
code = render('parsers/null_code_ada', _self=self, res=res)
return ParserCodeContext(
pos_name,
res,
code,
[(res, self.get_type())]
)
def set_name(self, name):
"""
Rename this parser and all its children so that `name` is part of the
corresponding function in the generated code.
:param names.Name name: The name to include in the name of this parser
tree.
"""
for c in self.children():
if not c._name and not isinstance(c, Defer):
c.set_name(name)
self._name = name
self.gen_fn_name = gen_name(name + self.base_name)
def set_name(self, name):
"""
Rename this parser and all its children so that `name` is part of the
corresponding function in the generated code.
:param names.Name name: The name to include in the name of this parser
tree.
"""
for c in self.children():
if not c._name and not isinstance(c, Defer):
c.set_name(name)
self._name = name
self.gen_fn_name = gen_name(name + self.base_name)
def generate_code(self, pos_name="pos"):
self.get_type().add_to_context()
cpos = gen_name("lst_cpos")
parser_context = self.parser.gen_code_or_fncall(cpos)
sep_context = (
self.sep.gen_code_or_fncall(cpos)
if self.sep else
ParserCodeContext(None, None, None, [])
)
if self.revtree_class:
self.revtree_class.add_to_context()
t_env = TemplateEnvironment(
pos_name=pos_name,
_self=self,
pos=gen_name("lst_pos"),
res=gen_name("lst_res"),
cpos=cpos,
parser_context=parser_context,
sep_context=sep_context
)
decls = [
(t_env.pos, Token),
(t_env.res, self.get_type()),
(t_env.cpos, Token),
] + parser_context.var_defs + sep_context.var_defs
return ParserCodeContext(
pos_var_name=t_env.pos,
res_var_name=t_env.res,
code=render('parsers/list_code_ada', t_env),
var_defs=decls
)
def generate_code(self, pos_name="pos"):
parser_context = copy(self.parser.gen_code_or_fncall(pos_name))
t_env = TemplateEnvironment(pos_name=pos_name,
parser=self,
bool_res=gen_name("opt_bool_res"),
parser_context=parser_context)
return copy_with(
parser_context,
code=render('parsers/opt_code_ada', t_env),
res_var_name=(t_env.bool_res if self._booleanize else
parser_context.res_var_name),
var_defs=(parser_context.var_defs +
([(t_env.bool_res,
self._booleanize[0])] if self._booleanize else [])))
def generate_code(self, pos_name="pos"):
self.enum_type_inst.add_to_context()
parser_context = (
copy(self.parser.gen_code_or_fncall(pos_name))
if self.parser else ParserCodeContext(
pos_var_name=pos_name, res_var_name="", code="", var_defs=[]))
env = TemplateEnvironment(parser=self,
res=gen_name("enum_res"),
parser_context=parser_context)
return copy_with(parser_context,
res_var_name=env.res,
code=render('parsers/enum_code_ada', env),
var_defs=parser_context.var_defs +
[(env.res, self.get_type())])
def generate_code(self, pos_name="pos"):
parser_context = copy(
self.parser.gen_code_or_fncall(pos_name)
)
t_env = TemplateEnvironment(
pos_name=pos_name,
_self=self,
bool_res=gen_name("opt_bool_res"),
parser_context=parser_context
)
return copy_with(
parser_context,
code=render('parsers/opt_code_ada', t_env),
res_var_name=(t_env.bool_res if self._booleanize
else parser_context.res_var_name),
var_defs=parser_context.var_defs + ([(t_env.bool_res, BoolType)]
if self._booleanize else [])
)
def generate_code(self, pos_name="pos"):
t_env = TemplateEnvironment(pos_name=pos_name)
t_env.parser = self
t_env.pos, t_env.res = gen_names("row_pos", "row_res")
decls = [(t_env.pos, Token)]
t_env.subresults = list(
gen_names(
*
["row_subres_{0}".format(i)
for i in range(len(self.parsers))]))
t_env.exit_label = gen_name("row_exit_label")
self.args = [
r for r, m in zip(t_env.subresults, self.parsers)
if not m.discard()
]
self.allargs = [r for r, m in zip(t_env.subresults, self.parsers)]
bodies = []
for i, (parser,
subresult) in enumerate(zip(self.parsers, t_env.subresults)):
t_subenv = TemplateEnvironment(
t_env,
parser=parser,
subresult=subresult,
i=i,
parser_context=parser.gen_code_or_fncall(t_env.pos))
decls += t_subenv.parser_context.var_defs
if not parser.discard():
decls.append((subresult, parser.get_type()))
bodies.append(render('parsers/row_submatch_ada', t_subenv))
code = render('parsers/row_code_ada', t_env, body='\n'.join(bodies))
return ParserCodeContext(pos_var_name=t_env.pos,
res_var_name=t_env.res,
code=code,
var_defs=decls)
def generate_code(self, pos_name="pos"):
t_env = TemplateEnvironment(pos_name=pos_name)
t_env._self = self
t_env.pos, t_env.res = gen_names("row_pos", "row_res")
decls = [(t_env.pos, Token)]
t_env.subresults = list(gen_names(*[
"row_subres_{0}".format(i)
for i in range(len(self.parsers))
]))
t_env.exit_label = gen_name("row_exit_label")
self.args = [r for r, m in zip(t_env.subresults, self.parsers)
if not m.discard()]
self.allargs = [r for r, m in zip(t_env.subresults, self.parsers)]
bodies = []
for i, (parser, subresult) in enumerate(zip(self.parsers,
t_env.subresults)):
t_subenv = TemplateEnvironment(
t_env, parser=parser, subresult=subresult, i=i,
parser_context=parser.gen_code_or_fncall(t_env.pos)
)
decls += t_subenv.parser_context.var_defs
if not parser.discard():
decls.append((subresult, parser.get_type()))
bodies.append(render('parsers/row_submatch_ada', t_subenv))
code = render('parsers/row_code_ada', t_env, body='\n'.join(bodies))
return ParserCodeContext(
pos_var_name=t_env.pos,
res_var_name=t_env.res,
code=code,
var_defs=decls
)