INNER CODE UNIT · Java

mergeCompensations

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

	private synchronized void mergeCompensations( Scope s ) {
		if( scopeStack.isEmpty() ) {
			if( parent != null ) {
				parent.mergeCompensations( s );
			}
		} else {
			scopeStack.peek().mergeCompensations( s );
		}
	}

	/**
	 * Installs process as the compensator for the current scope.
	 *
	 * @param process the process to install as compensator for the current scope
	 */
	public synchronized void installCompensation( Process process ) {
		if( scopeStack.isEmpty() && parent != null ) {
			parent.installCompensation( process );

View source record →