trigger-invocation-expression-at-argument

Available in: SysML

This checks that at expression is a time instant value.

Specification

If a TriggerInvocationExpression has kind = at, then it must have an argument Expression with a result that conforms to the type Time::TimeInstantValue.

Example

action {
    accept at 4 [SI::s]; // error
}

Use a time instant instead of duration:

action {
    accept at Time::universalClock.currentTime; // ok
}