/*
 * ErrorMessage.java
 *
 * Created on 18 de Junho de 2005, 15:27
 *
 * To change this template, choose Tools | Options and locate the template under
 * the Source Creation and Management node. Right-click the template and choose
 * Open. You can then make changes to the template in the Source Editor.
 */

package net.sourceforge.czt.typecheck.circus;

/**
 *
 * @author Manuela
 */
public enum ErrorMessage
{
  REDECLARED_PARENT,
  REDECLARED_SECTION,
  SELF_PARENT,
  REDECLARED_GLOBAL_NAME,
  REDECLARED_CHANNEL_NAME,
  REDECLARED_GEN,
  IS_NOT_CHANNEL_IN_CHANSET,
  IS_NOT_CHANSET_NAME,
  REDECLARED_CHANSET_NAME,
  REDECLARED_PROCESS_NAME,
  IS_NOT_PROCESS_NAME,
  REDECLARED_IMPLICIT_CHANNEL_NAME,
  IS_NOT_PARAM_PROCESS_IN_PROC_CALL,
  PARAM_PROC_CALL_NOT_UNIFY,
  PROC_CALL_DIFF_NUMBER_EXPRS,
  IS_NOT_INDEX_PROCESS_IN_PROC_CALL,
  PROC_RENAME_DIFF_NUMBER_CHANS,
  PROC_RENAME_NOT_UNIFY,
  IMPOSSIBLE_EXTRACT_INPUT_VAR,
  REDECLARED_INPUT_VAR_IN_PROCESS,
  REDECLARED_INPUT_VAR_IN_ACTION,
  IS_NOT_CHANNEL_NAME,
  REDECLARED_LOCAL_NAME,
  PREFIX_PROC_REDECLARED_VAR,
  REDECLARED_NAMESET_NAME,
  IS_NOT_LOCAL_VAR_NAME_IN_NAMESET,
  IS_NOT_NAMESET_NAME,
  REDECLARED_ACTION_NAME,
  REDECLARED_PARAM_IN_ACTION,
  REDECLARED_PARAM_IN_PROCESS,
  REDECLARED_INDEX_IN_PROCESS,
  REDECLARED_VAR_IN_PROCESS_ITE,
  REDECLARED_VAR_IN_PROCESS_IDX,
  IS_NOT_ACTION_NAME,
  IS_NOT_PARAM_ACTION_IN_ACTION_CALL,
  PARAM_ACTION_CALL_NOT_UNIFY,
  ACTION_CALL_DIFF_NUMBER_EXPRS,
  PARAM_ACTION_CALL_WITHOUT_EXPRS,
  SYNCH_CHANNEL_WITH_CPARAMS_ERROR,
  CHANNEL_NEEDS_CPARAMS,
  NUMBER_CPARAMS_INCOMPATIBLE_CHANNEL_TYPE,
  CHANNEL_PARAM_NOT_UNIFY,
  REDECLARED_DEF,
  REDECLARED_VAR_IN_ACTION_ITE,
  PARAM_ACTION_CALL_UNDECLARED_VAR,
  PARAM_PROC_CALL_UNDECLARED_VAR,
  ACTION_RENAME_NOT_UNIFY,
  ACTION_RENAME_DIFF_NUMBER_VARS,
  RENAME_ACTION_UNDECLARED_VAR,
  NAMES_ARE_NOT_CHANNELS_IN_PROC_RENAME,
  REDECLARED_GLOBAL_NAME_WITH_DIFF_TYPE,
  MU_PROC_CALL_ERROR,
  IS_NOT_GEN_PROCESS_IN_PROC_CALL,
  GEN_PROCESS_INSTANTIATION_ERROR,
  PROC_CALL_NEEDS_PARAMS,
  REC_PROC_CALL_ERROR,
  REC_ACTION_CALL_ERROR,
  MU_ACTION_CALL_ERROR,
  IS_NOT_LOCAL_VAR_NAME_IN_SUBST_ACTION,
  IS_NOT_LOCAL_VAR_NAME_IN_SPEC_COMMAND,
  DUPLICATE_VAR_NAME_IN_FRAME_OF_SPEC_COMMAND,
  IS_NOT_LOCAL_VAR_NAME_IN_ASSIG_COMMAND,
  DUPLICATE_VAR_NAME_IN_ASSIG_COMMAND,
  ASSIG_COMMAND_ERROR,
  DIFF_NUM_ASSIG_COMMAND_ERROR,
  IS_NOT_POWER_TYPE_IN_GEN_PROCESS,
  IS_NOT_GENERIC_CHANNEL,
  DIFF_NUMBER_IN_GENERIC_CHANNEL_INSTATIATION,
  EXPR_TYPE_IS_NOT_POWERSET,
  REDECLARED_PARAM_IN_PARCOMMAND,
  INFINITY_VALUES_IN_ACTION_ITE,
  INFINITY_VALUES_IN_PROCESS_ITE,
  REDECLARED_LOCAL_NAME_IN_PROCESS,
  REDECLARED_LOCAL_NAME_IN_STATE_PROCESS
}
