def __init__(self,
name: str,
type_name: str,
default: Expr = None) -> None:
verify_identifier(name)
verify_identifier(type_name)
self.name = name
self.type_name = type_name
self.default = default
def __init__(self,
name: str,
specification: FunctionSpecification,
associations: List[str] = None) -> None:
verify_identifier(name)
super().__init__(specification)
self.name = name
self.parameters = specification.parameters
self.associations = associations or []
def __init__(self,
identifiers: Sequence[str],
type_name: str,
default: Expr = None) -> None:
for name in identifiers:
verify_identifier(name)
verify_identifier(type_name)
self.identifiers = identifiers
self.type_name = type_name
self.default = default
def __init__(self, specification: SubprogramSpecification,
subprogram_name: str) -> None:
verify_identifier(subprogram_name)
super().__init__(specification)
self.subprogram_name = subprogram_name
def __init__(self,
name: str,
parameters: Sequence[Parameter] = None) -> None:
verify_identifier(name)
self.name = name
self.parameters = parameters or []
def __init__(self, name: str, parameters: Sequence[str]) -> None:
verify_identifier(name)
self.name = name
self.pragma_parameters = parameters
def __init__(self, name: str, arguments: Sequence[Expr]) -> None:
verify_identifier(name)
self.name = name
self.arguments = arguments
def __init__(self, name: Union[str, Expr], expression: Expr) -> None:
if isinstance(name, str):
verify_identifier(name)
self.name = name
self.expression = expression
def __init__(self, discriminant_name: str,
variants: Sequence[Variant]) -> None:
verify_identifier(discriminant_name)
self.discriminant_name = discriminant_name
self.variants = variants
def __init__(self, *names: str) -> None:
for name in names:
verify_identifier(name)
self.names = names
def __init__(self, name: str) -> None:
verify_identifier(name)
self.name = name
def __init__(self, *elements: Tuple[str, Expr]) -> None:
self.elements = list(elements)
for name, _ in self.elements:
verify_identifier(name)
def __init__(self, name: Union[str, Expr], selector_name: str) -> None:
super().__init__(name)
verify_identifier(selector_name)
self.selector_name = selector_name
def __init__(self, name: Union[str, Expr], negative: bool = False) -> None:
if isinstance(name, str):
verify_identifier(name)
self.name = name
self.negative = negative
