Module brane_ast::traversals

Defines the traversals that are part of the compiler.

Modules

• attributes
  Implements a traversal that processes Stmt::Attributes and Stmt::AttributeInners into attribute annotations on other statement nodes.
• compile
  Implements the traversal in which the brane-dsl AST is finally converted to the brane-ast AST (i.e., BraneScript is compiled to a Workflow).
• data
  Implements a traversal that analyses data dependencies for external calls.
• flatten
  Implements a traversal that flattens the scopes (i.e., symbol tables) of the given program. This effectively brings all nested scopes back to the toplevel.
• location
  Resolves the extra location restrictions that on-structures impose.
• metadata
  Traversal that annotates the given workflow with metadata from tags.
• null
  Implements a traversal that resolves null-types from the tree, resolving them with more proper types.
• offset
  Secret first first first traversal that simply updates all brane_dsl::TextRanges in the AST to have correct offsets w.r.t. the entire source (in case this is a snippet).
• print
  Prints either the brane-dsl AST or the brane-ast AST in BraneScript-like syntax.
• prune
  Traversal that prunes the AST for compilation.
• resolve
  Implements a traversal that builds symbol tables for the brane-dsl AST.
• typing
  Performs type analysis on the AST, i.e., resolving the types that haven’t been already and verifying the required ones are there.
• workflow_optimize
  Implements a traversal that optimizes a workflow by combining as much edges into one as possible.
• workflow_resolve
  Final traversal in the compiler that takes an UnresolvedWorkflow and resolves all references to new edges.