Module moore_vhdl_syntax::parser::rules

This module implements a first stage recursive descent parser for VHDL. It can process a stream of input tokens into the coarse, generalized abstract syntax tree defined in ast. The grammar productions/rules outlined in the VHDL standard are collapsed into more general rules as outlined in the following table.

VHDL Standard	Generalized to
aggregate	paren_expr
array_constraint	name
attribute_declaration	attr_decl
attribute_name	name
attribute_specification	attr_decl
block_specification	name
configuration_item	decl_item
constraint	primary_expr
enumeration_type_definition	paren_expr
external_name	ignored
function_call	name
generate_specification	expr
generic_clause	generic_clause
generic_map_aspect	map_aspect
group_declaration	group_decl
group_template_declaration	group_decl
indexed_name	name
interface_subprogram_declaration	subprog_spec
name	name
name/character_literal	primary_name
name/operator_symbol	primary_name
name/simple_name	primary_name
port_clause	port_clause
port_map_aspect	map_aspect
range_constraint	name
record_constraint	name, paren_expr
resolution_indication	primary_expr
selected_name	name
slice_name	name
subprogram_body	subprog_spec
subprogram_declaration	subprog_spec
subprogram_instantiation_declaration	subprog_spec
subtype_indication	name, primary_expr
target	primary_expr
time_expression	expr
type_mark	name

Structs

Recovered

Reported

Enums

ExprPrec

The precedence of an expression.

Traits

Parser

Functions

parse_alias_decl

Parse an alias declaration. See IEEE 1076-2008 section 6.6.

parse_arch_body

Parse an architecture body. See IEEE 1076-2008 section 3.3.

parse_assert_stmt

Parse an assertion statement. See IEEE 1076-2008 section 10.3.

parse_assign_dst_tail

parse_assign_tail

Parse the tail of an assign statement. This function assumes that the name of the signal to be assigned has already been parsed. See IEEE 1076-2008 section 10.5.

parse_attr_decl

Parse an attribute declaration or specification. See IEEE 1076-2008 sections 6.7 and 7.2.

parse_binding_ind

Parse a binding indication. See IEEE 1076-2008 section 7.3.2.1. The trailing semicolon is required only if at least one of the aspect has been parsed.

parse_block_comp_config

Parse a block or component configuration. See IEEE 1076-2008 sections 3.4.2 and 3.4.3.

parse_block_comp_decl_item

Parse a block or component configuration declarative item.

parse_block_comp_spec

Parse a block or component specification. See IEEE 1067-2008 section 7.3.1.

parse_block_stmt

Parse a block statement. See IEEE 1076-2008 section 11.2.

parse_case_generate_stmt

Parse a generate case statement. See IEEE 1076-2008 section 11.8.

parse_case_stmt

Parse a case statement. See IEEE 1076-2008 section 10.9.

parse_component_decl

Parse a component declaration. See IEEE 1076-2008 section 6.8.

parse_cond_waves

Parse a list of conditional waveforms. See IEEE 1076-2008 section 10.5.

parse_config_decl

Parse a configuration declaration. See IEEE 1076-2008 section 3.4.

parse_config_spec

Parse a configuration specification. See IEEE 1076-2008 section 7.3.1.

parse_context_decl

Parse a context declaration. IEEE 1076-2008 section 13.3.

parse_context_ref

parse_design_file

Parse an entire design file. IEEE 1076-2008 section 13.1.

parse_design_unit

Parse a single design unit. IEEE 1076-2008 section 13.1.

parse_discon_spec

Parse a disconnection specification. See IEEE 1076-2008 section 7.4.

parse_entity_class

Parse an entity class. See IEEE 1076-2008 section 7.2.

parse_entity_decl

Parse an entity declaration. See IEEE 1076-2008 section 3.2.

parse_expr

parse_expr_prec

Parse an expression with a precedence higher than prec.

parse_expr_suffix

Parse an expression suffix. Given an already parsed expression and its precedence, try to parse additional tokens that extend the already parsed expression. This is currently limited to binary operations.

parse_for_generate_stmt

Parse a generate for statement. See IEEE 1076-2008 section 11.8.

parse_generate_body

Parse a generate body. See IEEE 1076-2008 section 11.8.

parse_group_decl

Parse a group declaration or group template declaration. See IEEE 1076-2008 sections 6.9 and 6.10.

parse_if_generate_stmt

Parse a generate if statement. See IEEE 1076-2008 section 11.8.

parse_if_stmt

Parse an if statement. See IEEE 1076-2008 section 10.8.

parse_inst_or_call_tail

Parse the tail of an instantiation or procedure call statement. See IEEE 1076-2008 sections 10.7, 11.4, and 11.7.

parse_intf_decl

Parse an interface declaration. These are generally part of an interface list as they appear in generic and port clauses within for example entity declarations. See IEEE 1076-2008 section 6.5.1.

parse_library_clause

Parse a library clause. IEEE 1076-2008 section 13.2.

parse_loop_stmt

Parse a loop statement. See IEEE 1076-2008 section 10.10.

parse_name

Parse a name. IEEE 1076-2008 section 8.

parse_name_suffix

Parse the suffix to a name. IEEE 1076-2008 section 8.

parse_nexit_stmt

Parse a next or exit statement. See IEEE 1076-2008 sections 10.11 and 10.12.

parse_null_stmt

Parse a null statement. See IEEE 1076-2008 section 10.14.

parse_object_decl

Parse a constant, signal, variable, or file declaration. See IEEE 1076-2008 section 6.4.2.

parse_package_body

Parse a package body. See IEEE 1076-2008 section 4.8.

parse_package_decl

Parse a package declaration. See IEEE 1076-2008 section 4.7.

parse_package_inst

Parse a package instantiation declaration. See IEEE 1076-2008 section 4.9.

parse_paren_elem_vec

parse_paren_expr

Try to parse a parenthesized expression. This is a combination of a variety of rules from the VHDL grammar. Most notably, it combines the following:

parse_primary_expr

parse_proc_stmt

Parse a process statement. See IEEE 1076-2008 section 11.3.

parse_report_stmt

Parse a report statement. See IEEE 1076-2008 section 10.4.

parse_return_stmt

Parse a return statement. See IEEE 1076-2008 section 10.13.

parse_select_assign

Parse a select assign statement. See IEEE 1076-2008 section 10.5.

parse_selected_waves

Parse a list of selected waveforms. See IEEE 1076-2008 section 10.5.

parse_signature

parse_stmt

Parse a sequential or concurrent statement.

parse_subprog_decl_item

Parse a subprogram declarative item, which is either a subprogram declaration, body, or instantiation. See IEEE 1076-2008 section 4.2.

parse_subprog_spec

Parse a subprogram specification. This covers the initial part of a subprogram declaration, body, instantiation, or interface declaration. See IEEE 1076-2008 sections 4.2 and 6.5.4. Note that not all combinations of keywords and qualifiers that this parser accepts are actually valid.

parse_subtype_decl

Parse a subtype declaration. See IEEE 1076-2008 section 6.3.

parse_subtype_ind

Parse a subtype indication. See IEEE 1076-2008 section 6.3.

parse_type_decl

Parse a type declaration. See IEEE 1076-2008 section 6.2.

parse_use_clause

Parse a use clause. IEEE 1076-2008 section 12.4.

parse_vunit_binding_ind

parse_wait_stmt

Parse a wait statement. See IEEE 1076-2008 section 10.2.

parse_wave

Parse a waveform. See IEEE 1076-2008 section 10.5.

try_context_item

Parse a context item. IEEE 1076-2008 section 13.4.

try_decl_item

Try to parse a declarative item. See IEEE 1076-2008 section 3.2.3.

try_delay_mech

Try to parse a delay mechanism.

try_force_mode

try_generic_clause

Try to parse a generic clause. See IEEE 1076-2008 section 6.5.6.2.

try_label

Parse an optional label, which basically is just an identifier followed by a colon. This is interesting for statement parsing. See IEEE 1076-2008 section 10.

try_map_aspect

Try to parse a generic or port map aspect. See IEEE 1076-2008 sections 6.5.7.2 and 6.5.7.3.

try_name

Try to parse a name. IEEE 1076-2008 section 8.

try_name_or_qualified_primary_expr

try_paren_expr

try_port_clause

Try to parse a port clause. See IEEE 1076-2008 section 6.5.6.3.

try_primary_name

Try to parse a primary name. IEEE 1076-2008 section 8.

Type Definitions

RecoveredResult

ReportedResult