def to_string(self):
return '{} array of length {}'.format(
adaify_name(self.context,
self.element_typename(self.value.type.target().name,
self.context)),
self.length
)
def to_string(self):
return '{} vector of length {}'.format(
adaify_name(self.context, self.element_type.name),
self.length
)
def to_string(self) -> str:
elt_typename = self.element_typename(self.value.type.target().name,
self.context)
assert elt_typename is not None
return '{} array of length {}'.format(
adaify_name(self.context, elt_typename), self.length)
