Sequential Statements

Class Hierarchy

Assignments

Signal Assignment

Todo

Write documentation.

Condensed definition of class SequentialSignalAssignment:

@export
class SequentialSignalAssignment(SequentialStatement, SignalAssignment):
  # inherited from ModelEntity
  @property
  def Parent(self) -> ModelEntity:

  # inherited from LabeledEntity
  @property
  def Label(self) -> str:

  # inherited from Assignment
  @property
  def Target(self) -> Object:

  @property
  def BaseExpression(self) -> BaseExpression:

Variable Assignment

Todo

Write documentation.

Condensed definition of class SequentialVariableAssignment:

@export
class SequentialVariableAssignment(SequentialStatement, VariableAssignment):
  # inherited from ModelEntity
  @property
  def Parent(self) -> ModelEntity:

  # inherited from LabeledEntity
  @property
  def Label(self) -> str:

  # inherited from Assignment
  @property
  def Target(self) -> Object:

  @property
  def BaseExpression(self) -> BaseExpression:

Branching

If Statement

Todo

Write documentation.

Case Statement

Todo

Write documentation.

Condensed definition of class CaseStatement:

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

  # inherited from LabeledEntity
  @property
  def Label(self) -> str:

  # from CaseGenerateStatement
  @property
  def SelectExpression(self) -> BaseExpression:

  @property
  def Cases(self) -> List[SequentialCase]:

Loops

Endless Loop

Todo

Write documentation.

Condensed definition of class EndlessLoopStatement:

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

  # inherited from LabeledEntity
  @property
  def Label(self) -> str:

  # inherited from SequentialStatements
  @property
  def Statements(self) -> List[SequentialStatement]:

For Loop

Todo

Write documentation.

Condensed definition of class ForLoopStatement:

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

  # inherited from LabeledEntity
  @property
  def Label(self) -> str:

  # inherited from SequentialStatements
  @property
  def Statements(self) -> List[SequentialStatement]:

  # from ForLoopStatement
  @property
  def LoopIndex(self) -> Constant:

  @property
  def Range(self) -> Range:

While Loop

Todo

Write documentation.

Condensed definition of class WhileLoopStatement:

@export
class WhileLoopStatement(LoopStatement, BaseConditional):
  # inherited from ModelEntity
  @property
  def Parent(self) -> ModelEntity:

  # inherited from LabeledEntity
  @property
  def Label(self) -> str:

  # inherited from SequentialStatements
  @property
  def Statements(self) -> List[SequentialStatement]:

  # inherited from BaseConditional
  @property
  def Condition(self) -> BaseExpression:

Next Statement

Todo

Write documentation.

Condensed definition of class NextStatement:

@export
class NextStatement(SequentialStatement, BaseConditional):
  # inherited from ModelEntity
  @property
  def Parent(self) -> ModelEntity:

  # inherited from LabeledEntity
  @property
  def Label(self) -> str:

  # inherited from BaseCondition
  @property
  def Condition(self) -> BaseExpression:

  # inherited from LoopControlStatement
  @property
  def LoopReference(self) -> LoopStatement:

Exit Statement

Todo

Write documentation.

Condensed definition of class ExitStatement:

@export
class ExitStatement(SequentialStatement, BaseConditional):
  # inherited from ModelEntity
  @property
  def Parent(self) -> ModelEntity:

  # inherited from LabeledEntity
  @property
  def Label(self) -> str:

  # inherited from BaseCondition
  @property
  def Condition(self) -> BaseExpression:

  # inherited from LoopControlStatement
  @property
  def LoopReference(self) -> LoopStatement:

Reporting

Report Statement

Todo

Write documentation.

Condensed definition of class SequentialReportStatement:

@export
class SequentialReportStatement(SequentialStatement, MixinReportStatement):
  # inherited from ModelEntity
  @property
  def Parent(self) -> ModelEntity:

  # inherited from LabeledEntity
  @property
  def Label(self) -> str:

  # inherited from MixinReportStatement
  @property
  def Message(self) -> BaseExpression:

  @property
  def Severity(self) -> BaseExpression:

Assert Statement

Todo

Write documentation.

Condensed definition of class SequentialAssertStatement:

@export
class SequentialAssertStatement(SequentialStatement, MixinAssertStatement):
  # inherited from ModelEntity
  @property
  def Parent(self) -> ModelEntity:

  # inherited from LabeledEntity
  @property
  def Label(self) -> str:

  # inherited from MixinReportStatement
  @property
  def Message(self) -> BaseExpression:

  @property
  def Severity(self) -> BaseExpression:

  # inherited from MixinAssertStatement
  @property
  def Condition(self) -> BaseExpression:

Procedure Call

Todo

Write documentation.

Wait Statement

Todo

Write documentation.

Condensed definition of class WaitStatement:

@export
class WaitStatement(SequentialStatement, BaseConditional):
  # inherited from ModelEntity
  @property
  def Parent(self) -> ModelEntity:

  # inherited from LabeledEntity
  @property
  def Label(self) -> str:

  # inherited from BaseCondition
  @property
  def Condition(self) -> BaseExpression:

  # from WaitStatement
  @property
  def SensitivityList(self) -> List[Signal]:

  @property
  def Timeout(self) -> BaseExpression:

Return Statement

Todo

Write documentation.

Condensed definition of class ReturnStatement:

@export
class ReturnStatement(SequentialStatement, BaseConditional):
  # inherited from ModelEntity
  @property
  def Parent(self) -> ModelEntity:

  # inherited from LabeledEntity
  @property
  def Label(self) -> str:

  # inherited from BaseCondition
  @property
  def Condition(self) -> BaseExpression:

  # from ReturnStatement
  @property
  def ReturnValue(self) -> BaseExpression: