TDF Diagnostic Specification

1. Diagnostic SORTs

constructs: [sortid dg] [construct_name dg_apply_token] [result_sort dg] [construct_name make_tag_dg] [result_sort dg] [tg dg_tag] [diag dg]]]] [construct_name abortable_part_dg] [result_sort dg] [src_pos dg_sourcepos] [construct_name accept_dg] [result_sort dg] [src_pos dg_sourcepos] [entry dg_tag] [params dg_name_list] [alt dg_tag_option]]]] [construct_name barrier_dg] [result_sort dg] [src_pos dg_sourcepos] [entry dg_tag]]]] [construct_name branch_dg] [result_sort dg] [stmt_src_pos dg_sourcepos]]]] [construct_name call_dg] [result_sort dg] [idname dg_idname_option] [src_pos dg_sourcepos] [module dg_tag_option] [basetype dg_tag_option]]]] [construct_name compilation_dg] [result_sort dg] [comp_unit dg_tag]]]] [construct_name destructor_dg] [result_sort dg] [whence dg_sourcepos] [construct_name exception_handler_dg] [result_sort dg] [ex dg_name_option]]]] [construct_name exception_scope_dg] [result_sort dg] [handlers dg_tag_list]]]] [construct_name inline_call_dg] [result_sort dg] [proc dg_tag] [act_params dg_name_list] [construct_name inline_result_dg] [result_sort dg] [inline_id dg_tag]]]] [construct_name inlined_dg] [result_sort dg] [d dg] [origin dg_tag]]]] [construct_name jump_dg] [result_sort dg] [stmt_src_pos dg_sourcepos]]]] [construct_name label_dg] [result_sort dg] [idname dg_idname] [src_pos dg_sourcepos]]]] [construct_name lexical_block_dg] [result_sort dg] [idname dg_idname_option] [src_pos dg_sourcepos]]]] [construct_name list_dg] [result_sort dg] [args dg_list]]]] [construct_name long_jump_dg] [result_sort dg] [stmt_src_pos dg_sourcepos]]]] [construct_name name_decl_dg] [result_sort dg] [name dg_name]]]] [construct_name params_dg] [result_sort dg] [params dg_name_list] [construct_name raise_dg] [result_sort dg] [stmt_src_pos dg_sourcepos] [ex dg_type_option] [construct_name requeue_dg] [result_sort dg] [stmt_src_pos dg_sourcepos] [entry dg_tag] [construct_name rts_call_dg] [result_sort dg] [src_pos dg_sourcepos] [entry dg_tag_option] [alt dg_tag_option]]]] [construct_name select_dg] [result_sort dg] [src_pos dg_sourcepos] [construct_name select_alternative_dg] [result_sort dg] [src_pos dg_sourcepos] [construct_name select_guard_dg] [result_sort dg] [src_pos dg_sourcepos] [alt dg_tag]]]] [construct_name singlestep_dg] [result_sort dg] [src_pos dg_sourcepos]]]] [construct_name source_language_dg] [result_sort dg] [construct_name sourcepos_dg] [result_sort dg] [span dg_sourcepos]]]] [construct_name statement_part_dg] [result_sort dg] [lb dg_tag]]]] [construct_name test_dg] [result_sort dg] [src_pos dg_sourcepos] [construct_name triggering_alternative_dg] [result_sort dg] [src_pos dg_sourcepos] [construct_name with_dg] [result_sort dg] [type dg_type] [sortid dg_accessibility] [construct_name dg_local_accessibility] [result_sort dg_accessibility] [construct_name dg_private_accessibility] [result_sort dg_accessibility] [construct_name dg_protected_accessibility] [result_sort dg_accessibility] [construct_name dg_public_accessibility] [result_sort dg_accessibility] [sortid dg_append] [construct_name dg_name_append] [result_sort dg_append] [tg dg_tag] [name dg_name]]]]]]] [sortid dg_bound] [construct_name dg_dynamic_bound] [result_sort dg_bound] [bound dg_tag] [construct_name dg_static_bound] [result_sort dg_bound] [construct_name dg_unknown_bound] [result_sort dg_bound] [sortid dg_class_base] [construct_name make_dg_class_base] [result_sort dg_class_base] [base dg_tag] [whence dg_sourcepos_option] [accessibility dg_accessibility_option] [virtuality dg_virtuality_option]]]]]]] [sortid dg_classmem] [construct_name dg_tag_classmem] [result_sort dg_classmem] [tg dg_tag] [mem dg_classmem]]]] [construct_name dg_field_classmem] [result_sort dg_classmem] [idname dg_idname] [src_pos dg_sourcepos] [field_type dg_type] [accessibility dg_accessibility_option] [deflt dg_default_option]]]] [construct_name dg_function_classmem] [result_sort dg_classmem] [fn dg_name] [construct_name dg_indirect_classmem] [result_sort dg_classmem] [idname dg_idname] [src_pos dg_sourcepos] [cmem_type dg_type]]]] [construct_name dg_name_classmem] [result_sort dg_classmem] [name dg_name]]]]]]] [sortid dg_comp_props] [construct_name make_dg_compunit] [result_sort dg_comp_props] [comp_unit dg_compilation] [l dg_append_list]]]]]]] [sortid dg_compilation] [construct_name dg_tag_compilation] [result_sort dg_compilation] [tg dg_tag] [comp dg_compilation]]]] [construct_name make_dg_compilation] [result_sort dg_compilation] [primary_file dg_filename] [macros dg_macro_list] [comp_dir dg_filename] [dnames dg_namelist]]]]]]] [sortid dg_constraint] [construct_name dg_type_constraint] [result_sort dg_constraint] [ref_member dg_tag_option] [type dg_type]]]] [construct_name dg_value_constraint] [result_sort dg_constraint] [ref_member dg_tag_option] [sortid dg_default] [construct_name make_dg_default] [result_sort dg_default] [src_span dg_sourcepos_option]]]]]]] [sortid dg_dim] [construct_name dg_dim_apply_token] [result_sort dg_dim] [construct_name dg_tag_dim] [result_sort dg_dim] [tg dg_tag] [d dg_dim]]]] [construct_name dg_bounds_dim] [result_sort dg_dim] [low dg_bound] [high dg_bound] [index_type dg_type]]]] [construct_name dg_count_dim] [result_sort dg_dim] [low dg_bound] [count dg_bound] [index_type dg_type]]]] [construct_name dg_type_dim] [result_sort dg_dim] [type dg_type] [construct_name dg_unspecified_dim] [result_sort dg_dim] [sortid dg_discrim] [construct_name make_dg_discrim] [result_sort dg_discrim] [sortid dg_enum] [construct_name dg_tag_enum] [result_sort dg_enum] [tg dg_tag] [e dg_enum]]]] [construct_name make_dg_enum] [result_sort dg_enum] [idname dg_idname] [src_pos dg_sourcepos]]]] [construct_name dg_char_enum] [result_sort dg_enum] [src_pos dg_sourcepos]]]]]]] [sortid dg_filename] [construct_name dg_filename_apply_token] [result_sort dg_filename] [construct_name make_dg_filename] [result_sort dg_filename] [sortid dg_idname] [construct_name dg_idname_apply_token] [result_sort dg_idname] [construct_name dg_anonymous_idname] [result_sort dg_idname] [construct_name dg_artificial_idname] [result_sort dg_idname] [construct_name dg_external_idname] [result_sort dg_idname] [construct_name dg_instance_idname] [result_sort dg_idname] [idname dg_idname_option] [spec dg_idname] [whence dg_sourcepos] [aparams dg_name_list]]]] [construct_name dg_sourcestring_idname] [result_sort dg_idname] [sortid dg_macro] [construct_name dg_function_macro] [result_sort dg_macro] [src_pos dg_sourcepos] [idname dg_idname] [param dg_idname_list] [construct_name dg_include_macro] [result_sort dg_macro] [src_pos dg_sourcepos] [file dg_filename] [macros dg_macro_list]]]] [construct_name dg_object_macro] [result_sort dg_macro] [src_pos dg_sourcepos] [idname dg_idname] [construct_name dg_undef_macro] [result_sort dg_macro] [src_pos dg_sourcepos] [idname dg_idname]]]]]]] [sortid dg_name] [construct_name dg_name_apply_token] [result_sort dg_name] [construct_name dg_tag_name] [result_sort dg_name] [tg dg_tag] [name dg_name]]]] [construct_name dg_constant_name] [result_sort dg_name] [name dg_name]]]] [construct_name dg_entry_family_name] [result_sort dg_name] [proc dg_name] [family dg_dim]]]] [construct_name dg_entry_name] [result_sort dg_name] [idname dg_idname] [whence dg_sourcepos] [type dg_type] [accessibility dg_accessibility_option] [family dg_dim_option]]]] [construct_name dg_inlined_name] [result_sort dg_name] [name dg_name] [origin dg_tag]]]] [construct_name dg_is_spec_name] [result_sort dg_name] [name dg_name] [construct_name dg_module_name] [result_sort dg_name] [idname dg_idname] [whence dg_sourcepos] [memlist dg_namelist] [elaboration dg_tag_option]]]] [construct_name dg_namespace_name] [result_sort dg_name] [idname dg_idname] [whence dg_sourcepos] [members dg_namelist]]]] [construct_name dg_object_name] [result_sort dg_name] [idname dg_idname] [whence dg_sourcepos] [type dg_type] [accessibility dg_accessibility_option]]]] [construct_name dg_proc_name] [result_sort dg_name] [idname dg_idname] [whence dg_sourcepos] [type dg_type] [accessibility dg_accessibility_option] [virtuality dg_virtuality_option] [exceptions dg_type_list_option] [elaboration dg_tag_option]]]] [construct_name dg_program_name] [result_sort dg_name] [idname dg_idname] [whence dg_sourcepos] [construct_name dg_rep_clause_name] [result_sort dg_name] [item dg_name] [construct_name dg_spec_ref_name] [result_sort dg_name] [specification dg_tag] [name dg_name]]]] [construct_name dg_subunit_name] [result_sort dg_name] [parent dg_tag] [name dg_name] [accessibility dg_accessibility_option]]]] [construct_name dg_type_name] [result_sort dg_name] [idname dg_idname_option] [whence dg_sourcepos] [accessibility dg_accessibility_option] [type dg_type_option] [constraints dg_constraint_list_option]]]] [construct_name dg_visibility_name] [result_sort dg_name] [dname dg_tag] [idname dg_idname_option] [src_pos dg_sourcepos_option] [accessibility dg_accessibility_option] [type dg_type_option]]]]]]] [sortid dg_namelist] [construct_name dg_tag_namelist] [result_sort dg_namelist] [tg dg_tag] [nl dg_namelist]]]] [construct_name make_dg_namelist] [result_sort dg_namelist] [items dg_name_list]]]]]]] [sortid dg_param] [construct_name dg_object_param] [result_sort dg_param] [idname dg_idname_option] [src_pos dg_sourcepos_option] [mode dg_param_mode_option] [param_type dg_type] [deflt dg_default_option]]]] [construct_name dg_type_param] [result_sort dg_param] [idname dg_idname_option] [src_pos dg_sourcepos_option] [fparams dg_param_list]]]]]]] [sortid dg_param_mode] [construct_name dg_in_mode] [result_sort dg_param_mode] [construct_name dg_inout_mode] [result_sort dg_param_mode] [construct_name dg_out_mode] [result_sort dg_param_mode] [sortid dg_qualifier] [construct_name dg_aliased_qualifier] [result_sort dg_qualifier] [construct_name dg_class_wide_qualifier] [result_sort dg_qualifier] [construct_name dg_const_qualifier] [result_sort dg_qualifier] [construct_name dg_limited_qualifier] [result_sort dg_qualifier] [construct_name dg_volatile_qualifier] [result_sort dg_qualifier] [sortid dg_sourcepos] [construct_name dg_file_sourcepos] [result_sort dg_sourcepos] [file dg_filename]]]] [construct_name dg_global_sourcepos] [result_sort dg_sourcepos] [construct_name dg_mark_sourcepos] [result_sort dg_sourcepos] [file dg_filename] [construct_name dg_null_sourcepos] [result_sort dg_sourcepos] [construct_name dg_span_sourcepos] [result_sort dg_sourcepos] [from_file dg_filename] [to_file dg_filename_option] [sortid dg_tag] [construct_name make_dg_tag] [result_sort dg_tag] [sortid dg_type] [construct_name dg_type_apply_token] [result_sort dg_type] [construct_name dg_tag_type] [result_sort dg_type] [tg dg_tag] [type dg_type]]]] [construct_name dg_address_type] [result_sort dg_type] [idname dg_idname] [construct_name dg_array_type] [result_sort dg_type] [element_type dg_type] [dimensions dg_dim_list]]]] [construct_name dg_bitfield_type] [result_sort dg_type] [type dg_type] [construct_name dg_boolean_type] [result_sort dg_type] [idname dg_idname] [construct_name dg_char_type] [result_sort dg_type] [idname dg_idname] [construct_name dg_class_type] [result_sort dg_type] [inheritance dg_class_base_list] [members dg_classmem_list] [varpart dg_varpart_option] [friends dg_tag_list] [vtable_static dg_tag_option] [vtable_dynamic dg_tag_option] [tagname dg_idname_option] [src_pos dg_sourcepos_option] [rtti_static dg_tag_option] [rtti_dynamic dg_tag_option] [construct_name dg_complex_float_type] [result_sort dg_type] [idname dg_idname] [construct_name dg_enum_type] [result_sort dg_type] [values dg_enum_list] [tagname dg_idname_option] [src_pos dg_sourcepos_option] [construct_name dg_file_type] [result_sort dg_type] [elem_type dg_type] [construct_name dg_fixed_point_type] [result_sort dg_type] [rep_type dg_type] [construct_name dg_float_type] [result_sort dg_type] [idname dg_idname] [construct_name dg_floating_digits_type] [result_sort dg_type] [rep_type dg_type] [construct_name dg_inlined_type] [result_sort dg_type] [type dg_type] [origin dg_tag]]]] [construct_name dg_integer_type] [result_sort dg_type] [idname dg_idname] [construct_name dg_is_spec_type] [result_sort dg_type] [type dg_type]]]] [construct_name dg_modular_type] [result_sort dg_type] [rep_type dg_type] [construct_name dg_named_type] [result_sort dg_type] [dname dg_tag]]]] [construct_name dg_packed_type] [result_sort dg_type] [type dg_type] [construct_name dg_pointer_type] [result_sort dg_type] [type dg_type] [construct_name dg_proc_type] [result_sort dg_type] [params dg_param_list] [result_type dg_type] [construct_name dg_ptr_memdata_type] [result_sort dg_type] [cls dg_tag] [memtype dg_type] [pdm_type dg_tag_option]]]] [construct_name dg_ptr_memfn_type] [result_sort dg_type] [cls dg_tag] [memtype dg_type] [pfn_type dg_tag_option]]]] [construct_name dg_qualified_type] [result_sort dg_type] [qualifier dg_qualifier] [type dg_type]]]] [construct_name dg_reference_type] [result_sort dg_type] [type dg_type]]]] [construct_name dg_set_type] [result_sort dg_type] [element_type dg_type] [construct_name dg_spec_ref_type] [result_sort dg_type] [specification dg_tag] [type dg_type]]]] [construct_name dg_string_type] [result_sort dg_type] [character_type dg_tag] [construct_name dg_struct_type] [result_sort dg_type] [fields dg_classmem_list] [tagname dg_idname_option] [src_pos dg_sourcepos_option] [varpart dg_varpart_option] [construct_name dg_subrange_type] [result_sort dg_type] [rep_type dg_type] [low dg_bound] [high dg_bound]]]] [construct_name dg_synchronous_type] [result_sort dg_type] [idname dg_idname] [whence dg_sourcepos] [entries dg_name_list] [socb dg_tag] [members dg_classmem_list] [varpart dg_varpart_option] [elaboration dg_tag_option]]]] [construct_name dg_task_type] [result_sort dg_type] [idname dg_idname] [whence dg_sourcepos] [entries dg_name_list] [task_id dg_tag] [tcb dg_tag] [members dg_classmem_list] [varpart dg_varpart_option] [elaboration dg_tag_option]]]] [construct_name dg_unknown_type] [result_sort dg_type] [construct_name dg_void_type] [result_sort dg_type] [sortid dg_variant] [construct_name make_dg_variant] [result_sort dg_variant] [discr dg_discrim_list] [fields dg_classmem_list]]]]]]] [sortid dg_varpart] [construct_name dg_discrim_varpart] [result_sort dg_varpart] [discrim dg_classmem] [variants dg_variant_list]]]] [construct_name dg_sibl_discrim_varpart] [result_sort dg_varpart] [discrim dg_tag] [variants dg_variant_list]]]] [construct_name dg_undiscrim_varpart] [result_sort dg_varpart] [tag_type dg_type] [variants dg_variant_list]]]]]]] [sortid dg_virtuality] [construct_name dg_abstract_virtuality] [result_sort dg_virtuality] [construct_name dg_virtual_virtuality] [result_sort dg_virtuality] lists: dg_name_list dg_tag_list dg_list dg_macro_list dg_idname_list dg_type_list dg_constraint_list dg_param_list dg_dim_list dg_class_base_list dg_classmem_list dg_enum_list dg_discrim_list dg_variant_list]] slists: dg_append_list]] options: dg_tag_option dg_idname_option dg_name_option dg_type_option dg_sourcepos_option dg_accessibility_option dg_virtuality_option dg_default_option dg_dim_option dg_type_list_option dg_constraint_list_option dg_param_mode_option dg_filename_option dg_varpart_option