Package com.piketec.tpt.api.steplist.formalrequirements
-
Interface Summary Interface Description BetweenStep ThisFormalRequirementStep
defines intervals between a start expression and a stop expression, the abort expression aborts the interval before the stop expression becomes true.DocumentationStep ThisFormalRequirementStep
is used to comment steps.FormalRequirementDefine define
is time- dependent assessment variable to which value complex expressions can be assigned.FormalRequirementStep A step is one entry in a @List
of @FormalRequirementStep
inRequirement
it can be created viaaddFormalRequirmentsStep(String type)
.FromOrUntilStep FromStep ThisFormalRequirementStep
yields an interval from the first time the expression becomes true, until the end of the context.ShallStep ThisFormalRequirementStep
specifies the expected behavior of a signal.UntilStep ThisFormalRequirementStep
yields an interval from the start of the context interval until the first time the expression gets fulfilled.WhenStep ThisFormalRequirementStep
defines an interval which happens when a condition is evaluated based on theWhenStep.WhenType
.WhileStep ThisFormalRequirementStep
yields intervals for which the expression is true -
Enum Summary Enum Description FromOrUntilStep.TriggerType The possible trigger types.ShallStep.DurationType The possible duration types.ShallStep.ToleranceType The possible tolerance types.WhenStep.WhenType The possible when types.WhileStep.WhileType The possible when types.