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: