diff options
Diffstat (limited to 'src/xtools/pnodes.py')
| -rwxr-xr-x | src/xtools/pnodes.py | 65 |
1 files changed, 50 insertions, 15 deletions
diff --git a/src/xtools/pnodes.py b/src/xtools/pnodes.py index adb85b712..9a8075524 100755 --- a/src/xtools/pnodes.py +++ b/src/xtools/pnodes.py @@ -4,13 +4,14 @@ import re import sys import argparse -field_file = "../vhdl/nodes.ads" -spec_file = "../vhdl/iirs.ads" -template_file = "../vhdl/iirs.adb.in" -meta_base_file = "../vhdl/nodes_meta" +field_file = "nodes.ads" +spec_file = "iirs.ads" +template_file = "iirs.adb.in" +meta_base_file = "nodes_meta" prefix_name = "Iir_Kind_" prefix_range_name = "Iir_Kinds_" type_name = "Iir_Kind" +node_type = "Iir" conversions = ['uc', 'pos'] class FuncDesc: @@ -157,16 +158,16 @@ def read_kinds(filename): while lr.get() != ' type ' + type_name + ' is\n': pass # Skip '(' - if lr.get() != ' (\n': + if lr.get() != ' (\n': raise ParseError(lr, 'no open parenthesis after "type ' + type_name +'"') # Read literals - pat_node = re.compile(' ' + prefix_name + '(\w+),?( +-- .*)?\n') + pat_node = re.compile(' ' + prefix_name + '(\w+),?( +-- .*)?\n') pat_comment = re.compile('( +-- .*)?\n') while True: l = lr.get() - if l == ' );\n': + if l == ' );\n': break m = pat_node.match(l) if m: @@ -234,9 +235,10 @@ def read_kinds(filename): re.compile(' function Get_(\w+) \((\w+) : (\w+)\) return (\w+);\n') pat_proc = \ re.compile(' procedure Set_(\w+) \((\w+) : (\w+); (\w+) : (\w+)\);\n') + pat_end = re.compile('end [A-Za-z.]+;\n') while True: l = lr.get() - if l == 'end Iirs;\n': + if pat_end.match(l): break m = pat_field.match(l) if m: @@ -432,7 +434,7 @@ def gen_subprg_header(decl): print ' begin' def gen_assert(func): - print ' pragma Assert (' + func.pname + ' /= Null_Iir);' + print ' pragma Assert (' + func.pname + ' /= Null_' + node_type + ');' cond = '(Has_' + func.name + ' (Get_Kind (' + func.pname + ')),' msg = '"no field ' + func.name + '");' if len (cond) < 60: @@ -480,7 +482,7 @@ def funcs_of_node(n): return sorted([fv.name for fv in n.fields.values() if fv]) def gen_has_func_spec(name, suff): - spec=' function Has_' + f.name + ' (K : Iir_Kind)' + spec=' function Has_' + f.name + ' (K : ' + type_name + ')' ret=' return Boolean' + suff; if len(spec) < 60: print spec + ret @@ -495,8 +497,37 @@ parser.add_argument('action', choices=['disp-nodes', 'disp-kinds', 'get_format', 'body', 'meta_specs', 'meta_body'], default='disp-nodes') +parser.add_argument('--field-file', dest='field_file', + default='nodes.ads', + help='specify file which defines fields') +parser.add_argument('--spec-file', dest='spec_file', + default='iirs.ads', + help='specify file which defines nodes') +parser.add_argument('--template-file', dest='template_file', + default='iirs.adb.in', + help='specify template body file') +parser.add_argument('--meta-basename', dest='meta_basename', + default='nodes_meta', + help='specify base name of meta files') +parser.add_argument('--kind-type', dest='kind_type', + default='Iir_Kind', + help='name of kind type') +parser.add_argument('--kind-prefix', dest='kind_prefix', + default='Iir_Kind_', + help='prefix for kind literals') +parser.add_argument('--node-type', dest='node_type', + default='Iir', + help='name of the node type') args = parser.parse_args() +field_file=args.field_file +spec_file=args.spec_file +type_name=args.kind_type +prefix_name=args.kind_prefix +template_file=args.template_file +node_type=args.node_type +meta_base_file=args.meta_basename + try: (formats, fields) = read_fields(field_file) (kinds, kinds_ranges, funcs) = read_kinds(spec_file) @@ -582,9 +613,11 @@ elif args.action == 'meta_specs': elif l == ' -- FUNCS': for t in types: print ' function Get_' + t - print ' (N : Iir; F : Fields_Enum) return ' + t + ';' + print ' (N : ' + node_type + '; F : Fields_Enum) return ' \ + + t + ';' print ' procedure Set_' + t - print ' (N : Iir; F : Fields_Enum; V: ' + t + ');' + print ' (N : ' + node_type + '; F : Fields_Enum; V: ' \ + + t + ');' print for f in funcs: gen_has_func_spec(f.name, ';') @@ -622,7 +655,7 @@ elif args.action == 'meta_body': print ' return Attr_' + attr + ';' elif l == ' -- FIELDS_ARRAY': last = None - nodes_types = ['Iir', 'Iir_List'] + nodes_types = [node_type, node_type + '_List'] ref_names = ['Ref', 'Of_Ref', 'Maybe_Ref'] for k in kinds: v = nodes[k] @@ -670,7 +703,8 @@ elif args.action == 'meta_body': types = [t for t in sorted(s)] for t in types: print ' function Get_' + t - print ' (N : Iir; F : Fields_Enum) return ' + t + ' is' + print ' (N : ' + node_type + '; F : Fields_Enum) return ' \ + + t + ' is' print ' begin' print ' pragma Assert (Fields_Type (F) = Type_' + t + ');' print ' case F is' @@ -684,7 +718,8 @@ elif args.action == 'meta_body': print ' end Get_' + t + ';' print print ' procedure Set_' + t - print ' (N : Iir; F : Fields_Enum; V: ' + t + ') is' + print ' (N : ' + node_type + '; F : Fields_Enum; V: ' \ + + t + ') is' print ' begin' print ' pragma Assert (Fields_Type (F) = Type_' + t + ');' print ' case F is' |