INNER CODE UNIT · Java

getFaultHandler

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

	public synchronized Process getFaultHandler( String id, boolean erase ) {
		if( scopeStack.isEmpty() && parent != null ) {
			return parent.getFaultHandler( id, erase );
		}

		return scopeStack.peek().getFaultHandler( id, erase );
	}

	/**
	 * Pushes scope id as the new current executing scope in the scope stack of this thread.
	 *
	 * @param id the id of the scope to push.
	 */
	public synchronized void pushScope( String id ) {
		scopeStack.push( new Scope( id ) );
	}

	/**

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…