scenic.core.dynamics.guards

Preconditions and invariants of behaviors and scenarios.

Summary of Module Members

Exceptions

GuardViolation	Abstract exception raised when a guard of a behavior is violated.
InvariantViolation	Exception raised when an invariant is violated.
PreconditionViolation	Exception raised when a precondition is violated.

Member Details

exception GuardViolation(behavior, lineno)

Bases: Exception

Abstract exception raised when a guard of a behavior is violated.

This will never be raised directly; either of the subclasses PreconditionViolation or InvariantViolation will be used, as appropriate.

exception PreconditionViolation(behavior, lineno)

Bases: GuardViolation

Exception raised when a precondition is violated.

Raised when a precondition is violated when invoking a behavior or when a precondition encounters a RejectionException, so that rejections count as precondition violations.

exception InvariantViolation(behavior, lineno)

Bases: GuardViolation

Exception raised when an invariant is violated.

Raised when an invariant is violated when invoking/resuming a behavior or when an invariant encounters a RejectionException, so that rejections count as invariant violations.