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