org.eclipse.efm.symbex/src/fml/runtime/RuntimeDef.cpp

/*******************************************************************************
 * Copyright (c) 2016 CEA LIST.
 *
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Created on: 9 févr. 2012
 *
 * Contributors:
 *  Arnault Lapitre (CEA LIST) arnault.lapitre@cea.fr
 *   - Initial API and implementation
 ******************************************************************************/

#include "RuntimeDef.h"

#include <util/avm_string.h>

namespace sep
{


/**
 * PROCESS EVAL STATE
 * toString()
 */

#define PRINT_PROCESS_STATE( OBJ )  \
	case PROCESS_##OBJ##_STATE : return( QUOTEME( STATE_##OBJ ) )


std::string RuntimeDef::strPES(PROCESS_EVAL_STATE aPES)
{
	switch ( aPES )
	{
		PRINT_PROCESS_STATE( CREATING );
		PRINT_PROCESS_STATE( CREATED );

		PRINT_PROCESS_STATE( LOADED );

		PRINT_PROCESS_STATE( STARTING );
		PRINT_PROCESS_STATE( INITING );

		PRINT_PROCESS_STATE( FINALIZING );
		PRINT_PROCESS_STATE( FINALIZED );

		PRINT_PROCESS_STATE( DESTROYED );

		PRINT_PROCESS_STATE( STOPPING );
		PRINT_PROCESS_STATE( STOPPED );

		PRINT_PROCESS_STATE( SUSPENDED );

		PRINT_PROCESS_STATE( WAITING );
		PRINT_PROCESS_STATE( WAITING_JOIN );

		PRINT_PROCESS_STATE( ABORTED );
		PRINT_PROCESS_STATE( DISABLED );

//		PRINT_PROCESS_STATE( ENABLED );
		PRINT_PROCESS_STATE( IDLE );

		PRINT_PROCESS_STATE( RUNNING );

		PRINT_PROCESS_STATE( UNDEFINED );

		default :  return( "PROCESS_UNKNOWN_STATE" );
	}
}


/**
 * AVM EXECUTION ENDING STATUS
 * toString()
 */

#define PRINT_AEES( OBJ )   case AEES_##OBJ : return( QUOTEME( AEES_##OBJ ) )


std::string RuntimeDef::strAEES(AVM_EXEC_ENDING_STATUS anAEES)
{
	switch ( anAEES )
	{
		PRINT_AEES( OK );

		PRINT_AEES( FAILED );


		PRINT_AEES( STMNT_NOTHING );

		PRINT_AEES( STMNT_BREAK );

		PRINT_AEES( STMNT_CONTINUE );

		PRINT_AEES( STMNT_RETURN );


		PRINT_AEES( STMNT_FINAL );
		PRINT_AEES( STMNT_DESTROY );

		PRINT_AEES( STMNT_EXIT );
		PRINT_AEES( STMNT_EXIT_ALL );

		PRINT_AEES( STMNT_FATAL_ERROR );

		PRINT_AEES( SYMBOLIC_EXECUTION_LIMITATION );


		PRINT_AEES( STEP_MARK );

		PRINT_AEES( STEP_RESUME );

		PRINT_AEES( WAITING_INCOM_RDV );
		PRINT_AEES( WAITING_OUTCOM_RDV );

		PRINT_AEES( WAITING_JOIN_FORK );

		PRINT_AEES( UNKNOWN_SYNC );

		PRINT_AEES( UNDEFINED );

		default :  return( "AEES_STMNT_UNKNOWN" );
	}
}


/**
 * CONVERSION
 */
AVM_EXEC_ENDING_STATUS RuntimeDef::PES_to_AEES(
		PROCESS_EVAL_STATE aPES, AVM_EXEC_ENDING_STATUS defaultAEES)
{
	switch( aPES )
	{
		case PROCESS_FINALIZED_STATE:
		{
			return AEES_STMNT_FINAL;
		}
		case PROCESS_DESTROYED_STATE:
		{
			return AEES_STMNT_DESTROY;
		}
		default:
		{
			return( defaultAEES );
		}
	}
}


/**
 * SYNCHRONIZATION
 */
PROCESS_EVAL_STATE RuntimeDef::syncPES(PROCESS_EVAL_STATE refPES,
				PROCESS_EVAL_STATE frstPES, PROCESS_EVAL_STATE scndPES)
{
	if( (refPES == scndPES) || (frstPES == scndPES) )
	{
		return( frstPES );
	}
	else if( refPES == frstPES )
	{
		return( scndPES );
	}
	else if( (frstPES == PROCESS_WAITING_JOIN_STATE) ||
			 (scndPES == PROCESS_WAITING_JOIN_STATE) )
	{
		return( PROCESS_WAITING_JOIN_STATE );
	}

	return( PROCESS_UNDEFINED_STATE );
}


AVM_EXEC_ENDING_STATUS RuntimeDef::syncAEES(
		AVM_EXEC_ENDING_STATUS frstAEES, AVM_EXEC_ENDING_STATUS scndAEES)
{
	if( frstAEES == scndAEES )
	{
		return( frstAEES );
	}

	else if( frstAEES == AEES_STMNT_NOTHING )
	{
		return( scndAEES );
	}
	else if( scndAEES == AEES_STMNT_NOTHING )
	{
		return( frstAEES );
	}

	else if( (frstAEES == AEES_STMNT_EXIT_ALL) ||
			 (scndAEES == AEES_STMNT_EXIT_ALL) )
	{
		return( AEES_STMNT_EXIT_ALL );
	}
	else if( (frstAEES == AEES_STMNT_EXIT) ||
			 (scndAEES == AEES_STMNT_EXIT) )
	{
		return( AEES_STMNT_EXIT );
	}
	else if( (frstAEES == AEES_STMNT_FATAL_ERROR) ||
			 (scndAEES == AEES_STMNT_FATAL_ERROR) )
	{
		return( AEES_STMNT_FATAL_ERROR );
	}

	else if( (frstAEES == AEES_SYMBOLIC_EXECUTION_LIMITATION) ||
			 (scndAEES == AEES_SYMBOLIC_EXECUTION_LIMITATION) )
	{
		return( AEES_SYMBOLIC_EXECUTION_LIMITATION );
	}

	return( AEES_UNKNOWN_SYNC );
}


} /* namespace sep */