def get_abstract_type_from_const_expr(const_expr, value):
assert len(const_expr.children) == 1
child = const_expr.children[0]
if child.data in ('string_type', 'wide_string_type'):
if 'string_type' == child.data:
return BoundedString(len(value))
if 'wide_string_type' == child.data:
return BoundedWString(len(value))
assert False
while len(child.children) == 1:
child = child.children[0]
return BasicType(BASE_TYPE_SPEC_TO_IDL_TYPE[child.data])
def get_abstract_type(tree):
if 'simple_type_spec' == tree.data:
assert len(tree.children) == 1
child = tree.children[0]
if 'base_type_spec' == child.data:
while len(child.children) == 1:
child = child.children[0]
return BasicType(BASE_TYPE_SPEC_TO_IDL_TYPE[child.data])
if 'scoped_name' == child.data:
scoped_name_separators = list(
child.find_data('scoped_name_separator'))
if not scoped_name_separators:
return NamedType(get_first_identifier_value(child))
identifiers = list(child.scan_values(_find_tokens('IDENTIFIER')))
assert len(identifiers) > 1
return NamespacedType(identifiers[:-1], identifiers[-1])
assert False, 'Unsupported tree: ' + str(child)
if 'template_type_spec' == tree.data:
assert len(tree.children) == 1
child = tree.children[0]
if 'sequence_type' == child.data:
# the find_data methods seems to traverse the tree in post order
# the highest type_spec in the subtree is therefore the last item
type_specs = list(child.find_data('type_spec'))
type_spec = type_specs[-1]
basetype = get_abstract_type_from_type_spec(type_spec)
positive_int_consts = list(child.find_data('positive_int_const'))
if positive_int_consts:
path = _find_path(child, positive_int_consts[0])
if len(path) > 2 and path[-2].data == 'string_type':
positive_int_consts.pop(0)
if positive_int_consts:
maximum_size = get_positive_int_const(positive_int_consts[-1])
return BoundedSequence(basetype, maximum_size)
else:
return UnboundedSequence(basetype)
if child.data in ('string_type', 'wide_string_type'):
if len(child.children) == 1:
assert child.children[0].data == 'positive_int_const'
maximum_size = get_positive_int_const(child.children[0])
if 'string_type' == child.data:
assert maximum_size > 0
return BoundedString(maximum_size=maximum_size)
if 'wide_string_type' == child.data:
return BoundedWString(maximum_size=maximum_size)
else:
if 'string_type' == child.data:
return UnboundedString()
if 'wide_string_type' == child.data:
return UnboundedWString()
if 'fixed_pt_type' == child.data:
assert False, 'TODO'
assert False, 'Unsupported tree: ' + str(child)
assert False, 'Unsupported tree: ' + str(tree)