Module `Surface.Ast`Source

Abstract syntax tree built by the Catala parser

To allow for quick traversal and/or modification of this AST structure, we provide a visitor design pattern. This feature is implemented via François Pottier's OCaml visitors library.

Type definitions

Sourcetype uident = string

Constructors are CamelCase

Sourceand lident = string

Idents are snake_case

Sourceand path = uident Catala_utils.Mark.pos list

Sourceand scope_var = lident Catala_utils.Mark.pos list

foo.bar in binding position: used to specify variables of subscopes

Sourceand primitive_typ =

| Integer
| Decimal
| Boolean
| Money
| Duration
| Text
| Date
| Named of path * uident Catala_utils.Mark.pos

Sourceand base_typ_data =

| Primitive of primitive_typ
| Collection of base_typ_data Catala_utils.Mark.pos
| TTuple of base_typ_data Catala_utils.Mark.pos list

Sourceand base_typ =

| Condition
| Data of base_typ_data

Sourceand func_typ = {

arg_typ : (lident Catala_utils.Mark.pos * base_typ Catala_utils.Mark.pos) list;
return_typ : base_typ Catala_utils.Mark.pos;

}

Sourceand typ = naked_typ Catala_utils.Mark.pos

Sourceand naked_typ =

| Base of base_typ
| Func of func_typ

Sourceand struct_decl_field = {

struct_decl_field_name : lident Catala_utils.Mark.pos;
struct_decl_field_typ : typ;

}

Sourceand struct_decl = {

struct_decl_name : uident Catala_utils.Mark.pos;
struct_decl_fields : struct_decl_field Catala_utils.Mark.pos list;

}

Sourceand enum_decl_case = {

enum_decl_case_name : uident Catala_utils.Mark.pos;
enum_decl_case_typ : typ option;

}

Sourceand enum_decl = {

enum_decl_name : uident Catala_utils.Mark.pos;
enum_decl_cases : enum_decl_case Catala_utils.Mark.pos list;

}

Source

and match_case_pattern =
  (path * uident Catala_utils.Mark.pos) Catala_utils.Mark.pos list
  * lident Catala_utils.Mark.pos option

Sourceand op_kind =

| KPoly
| KInt
| KDec
| KMoney
| KDate
| KDuration

Sourceand binop =

| And
| Or
| Xor
| Add of op_kind
| Sub of op_kind
| Mult of op_kind
| Div of op_kind
| Lt of op_kind
| Lte of op_kind
| Gt of op_kind
| Gte of op_kind
| Eq
| Neq
| Concat

Sourceand unop =

| Not
| Minus of op_kind

Sourceand builtin_expression =

| Cardinal
| ToDecimal
| ToMoney
| GetDay
| GetMonth
| GetYear
| LastDayOfMonth
| FirstDayOfMonth
| Round

Sourceand literal_date = {

literal_date_day : int;
literal_date_month : int;
literal_date_year : int;

}

Sourceand literal_number =

| Int of string
| Dec of string * string

Sourceand literal_unit =

| Percent
| Year
| Month
| Day

Sourceand money_amount = {

money_amount_units : string;
money_amount_cents : string;

}

Sourceand literal =

| LNumber of literal_number Catala_utils.Mark.pos * literal_unit Catala_utils.Mark.pos option
| LBool of bool
| LMoneyAmount of money_amount
| LDate of literal_date

Sourceand collection_op =

| Member of {
1. element : expression;
}
| Exists of {
1. predicate : lident Catala_utils.Mark.pos list * expression;
}
| Forall of {
1. predicate : lident Catala_utils.Mark.pos list * expression;
}
| Map of {
1. f : lident Catala_utils.Mark.pos list * expression;
}
| Filter of {
1. f : lident Catala_utils.Mark.pos list * expression;
}
| AggregateSum of {
1. typ : primitive_typ;
}
| AggregateExtremum of {
1. max : bool;
2. default : expression;
}
| AggregateArgExtremum of {
1. max : bool;
2. default : expression;
3. f : lident Catala_utils.Mark.pos list * expression;
}

Sourceand explicit_match_case = {

match_case_pattern : match_case_pattern Catala_utils.Mark.pos;
match_case_expr : expression;

}

Sourceand match_case =

| WildCard of expression
| MatchCase of explicit_match_case

Sourceand match_cases = match_case Catala_utils.Mark.pos list

Sourceand expression = naked_expression Catala_utils.Mark.pos

Sourceand naked_expression =

| Paren of expression
| MatchWith of expression * match_cases Catala_utils.Mark.pos
| IfThenElse of expression * expression * expression
| Binop of binop Catala_utils.Mark.pos * expression * expression
| Unop of unop Catala_utils.Mark.pos * expression
| CollectionOp of collection_op Catala_utils.Mark.pos * expression
| TestMatchCase of expression * match_case_pattern Catala_utils.Mark.pos
| FunCall of expression * expression list
| ScopeCall of (path * uident Catala_utils.Mark.pos) Catala_utils.Mark.pos * (lident Catala_utils.Mark.pos * expression) list
| LetIn of lident Catala_utils.Mark.pos list * expression * expression
| Builtin of builtin_expression
| Literal of literal
| EnumInject of (path * uident Catala_utils.Mark.pos) Catala_utils.Mark.pos * expression option
| StructLit of (path * uident Catala_utils.Mark.pos) Catala_utils.Mark.pos * (lident Catala_utils.Mark.pos * expression) list
| StructReplace of expression * (lident Catala_utils.Mark.pos * expression) list
| ArrayLit of expression list
| Tuple of expression list
| Ident of path * lident Catala_utils.Mark.pos * lident Catala_utils.Mark.pos option
| Dotted of expression * (path * lident Catala_utils.Mark.pos) Catala_utils.Mark.pos
(*
Dotted is for both struct field projection and sub-scope variables
*)
| TupleAccess of expression * int Catala_utils.Mark.pos

Sourceand exception_to =

| NotAnException
| UnlabeledException
| ExceptionToLabel of lident Catala_utils.Mark.pos

Sourceand rule = {

rule_label : lident Catala_utils.Mark.pos option;
rule_exception_to : exception_to;
rule_parameter : lident Catala_utils.Mark.pos list Catala_utils.Mark.pos option;
rule_condition : expression option;
rule_name : scope_var Catala_utils.Mark.pos;
rule_id : Shared_ast.RuleName.t;
rule_consequence : bool Catala_utils.Mark.pos;
rule_state : lident Catala_utils.Mark.pos option;

}

Sourceand definition = {

definition_label : lident Catala_utils.Mark.pos option;
definition_exception_to : exception_to;
definition_name : scope_var Catala_utils.Mark.pos;
definition_parameter : lident Catala_utils.Mark.pos list Catala_utils.Mark.pos option;
definition_condition : expression option;
definition_id : Shared_ast.RuleName.t;
definition_expr : expression;
definition_state : lident Catala_utils.Mark.pos option;

}

Sourceand variation_typ =

| Increasing
| Decreasing

Sourceand meta_assertion =

| FixedBy of scope_var Catala_utils.Mark.pos * lident Catala_utils.Mark.pos
| VariesWith of scope_var Catala_utils.Mark.pos * expression * variation_typ Catala_utils.Mark.pos option

Sourceand assertion = {

assertion_condition : expression option;
assertion_content : expression;

}

Sourceand scope_use_item =

| Rule of rule
| Definition of definition
| Assertion of assertion
| MetaAssertion of meta_assertion
| DateRounding of variation_typ Catala_utils.Mark.pos

Sourceand scope_use = {

scope_use_condition : expression option;
scope_use_name : uident Catala_utils.Mark.pos;
scope_use_items : scope_use_item Catala_utils.Mark.pos list;

}

Sourceand io_input =

| Input
| Context
| Internal

Sourceand scope_decl_context_io = {

scope_decl_context_io_input : io_input Catala_utils.Mark.pos;
scope_decl_context_io_output : bool Catala_utils.Mark.pos;

}

Sourceand scope_decl_context_scope = {

scope_decl_context_scope_name : lident Catala_utils.Mark.pos;
scope_decl_context_scope_sub_scope : (path * uident Catala_utils.Mark.pos) Catala_utils.Mark.pos;
scope_decl_context_scope_attribute : scope_decl_context_io;

}

Sourceand scope_decl_context_data = {

scope_decl_context_item_name : lident Catala_utils.Mark.pos;
scope_decl_context_item_typ : typ;
scope_decl_context_item_parameters : (lident Catala_utils.Mark.pos * typ) list Catala_utils.Mark.pos option;
scope_decl_context_item_attribute : scope_decl_context_io;
scope_decl_context_item_states : lident Catala_utils.Mark.pos list;

}

Sourceand scope_decl_context_item =

| ContextData of scope_decl_context_data
| ContextScope of scope_decl_context_scope

Sourceand scope_decl = {

scope_decl_name : uident Catala_utils.Mark.pos;
scope_decl_context : scope_decl_context_item Catala_utils.Mark.pos list;

}

Sourceand top_def = {

topdef_name : lident Catala_utils.Mark.pos;
topdef_args : (lident Catala_utils.Mark.pos * base_typ Catala_utils.Mark.pos) list Catala_utils.Mark.pos option;
(*
Empty list if this is not a function
*)
topdef_type : typ;
topdef_expr : expression option;

}

Sourceand code_item =

| ScopeUse of scope_use
| ScopeDecl of scope_decl
| StructDecl of struct_decl
| EnumDecl of enum_decl
| Topdef of top_def

Sourceand code_block = code_item Catala_utils.Mark.pos list

Sourceand source_repr = string Catala_utils.Mark.pos

Sourceand law_heading = {

law_heading_name : string Catala_utils.Mark.pos;
law_heading_id : string option;
law_heading_is_archive : bool;
law_heading_precedence : int;

}

Sourceand law_include =

| PdfFile of string Catala_utils.Mark.pos * int option
| CatalaFile of string Catala_utils.Mark.pos
| LegislativeText of string Catala_utils.Mark.pos

Sourceand law_structure =

| LawInclude of law_include
| ModuleDef of uident Catala_utils.Mark.pos * bool
| ModuleUse of uident Catala_utils.Mark.pos * uident Catala_utils.Mark.pos option
| LawHeading of law_heading * law_structure list
| LawText of string
| CodeBlock of code_block * source_repr * bool

Sourceand interface = {

intf_modname : uident Catala_utils.Mark.pos;
intf_code : code_block;
(*
Invariant: an interface shall only contain *Decl elements, or Topdef elements with topdef_expr = None
*)
intf_submodules : module_use list;

}

Sourceand module_use = {

mod_use_name : uident Catala_utils.Mark.pos;
mod_use_alias : uident Catala_utils.Mark.pos;

}

Sourceand program = {

program_module_name : uident Catala_utils.Mark.pos option;
program_items : law_structure list;
program_source_files : string list;
program_used_modules : module_use list;
program_lang : Catala_utils.Global.backend_lang;

}

Sourceand source_file = law_structure list

include sig ... end

Sourceclass virtual +'b map : object ... end

Helpers

Sourceval rule_to_def : rule -> definition

Translates a rule into the corresponding definition

Source

val type_from_args : 
  (lident Catala_utils.Mark.pos * base_typ Catala_utils.Mark.pos) list
    Catala_utils.Mark.pos
    option ->
  base_typ Catala_utils.Mark.pos ->
  typ

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.surface/Surface/Ast/index.html

Module `Surface.Ast`Source

Type definitions

Helpers

package catala

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.surface/Surface/Ast/index.html

Module Surface.AstSource

Type definitions

Helpers

Module `Surface.Ast`Source