Module traversal

Helpers for traversing Control programs

Structs

CompTraversal

Define traversal order of components: pre-order, post-order, or none.

DiagnosticContext

A type for accumulating multiple errors

PassOpt

Option that can be passed to a pass.

Enums

Action

Action performed at the end of visiting a control statement.

Order

The order in which the components are traversed.

ParseVal

The value returned from parsing an option.

Traits

ConstructVisitor

Trait defining method that can be used to construct a Visitor from an ir::Context. This is useful when a pass needs to construct information using the context before visiting the components.

DiagnosticPass

A pass that implements reporting Diagnostics

DiagnosticResult

Accumuate the error in a Result type into the DiagnosticContext.

Named

Trait that describes named things. Calling do_pass and do_pass_default. require this to be implemented.

Visitable

Describes types that can be visited by things implementing Visitor. This performs a recursive walk of the tree.

Visitor

The visiting interface for a ir::Control program. Contains two kinds of functions:

Type Aliases

VisResult

Result of performing a visit.