Module parser

This module contains the parser for the Cedar language.

Modules

cst

Concrete Syntax Tree def used as parser first pass

cst_to_ast

Step two: convert CST to package AST Conversions from CST to AST

err

error handling utilities

text_to_cst

Step one: Convert text to CST This module contains step one of the parser for the Cedar language. It converts text to a CST

unescape

Utility functions to unescape string literals

util

Utility functions Utility functions used by multiple parts of the parser.

Structs

Loc

Represents a source location: index/range, and a reference to the source code which that index/range indexes into

Node

Metadata for our syntax trees

Functions

join_with_conjunction

Format an iterator as a natural-language string, separating items with commas and a conjunction (e.g., “and”, “or”) between the last two items.

parse_internal_string

parse a string into an internal Cedar string

parse_policy

Main function for parsing a (static) policy. Will return an error if provided with a template. If id is Some, then the resulting policy will have that id. If the id is None, the parser will use “policy0”.

parse_policy_or_template

Main function for parsing a policy or template. In either case, the returned value will be a ast::Template. If id is Some, then the resulting template will have that id. If the id is None, the parser will use “policy0”.

parse_policy_or_template_to_est

Parse a policy or template (either one works) to its EST representation

parse_policy_or_template_to_est_and_ast

Like parse_policy_or_template(), but also returns the (lossless) EST – that is, the EST of the original policy/template without any of the lossy transforms involved in converting to AST.

parse_policy_to_est_and_ast

Like parse_policy(), but also returns the (lossless) EST – that is, the EST of the original policy without any of the lossy transforms involved in converting to AST.

parse_policyset

simple main function for parsing policies generates numbered ids

parse_policyset_and_also_return_policy_text

Like parse_policyset(), but also returns the (lossless) original text of each individual policy. INVARIANT: The PolicyId of every Policy and Template returned by the policies() and templates() methods on the returned Policy must appear as a key in the returned map.

parse_policyset_to_ests_and_pset

Like parse_policyset(), but also returns the (lossless) ESTs – that is, the ESTs of the original policies without any of the lossy transforms involved in converting to AST.

parse_template

Main function for parsing a template. Will return an error if provided with a static policy. If id is Some, then the resulting policy will have that id. If the id is None, the parser will use “policy0”.