INNER CODE UNIT · Java

pushScope

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

	public synchronized void pushScope( String id ) {
		scopeStack.push( new Scope( id ) );
	}

	/**
	 * Pops the current executing scope from the scope stack of this thread.
	 *
	 * @param merge <code>true</code> if the popped scope compensators should be propagated upstream to
	 *        the parent scope.
	 */
	public synchronized void popScope( boolean merge ) {
		final Scope s = scopeStack.pop();
		if( merge ) {
			mergeCompensations( s );
		}
	}

	/**

View source record →