INNER CODE UNIT · Java

installFaultHandler

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

		public void installFaultHandler( String faultName, Process process ) {
			faultMap.put( faultName, process );
		}

		/**
		 * Returns the installed fault handler for the specified fault name. If no fault handler is present,
		 * the default fault handler is returned instead. If there is no fault handler and there is no
		 * default fault handler, <code>null</code> is returned.
		 *
		 * @param faultName the fault name of the fault handler to retrieve
		 * @param erase <code>true</code> if after getting the fault handler it is to be uninstalled from
		 *        the scope, <code>false</code> otherwise
		 * @return the installed fault handler for the specified fault name
		 */
		public Process getFaultHandler( String faultName, boolean erase ) {
			Process p = faultMap.get( faultName );
			if( erase ) { // Not called by cH (TODO: this is obscure!)
				if( p == null ) {

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…