trigger-invocation-expression-after-argument

Available in: SysML

This checks that after expression is a duration value.

Specification

If a TriggerInvocationExpression has kind = after, then it must have an argument Expression with a result that conforms to the type Quantities::ScalarQuantityValue and a feature that directly or indirectly redefines Quantities::TensorQuantityValue::mRef and directly or indirectly specializes ISQBase::DurationUnit.

Example

action {
    accept after 30 [SI::m]; // error
}

Instead, use a time unit:

action {
    accept after 30 [SI::s]; // ok
}