/*
$TenDRA: tendra/src/tools/pl/templ/enc_nos.h-tdf,v 1.3 2004/07/13 12:12:40 stefanf Exp $
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.
*/
#ifndef ENC_NOS_INCLUDED
#define ENC_NOS_INCLUDED
/* AUTOMATICALLY GENERATED BY make_tdf VERSION 2.0 FROM TDF 4.1 */
#define major_version 4
#define minor_version 1
#define s_tdfint 0
#define s_tdfbool 1
#define s_tdfstring 2
#define s_bitstream 3
#define s_tdfident 4
#define s_bytestream 5
#define s_access 6
#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
#define s_al_tag 7
#define e_al_tag_apply_token 2
#define e_make_al_tag 1
#define s_al_tagdef 8
#define e_make_al_tagdef 1
#define s_al_tagdef_props 9
#define s_alignment 10
#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
#define s_bitfield_variety 11
#define e_bfvar_apply_token 1
#define e_bfvar_cond 2
#define e_bfvar_bits 3
#define s_bool 12
#define e_bool_apply_token 1
#define e_bool_cond 2
#define e_false 3
#define e_true 4
#define s_callees 13
#define e_make_callee_list 1
#define e_make_dynamic_callees 2
#define e_same_callees 3
#define s_capsule 14
#define s_capsule_link 15
#define s_caselim 16
#define s_dg 17
#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
#define s_dg_accessibility 18
#define e_dg_local_accessibility 1
#define e_dg_private_accessibility 2
#define e_dg_protected_accessibility 3
#define e_dg_public_accessibility 4
#define s_dg_append 19
#define e_dg_name_append 1
#define s_dg_bound 20
#define e_dg_dynamic_bound 1
#define e_dg_static_bound 2
#define e_dg_unknown_bound 3
#define s_dg_class_base 21
#define e_make_dg_class_base 1
#define s_dg_classmem 22
#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
#define s_dg_comp_props 23
#define s_dg_compilation 24
#define e_dg_tag_compilation 1
#define e_make_dg_compilation 2
#define s_dg_constraint 25
#define e_dg_type_constraint 1
#define e_dg_value_constraint 2
#define s_dg_default 26
#define e_make_dg_default 1
#define s_dg_dim 27
#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
#define s_dg_discrim 28
#define e_make_dg_discrim 1
#define s_dg_enum 29
#define e_dg_tag_enum 1
#define e_make_dg_enum 2
#define e_dg_char_enum 3
#define s_dg_filename 30
#define e_dg_filename_apply_token 1
#define e_make_dg_filename 2
#define s_dg_idname 31
#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
#define s_dg_macro 32
#define e_dg_function_macro 1
#define e_dg_include_macro 2
#define e_dg_object_macro 3
#define e_dg_undef_macro 4
#define s_dg_name 33
#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
#define s_dg_namelist 34
#define e_dg_tag_namelist 1
#define e_make_dg_namelist 2
#define s_dg_param 35
#define e_dg_object_param 1
#define e_dg_type_param 2
#define s_dg_param_mode 36
#define e_dg_in_mode 1
#define e_dg_inout_mode 2
#define e_dg_out_mode 3
#define s_dg_qualifier 37
#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
#define s_dg_sourcepos 38
#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
#define s_dg_tag 39
#define e_make_dg_tag 1
#define s_dg_type 40
#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
#define s_dg_variant 41
#define e_make_dg_variant 1
#define s_dg_varpart 42
#define e_dg_discrim_varpart 1
#define e_dg_sibl_discrim_varpart 2
#define e_dg_undiscrim_varpart 3
#define s_dg_virtuality 43
#define e_dg_abstract_virtuality 1
#define e_dg_virtual_virtuality 2
#define s_diag_descriptor 44
#define e_diag_desc_id 1
#define e_diag_desc_struct 2
#define e_diag_desc_typedef 3
#define s_diag_field 45
#define s_diag_tag 46
#define e_make_diag_tag 1
#define s_diag_tagdef 47
#define e_make_diag_tagdef 1
#define s_diag_tq 48
#define e_add_diag_const 1
#define e_add_diag_volatile 2
#define e_diag_tq_null 3
#define s_diag_type 49
#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
#define s_diag_type_unit 50
#define s_diag_unit 51
#define s_enum_values 52
#define s_error_code 53
#define e_nil_access 1
#define e_overflow 2
#define e_stack_overflow 3
#define s_error_treatment 54
#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
#define s_exp 55
#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
#define s_extern_link 56
#define s_external 57
#define e_string_extern 1
#define e_unique_extern 2
#define e_chain_extern 3
#define s_filename 58
#define e_filename_apply_token 1
#define e_make_filename 2
#define s_floating_variety 59
#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
#define s_group 60
#define s_label 61
#define e_label_apply_token 2
#define e_make_label 1
#define s_link 62
#define s_linkextern 63
#define s_linkinfo 64
#define e_static_name_def 1
#define e_make_comment 2
#define e_make_weak_defn 3
#define e_make_weak_symbol 4
#define s_linkinfo_props 65
#define s_links 66
#define s_nat 67
#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
#define s_ntest 68
#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
#define s_otagexp 69
#define s_procprops 70
#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
#define s_rounding_mode 71
#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
#define s_shape 72
#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
#define s_signed_nat 73
#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
#define s_sortname 74
#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
#define s_sourcemark 75
#define e_make_sourcemark 1
#define s_string 76
#define e_string_apply_token 1
#define e_string_cond 2
#define e_concat_string 3
#define e_make_string 4
#define s_tag 77
#define e_tag_apply_token 2
#define e_make_tag 1
#define s_tagacc 78
#define s_tagdec 79
#define e_make_id_tagdec 1
#define e_make_var_tagdec 2
#define e_common_tagdec 3
#define s_tagdec_props 80
#define s_tagdef 81
#define e_make_id_tagdef 1
#define e_make_var_tagdef 2
#define e_common_tagdef 3
#define s_tagdef_props 82
#define s_tagshacc 83
#define s_tokdec 84
#define e_make_tokdec 1
#define s_tokdec_props 85
#define s_tokdef 86
#define e_make_tokdef 1
#define s_tokdef_props 87
#define s_token 88
#define e_token_apply_token 1
#define e_make_tok 2
#define e_use_tokdef 3
#define s_token_defn 89
#define e_token_definition 1
#define s_tokformals 90
#define s_transfer_mode 91
#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
#define s_unique 92
#define s_unit 93
#define s_variety 94
#define e_var_apply_token 1
#define e_var_cond 2
#define e_var_limits 3
#define e_var_width 4
#define s_version 95
#define e_make_version 1
#define e_user_info 2
#define s_version_props 96
#endif
syntax highlighted by Code2HTML, v. 0.9.1