INNER CODE UNIT · Java

killerFault

jolie/jolie · jolie/src/main/java/jolie/ExecutionThread.java:230

	public FaultException killerFault() {
		return killerFault;
	}

	/**
	 * Resets the killed state of this thread, returning it to normal execution.
	 */
	public void clearKill() {
		killerFault = null;
	}

	/**
	 * Returns true if this thread is killed, false otherwise.
	 *
	 * @return true if this thread is killed, false otherwise.
	 */
	public boolean isKilled() {
		return (killerFault != null);

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…