Class DeadlockException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

ca.mcscert.jpipe.commands.DeadlockException

All Implemented Interfaces:

Serializable

public final class DeadlockException
extends RuntimeException

Thrown by ExecutionEngine when execution deadlocks — all remaining commands have unsatisfied conditions and cannot make progress.

Carries the stuck commands and the partially-built Unit so callers can introspect which symbols were unresolvable.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
DeadlockException(String message, List<Command> stuckCommands, Unit partialUnit)

Method Summary

Modifier and Type	Method	Description
Unit	partialUnit()	The unit as it was at the moment of deadlock.
List<Command>	stuckCommands()	Commands that could not execute due to unsatisfied conditions.

Methods inherited from class Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

DeadlockException

public DeadlockException(String message,
 List<Command> stuckCommands,
 Unit partialUnit)

Method Details

stuckCommands

public List<Command> stuckCommands()

Commands that could not execute due to unsatisfied conditions.

partialUnit

public Unit partialUnit()

The unit as it was at the moment of deadlock.