INNER CODE UNIT · Java

installCompensation

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

	public synchronized void installCompensation( Process process ) {
		if( scopeStack.isEmpty() && parent != null ) {
			parent.installCompensation( process );
		} else {
			scopeStack.peek().installCompensation( process );
		}
	}

	/**
	 * Installs process as the fault handler for fault id.
	 *
	 * @param id the fault to be handled by process
	 * @param process the Process to be called for handling fault id
	 */
	public synchronized void installFaultHandler( String id, Process process ) {
		if( scopeStack.isEmpty() && parent != null ) {
			parent.installFaultHandler( id, process );
		} else {

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…