Module cedar_policy_core::parser

This module contains the parser for the Cedar language.

Modules

• cst
  Concrete Syntax Tree def used as parser first pass
• 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

Structs

• ASTNode
  Metadata for our syntax trees
• SourceInfo
  Describes where in policy source code a node in the CST or expression AST occurs.

Functions

• parse_internal_string
  parse a string into an internal Cedar string
• parse_policy
  simple main function for parsing a policy. 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_to_est
  Parse a policy or template (either one works) to its EST representation
• parse_policy_template
  Simple main function for parsing a policy 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_template_to_est_and_ast
  Like parse_policy_template(), but also returns the (lossless) EST – that is, the EST of the original 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.