Rev 7 | Blame | Compare with Previous | Last modification | View Log | RSS feed
/*
* Copyright (c) 2002-2005 The TenDRA Project <http://www.tendra.org/>.
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
*
* 1. Redistributions of source code must retain the above copyright notice,
* this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright notice,
* this list of conditions and the following disclaimer in the documentation
* and/or other materials provided with the distribution.
* 3. Neither the name of The TenDRA Project nor the names of its contributors
* may be used to endorse or promote products derived from this software
* without specific, prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS ``AS
* IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
* THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR
* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
* EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
* OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
* WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
* OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
* ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*
* $Id$
*/
/*
Crown Copyright (c) 1997
This TenDRA(r) Computer Program is subject to Copyright
owned by the United Kingdom Secretary of State for Defence
acting through the Defence Evaluation and Research Agency
(DERA). It is made available to Recipients with a
royalty-free licence for its use, reproduction, transfer
to other parties and amendment for any purpose not excluding
product development provided that any such use et cetera
shall be deemed to be acceptance of the following conditions:-
(1) Its Recipients shall ensure that this Notice is
reproduced upon any copies or amended versions of it;
(2) Any amended version of it shall be clearly marked to
show both the nature of and the organisation responsible
for the relevant amendment or amendments;
(3) Its onward transfer from a recipient to another
party shall be deemed to be that party's acceptance of
these conditions;
(4) DERA gives no warranty or assurance as to its
quality or suitability for any purpose and DERA accepts
no liability whatsoever in relation to any use to which
it may be put.
*/
/* AUTOMATICALLY GENERATED BY make_tdf VERSION 2.0 FROM TDF 4.1 */
#ifndef ECODES_INCLUDED
#define ECODES_INCLUDED
/* CODES FOR ACCESS */
#define e_access_apply_token 1
#define e_access_cond 2
#define e_add_accesses 3
#define e_constant 4
#define e_long_jump_access 5
#define e_no_other_read 6
#define e_no_other_write 7
#define e_out_par 8
#define e_preserve 9
#define e_register 10
#define e_standard_access 11
#define e_used_as_volatile 12
#define e_visible 13
/* CODES FOR AL_TAG */
#define e_al_tag_apply_token 2
#define e_make_al_tag 1
/* CODES FOR AL_TAGDEF */
#define e_make_al_tagdef 1
/* CODES FOR AL_TAGDEF_PROPS */
#define e_make_al_tagdefs 0
/* CODES FOR ALIGNMENT */
#define e_alignment_apply_token 1
#define e_alignment_cond 2
#define e_alignment 3
#define e_alloca_alignment 4
#define e_callees_alignment 5
#define e_callers_alignment 6
#define e_code_alignment 7
#define e_locals_alignment 8
#define e_obtain_al_tag 9
#define e_parameter_alignment 10
#define e_unite_alignments 11
#define e_var_param_alignment 12
/* CODES FOR BITFIELD_VARIETY */
#define e_bfvar_apply_token 1
#define e_bfvar_cond 2
#define e_bfvar_bits 3
/* CODES FOR BOOL */
#define e_bool_apply_token 1
#define e_bool_cond 2
#define e_false 3
#define e_true 4
/* CODES FOR CALLEES */
#define e_make_callee_list 1
#define e_make_dynamic_callees 2
#define e_same_callees 3
/* CODES FOR CAPSULE */
#define e_make_capsule 0
/* CODES FOR CAPSULE_LINK */
#define e_make_capsule_link 0
/* CODES FOR CASELIM */
#define e_make_caselim 0
/* CODES FOR DG */
#define e_dg_apply_token 1
#define e_make_tag_dg 2
#define e_abortable_part_dg 3
#define e_accept_dg 4
#define e_barrier_dg 5
#define e_branch_dg 6
#define e_call_dg 7
#define e_compilation_dg 8
#define e_destructor_dg 9
#define e_exception_handler_dg 10
#define e_exception_scope_dg 11
#define e_inline_call_dg 12
#define e_inline_result_dg 13
#define e_inlined_dg 14
#define e_jump_dg 15
#define e_label_dg 16
#define e_lexical_block_dg 17
#define e_list_dg 18
#define e_long_jump_dg 19
#define e_name_decl_dg 20
#define e_params_dg 21
#define e_raise_dg 22
#define e_requeue_dg 23
#define e_rts_call_dg 24
#define e_select_dg 25
#define e_select_alternative_dg 26
#define e_select_guard_dg 27
#define e_singlestep_dg 28
#define e_source_language_dg 29
#define e_sourcepos_dg 30
#define e_statement_part_dg 31
#define e_test_dg 32
#define e_triggering_alternative_dg 33
#define e_with_dg 34
/* CODES FOR DG_ACCESSIBILITY */
#define e_dg_local_accessibility 1
#define e_dg_private_accessibility 2
#define e_dg_protected_accessibility 3
#define e_dg_public_accessibility 4
/* CODES FOR DG_APPEND */
#define e_dg_name_append 1
/* CODES FOR DG_BOUND */
#define e_dg_dynamic_bound 1
#define e_dg_static_bound 2
#define e_dg_unknown_bound 3
/* CODES FOR DG_CLASS_BASE */
#define e_make_dg_class_base 1
/* CODES FOR DG_CLASSMEM */
#define e_dg_tag_classmem 1
#define e_dg_field_classmem 2
#define e_dg_function_classmem 3
#define e_dg_indirect_classmem 4
#define e_dg_name_classmem 5
/* CODES FOR DG_COMP_PROPS */
#define e_make_dg_compunit 0
/* CODES FOR DG_COMPILATION */
#define e_dg_tag_compilation 1
#define e_make_dg_compilation 2
/* CODES FOR DG_CONSTRAINT */
#define e_dg_type_constraint 1
#define e_dg_value_constraint 2
/* CODES FOR DG_DEFAULT */
#define e_make_dg_default 1
/* CODES FOR DG_DIM */
#define e_dg_dim_apply_token 1
#define e_dg_tag_dim 2
#define e_dg_bounds_dim 3
#define e_dg_count_dim 4
#define e_dg_type_dim 5
#define e_dg_unspecified_dim 6
/* CODES FOR DG_DISCRIM */
#define e_make_dg_discrim 1
/* CODES FOR DG_ENUM */
#define e_dg_tag_enum 1
#define e_make_dg_enum 2
#define e_dg_char_enum 3
/* CODES FOR DG_FILENAME */
#define e_dg_filename_apply_token 1
#define e_make_dg_filename 2
/* CODES FOR DG_IDNAME */
#define e_dg_idname_apply_token 1
#define e_dg_anonymous_idname 2
#define e_dg_artificial_idname 3
#define e_dg_external_idname 4
#define e_dg_instance_idname 5
#define e_dg_sourcestring_idname 6
/* CODES FOR DG_MACRO */
#define e_dg_function_macro 1
#define e_dg_include_macro 2
#define e_dg_object_macro 3
#define e_dg_undef_macro 4
/* CODES FOR DG_NAME */
#define e_dg_name_apply_token 1
#define e_dg_tag_name 2
#define e_dg_constant_name 3
#define e_dg_entry_family_name 4
#define e_dg_entry_name 5
#define e_dg_inlined_name 6
#define e_dg_is_spec_name 7
#define e_dg_module_name 8
#define e_dg_namespace_name 9
#define e_dg_object_name 10
#define e_dg_proc_name 11
#define e_dg_program_name 12
#define e_dg_rep_clause_name 13
#define e_dg_spec_ref_name 14
#define e_dg_subunit_name 15
#define e_dg_type_name 16
#define e_dg_visibility_name 17
/* CODES FOR DG_NAMELIST */
#define e_dg_tag_namelist 1
#define e_make_dg_namelist 2
/* CODES FOR DG_PARAM */
#define e_dg_object_param 1
#define e_dg_type_param 2
/* CODES FOR DG_PARAM_MODE */
#define e_dg_in_mode 1
#define e_dg_inout_mode 2
#define e_dg_out_mode 3
/* CODES FOR DG_QUALIFIER */
#define e_dg_aliased_qualifier 1
#define e_dg_class_wide_qualifier 2
#define e_dg_const_qualifier 3
#define e_dg_limited_qualifier 4
#define e_dg_volatile_qualifier 5
/* CODES FOR DG_SOURCEPOS */
#define e_dg_file_sourcepos 1
#define e_dg_global_sourcepos 2
#define e_dg_mark_sourcepos 3
#define e_dg_null_sourcepos 4
#define e_dg_span_sourcepos 5
/* CODES FOR DG_TAG */
#define e_make_dg_tag 1
/* CODES FOR DG_TYPE */
#define e_dg_type_apply_token 1
#define e_dg_tag_type 2
#define e_dg_address_type 3
#define e_dg_array_type 4
#define e_dg_bitfield_type 5
#define e_dg_boolean_type 6
#define e_dg_char_type 7
#define e_dg_class_type 8
#define e_dg_complex_float_type 9
#define e_dg_enum_type 10
#define e_dg_file_type 11
#define e_dg_fixed_point_type 12
#define e_dg_float_type 13
#define e_dg_floating_digits_type 14
#define e_dg_inlined_type 15
#define e_dg_integer_type 16
#define e_dg_is_spec_type 17
#define e_dg_modular_type 18
#define e_dg_named_type 19
#define e_dg_packed_type 20
#define e_dg_pointer_type 21
#define e_dg_proc_type 22
#define e_dg_ptr_memdata_type 23
#define e_dg_ptr_memfn_type 24
#define e_dg_qualified_type 25
#define e_dg_reference_type 26
#define e_dg_set_type 27
#define e_dg_spec_ref_type 28
#define e_dg_string_type 29
#define e_dg_struct_type 30
#define e_dg_subrange_type 31
#define e_dg_synchronous_type 32
#define e_dg_task_type 33
#define e_dg_unknown_type 34
#define e_dg_void_type 35
/* CODES FOR DG_VARIANT */
#define e_make_dg_variant 1
/* CODES FOR DG_VARPART */
#define e_dg_discrim_varpart 1
#define e_dg_sibl_discrim_varpart 2
#define e_dg_undiscrim_varpart 3
/* CODES FOR DG_VIRTUALITY */
#define e_dg_abstract_virtuality 1
#define e_dg_virtual_virtuality 2
/* CODES FOR DIAG_DESCRIPTOR */
#define e_diag_desc_id 1
#define e_diag_desc_struct 2
#define e_diag_desc_typedef 3
/* CODES FOR DIAG_FIELD */
#define e_make_diag_field 0
/* CODES FOR DIAG_TAG */
#define e_make_diag_tag 1
/* CODES FOR DIAG_TAGDEF */
#define e_make_diag_tagdef 1
/* CODES FOR DIAG_TQ */
#define e_add_diag_const 1
#define e_add_diag_volatile 2
#define e_diag_tq_null 3
/* CODES FOR DIAG_TYPE */
#define e_diag_type_apply_token 1
#define e_diag_array 2
#define e_diag_bitfield 3
#define e_diag_enum 4
#define e_diag_floating_variety 5
#define e_diag_loc 6
#define e_diag_proc 7
#define e_diag_ptr 8
#define e_diag_struct 9
#define e_diag_type_null 10
#define e_diag_union 11
#define e_diag_variety 12
#define e_use_diag_tag 13
/* CODES FOR DIAG_TYPE_UNIT */
#define e_build_diagtype_unit 0
/* CODES FOR DIAG_UNIT */
#define e_build_diag_unit 0
/* CODES FOR ENUM_VALUES */
#define e_make_enum_values 0
/* CODES FOR ERROR_CODE */
#define e_nil_access 1
#define e_overflow 2
#define e_stack_overflow 3
/* CODES FOR ERROR_TREATMENT */
#define e_errt_apply_token 1
#define e_errt_cond 2
#define e_continue 3
#define e_error_jump 4
#define e_trap 5
#define e_wrap 6
#define e_impossible 7
/* CODES FOR EXP */
#define e_exp_apply_token 1
#define e_exp_cond 2
#define e_abs 3
#define e_add_to_ptr 4
#define e_and 5
#define e_apply_proc 6
#define e_apply_general_proc 7
#define e_assign 8
#define e_assign_with_mode 9
#define e_bitfield_assign 10
#define e_bitfield_assign_with_mode 11
#define e_bitfield_contents 12
#define e_bitfield_contents_with_mode 13
#define e_case 14
#define e_change_bitfield_to_int 15
#define e_change_floating_variety 16
#define e_change_variety 17
#define e_change_int_to_bitfield 18
#define e_complex_conjugate 19
#define e_component 20
#define e_concat_nof 21
#define e_conditional 22
#define e_contents 23
#define e_contents_with_mode 24
#define e_current_env 25
#define e_div0 26
#define e_div1 27
#define e_div2 28
#define e_env_offset 29
#define e_env_size 30
#define e_fail_installer 31
#define e_float_int 32
#define e_floating_abs 33
#define e_floating_div 34
#define e_floating_minus 35
#define e_floating_maximum 36
#define e_floating_minimum 37
#define e_floating_mult 38
#define e_floating_negate 39
#define e_floating_plus 40
#define e_floating_power 41
#define e_floating_test 42
#define e_goto 43
#define e_goto_local_lv 44
#define e_identify 45
#define e_ignorable 46
#define e_imaginary_part 47
#define e_initial_value 48
#define e_integer_test 49
#define e_labelled 50
#define e_last_local 51
#define e_local_alloc 52
#define e_local_alloc_check 53
#define e_local_free 54
#define e_local_free_all 55
#define e_long_jump 56
#define e_make_complex 57
#define e_make_compound 58
#define e_make_floating 59
#define e_make_general_proc 60
#define e_make_int 61
#define e_make_local_lv 62
#define e_make_nof 63
#define e_make_nof_int 64
#define e_make_null_local_lv 65
#define e_make_null_proc 66
#define e_make_null_ptr 67
#define e_make_proc 68
#define e_make_stack_limit 116
#define e_make_top 69
#define e_make_value 70
#define e_maximum 71
#define e_minimum 72
#define e_minus 73
#define e_move_some 74
#define e_mult 75
#define e_n_copies 76
#define e_negate 77
#define e_not 78
#define e_obtain_tag 79
#define e_offset_add 80
#define e_offset_div 81
#define e_offset_div_by_int 82
#define e_offset_max 83
#define e_offset_mult 84
#define e_offset_negate 85
#define e_offset_pad 86
#define e_offset_subtract 87
#define e_offset_test 88
#define e_offset_zero 89
#define e_or 90
#define e_plus 91
#define e_pointer_test 92
#define e_power 93
#define e_proc_test 94
#define e_profile 95
#define e_real_part 96
#define e_rem0 97
#define e_rem1 98
#define e_rem2 99
#define e_repeat 100
#define e_return 101
#define e_return_to_label 102
#define e_round_with_mode 103
#define e_rotate_left 104
#define e_rotate_right 105
#define e_sequence 106
#define e_set_stack_limit 107
#define e_shape_offset 108
#define e_shift_left 109
#define e_shift_right 110
#define e_subtract_ptrs 111
#define e_tail_call 112
#define e_untidy_return 113
#define e_variable 114
#define e_xor 115
/* CODES FOR EXTERN_LINK */
#define e_make_extern_link 0
/* CODES FOR EXTERNAL */
#define e_string_extern 1
#define e_unique_extern 2
#define e_chain_extern 3
/* CODES FOR FILENAME */
#define e_filename_apply_token 1
#define e_make_filename 2
/* CODES FOR FLOATING_VARIETY */
#define e_flvar_apply_token 1
#define e_flvar_cond 2
#define e_flvar_parms 3
#define e_complex_parms 4
#define e_float_of_complex 5
#define e_complex_of_float 6
/* CODES FOR GROUP */
#define e_make_group 0
/* CODES FOR LABEL */
#define e_label_apply_token 2
#define e_make_label 1
/* CODES FOR LINK */
#define e_make_link 0
/* CODES FOR LINKEXTERN */
#define e_make_linkextern 0
/* CODES FOR LINKINFO */
#define e_static_name_def 1
#define e_make_comment 2
#define e_make_weak_defn 3
#define e_make_weak_symbol 4
/* CODES FOR LINKINFO_PROPS */
#define e_make_linkinfos 0
/* CODES FOR LINKS */
#define e_make_links 0
/* CODES FOR NAT */
#define e_nat_apply_token 1
#define e_nat_cond 2
#define e_computed_nat 3
#define e_error_val 4
#define e_make_nat 5
/* CODES FOR NTEST */
#define e_ntest_apply_token 1
#define e_ntest_cond 2
#define e_equal 3
#define e_greater_than 4
#define e_greater_than_or_equal 5
#define e_less_than 6
#define e_less_than_or_equal 7
#define e_not_equal 8
#define e_not_greater_than 9
#define e_not_greater_than_or_equal 10
#define e_not_less_than 11
#define e_not_less_than_or_equal 12
#define e_less_than_or_greater_than 13
#define e_not_less_than_and_not_greater_than 14
#define e_comparable 15
#define e_not_comparable 16
/* CODES FOR OTAGEXP */
#define e_make_otagexp 0
/* CODES FOR PROCPROPS */
#define e_procprops_apply_token 1
#define e_procprops_cond 2
#define e_add_procprops 3
#define e_check_stack 4
#define e_inline 5
#define e_no_long_jump_dest 6
#define e_untidy 7
#define e_var_callees 8
#define e_var_callers 9
/* CODES FOR ROUNDING_MODE */
#define e_rounding_mode_apply_token 1
#define e_rounding_mode_cond 2
#define e_round_as_state 3
#define e_to_nearest 4
#define e_toward_larger 5
#define e_toward_smaller 6
#define e_toward_zero 7
/* CODES FOR SHAPE */
#define e_shape_apply_token 1
#define e_shape_cond 2
#define e_bitfield 3
#define e_bottom 4
#define e_compound 5
#define e_floating 6
#define e_integer 7
#define e_nof 8
#define e_offset 9
#define e_pointer 10
#define e_proc 11
#define e_top 12
/* CODES FOR SIGNED_NAT */
#define e_signed_nat_apply_token 1
#define e_signed_nat_cond 2
#define e_computed_signed_nat 3
#define e_make_signed_nat 4
#define e_snat_from_nat 5
/* CODES FOR SORTNAME */
#define e_access 1
#define e_al_tag 2
#define e_alignment_sort 3
#define e_bitfield_variety 4
#define e_bool 5
#define e_error_treatment 6
#define e_exp 7
#define e_floating_variety 8
#define e_foreign_sort 9
#define e_label 10
#define e_nat 11
#define e_ntest 12
#define e_procprops 13
#define e_rounding_mode 14
#define e_shape 15
#define e_signed_nat 16
#define e_string 17
#define e_tag 18
#define e_transfer_mode 19
#define e_token 20
#define e_variety 21
/* CODES FOR SOURCEMARK */
#define e_make_sourcemark 1
/* CODES FOR STRING */
#define e_string_apply_token 1
#define e_string_cond 2
#define e_concat_string 3
#define e_make_string 4
/* CODES FOR TAG */
#define e_tag_apply_token 2
#define e_make_tag 1
/* CODES FOR TAGACC */
#define e_make_tagacc 0
/* CODES FOR TAGDEC */
#define e_make_id_tagdec 1
#define e_make_var_tagdec 2
#define e_common_tagdec 3
/* CODES FOR TAGDEC_PROPS */
#define e_make_tagdecs 0
/* CODES FOR TAGDEF */
#define e_make_id_tagdef 1
#define e_make_var_tagdef 2
#define e_common_tagdef 3
/* CODES FOR TAGDEF_PROPS */
#define e_make_tagdefs 0
/* CODES FOR TAGSHACC */
#define e_make_tagshacc 0
/* CODES FOR TOKDEC */
#define e_make_tokdec 1
/* CODES FOR TOKDEC_PROPS */
#define e_make_tokdecs 0
/* CODES FOR TOKDEF */
#define e_make_tokdef 1
/* CODES FOR TOKDEF_PROPS */
#define e_make_tokdefs 0
/* CODES FOR TOKEN */
#define e_token_apply_token 1
#define e_make_tok 2
#define e_use_tokdef 3
/* CODES FOR TOKEN_DEFN */
#define e_token_definition 1
/* CODES FOR TOKFORMALS */
#define e_make_tokformals 0
/* CODES FOR TRANSFER_MODE */
#define e_transfer_mode_apply_token 1
#define e_transfer_mode_cond 2
#define e_add_modes 3
#define e_overlap 4
#define e_standard_transfer_mode 5
#define e_trap_on_nil 6
#define e_volatile 7
#define e_complete 8
/* CODES FOR UNIQUE */
#define e_make_unique 0
/* CODES FOR UNIT */
#define e_make_unit 0
/* CODES FOR VARIETY */
#define e_var_apply_token 1
#define e_var_cond 2
#define e_var_limits 3
#define e_var_width 4
/* CODES FOR VERSION */
#define e_make_version 1
#define e_user_info 2
/* CODES FOR VERSION_PROPS */
#define e_make_versions 0
#endif