Subprogram Declarations

Procedures 

Procedure 

Condensed definition of class Procedure:

@export
class Procedure(SubProgramm):
  # inherited from ModelEntity
  @property
  def Parent(self) -> ModelEntity:

  # inherited from NamedEntity
  @property
  def Name(self) -> str:

  # inherited from Subprogram
  @property
  def GenericItems(self) -> List[GenericInterfaceItem]:

  @property
  def ParameterItems(self) -> List[ParameterInterfaceItem]:

  @property
  def DeclaredItems(self) -> List:

  @property
  def BodyItems(self) -> List[SequentialStatement]:

  @property
  def IsPure(self) -> bool:

Procedure Instantiation 

Todo

Write documentation.

Procedure as Method 

Condensed definition of class ProcedureMethod:

@export
class ProcedureMethod(SubProgramm):
  # inherited from ModelEntity
  @property
  def Parent(self) -> ModelEntity:

  # inherited from NamedEntity
  @property
  def Name(self) -> str:

  # inherited from Subprogram
  @property
  def GenericItems(self) -> List[GenericInterfaceItem]:

  @property
  def ParameterItems(self) -> List[ParameterInterfaceItem]:

  @property
  def DeclaredItems(self) -> List:

  @property
  def BodyItems(self) -> List[SequentialStatement]:

  @property
  def IsPure(self) -> bool:

  # inherited from Method
  @property
  def ProtectedType(self) -> ProtectedType:

Generic Procedure 

A generic procedure is a regular procedure.

Functions 

Function 

Condensed definition of class Function:

@export
class Function(SubProgramm):
  # inherited from ModelEntity
  @property
  def Parent(self) -> ModelEntity:

  # inherited from NamedEntity
  @property
  def Name(self) -> str:

  # inherited from Subprogram
  @property
  def GenericItems(self) -> List[GenericInterfaceItem]:

  @property
  def ParameterItems(self) -> List[ParameterInterfaceItem]:

  @property
  def DeclaredItems(self) -> List:

  @property
  def BodyItems(self) -> List[SequentialStatement]:

  @property
  def IsPure(self) -> bool:

  # from Function
  @property
  def ReturnType(self) -> Subtype:

Function Instantiation 

Todo

Write documentation.

Function as Method 

Condensed definition of class FunctionMethod:

@export
class Function(SubProgramm):
  # inherited from ModelEntity
  @property
  def Parent(self) -> ModelEntity:

  # inherited from NamedEntity
  @property
  def Name(self) -> str:

  # inherited from Subprogram
  @property
  def GenericItems(self) -> List[GenericInterfaceItem]:

  @property
  def ParameterItems(self) -> List[ParameterInterfaceItem]:

  @property
  def DeclaredItems(self) -> List:

  @property
  def BodyItems(self) -> List[SequentialStatement]:

  @property
  def IsPure(self) -> bool:

  # inherited from Function
  @property
  def ReturnType(self) -> Subtype:

  # inherited from Method
  @property
  def ProtectedType(self) -> ProtectedType:

Generic Function 

A generic function is a regular function.