Module `Zparsetree`

type kind =

| S
| AS
| A
| C
| AD
| D
| P

type name = string

type qualident = {

qual : name;
id : name;

}

type longname =

| Name of name
| Modname of qualident

type 'a localized = {

desc : 'a;
loc : Zlocation.location;

}

type type_expression = type_expression_desc localized

Types

and type_expression_desc =

| Etypevar of name
| Etypeconstr of longname * type_expression list
| Etypetuple of type_expression list
| Etypevec of type_expression * size
| Etypefun of kind * string option * type_expression * type_expression

and size = size_desc localized

and size_desc =

| Sconst of int
| Sname of longname
| Sop of size_op * size * size

and size_op =

| Splus
| Sminus

type interface = interface_desc localized

Declarations and expressions

and interface_desc =

| Einter_open of name
| Einter_typedecl of name * name list * type_decl
| Einter_constdecl of name * type_expression

and type_decl = type_decl_desc localized

and type_decl_desc =

| Eabstract_type
| Eabbrev of type_expression
| Evariant_type of constr_decl list
| Erecord_type of (name * type_expression) list

and constr_decl = constr_decl_desc localized

and constr_decl_desc =

| Econstr0decl of name
| Econstr1decl of name * type_expression list

and implementation = implementation_desc localized

and implementation_desc =

| Eopen of name
| Etypedecl of name * name list * type_decl
| Econstdecl of name * is_static * exp
| Efundecl of name * funexp

and funexp = {

f_kind : kind;
f_atomic : is_atomic;
f_args : pattern list;
f_body : exp;
f_loc : Zlocation.location;

}

and is_atomic = bool

and is_static = bool

and exp = desc localized

and desc =

| Evar of longname
| Econst of immediate
| Econstr0 of constr
| Econstr1 of constr * exp list
| Elast of name
| Eapp of app * exp * exp list
| Eop of op * exp list
| Etuple of exp list
| Erecord_access of exp * longname
| Erecord of (longname * exp) list
| Erecord_with of exp * (longname * exp) list
| Etypeconstraint of exp * type_expression
| Elet of is_rec * eq list * exp
| Eseq of exp * exp
| Eperiod of period
| Ematch of exp * exp match_handler list
| Epresent of exp present_handler list * exp default option
| Eautomaton of exp state_handler list * state_exp option
| Ereset of exp * exp
| Eblock of eq list block * exp

and is_rec = bool

and app = {

app_inline : bool;
app_statefull : bool;

}

and 'a default =

| Init of 'a
| Default of 'a

and op =

| Efby
| Eunarypre
| Eifthenelse
| Eminusgreater
| Eup
| Einitial
| Edisc
| Etest
| Eaccess
| Eupdate
| Eslice of size * size
| Econcat
| Eatomic

and immediate =

| Eint of int
| Efloat of float
| Ebool of bool
| Echar of char
| Estring of string
| Evoid

and constant =

| Cimmediate of immediate
| Cglobal of longname

and period = {

p_phase : exp option;
p_period : exp;

}

and constr = longname

and pattern = pdesc localized

and pdesc =

| Etuplepat of pattern list
| Evarpat of name
| Ewildpat
| Econstpat of immediate
| Econstr0pat of longname
| Econstr1pat of longname * pattern list
| Ealiaspat of pattern * name
| Eorpat of pattern * pattern
| Erecordpat of (longname * pattern) list
| Etypeconstraintpat of pattern * type_expression

and eq = eqdesc localized

and eqdesc =

| EQeq of pattern * exp
| EQder of name * exp * exp option * exp present_handler list
| EQinit of name * exp
| EQnext of name * exp * exp option
| EQemit of name * exp option
| EQpluseq of name * exp
| EQautomaton of eq list state_handler list * state_exp option
| EQpresent of eq list block present_handler list * eq list block option
| EQmatch of exp * eq list block match_handler list
| EQifthenelse of exp * eq list block * eq list block option
| EQreset of eq list * exp
| EQand of eq list
| EQbefore of eq list
| EQblock of eq list block
| EQforall of forall_handler

and 'a block = 'a block_desc localized

and 'a block_desc = {

b_vars : vardec list;
b_locals : local list;
b_body : 'a;

}

and vardec = vardecdesc localized

and vardecdesc = {

vardec_name : name;
vardec_default : constant default option;
vardec_combine : longname option;

}

and local = local_desc localized

and local_desc = is_rec * eq list

and statepat = statepatdesc localized

and statepatdesc =

| Estate0pat of name
| Estate1pat of name * name list

and state_exp = state_exp_desc localized

and state_exp_desc =

| Estate0 of name
| Estate1 of name * exp list

and escape = {

e_cond : scondpat;
e_reset : bool;
e_block : eq list block option;
e_next_state : state_exp;

}

and scondpat = scondpat_desc localized

and scondpat_desc =

| Econdand of scondpat * scondpat
| Econdor of scondpat * scondpat
| Econdexp of exp
| Econdon of scondpat * exp
| Econdpat of exp * pattern

and is_on = bool

and 'a match_handler = {

m_pat : pattern;
m_body : 'a;

}

and 'a present_handler = {

p_cond : scondpat;
p_body : 'a;

}

and 'a state_handler_desc = {

s_state : statepat;
s_block : 'a block;
s_until : escape list;
s_unless : escape list;

}

and 'a state_handler = 'a state_handler_desc localized

and forall_handler = {

for_indexes : indexes_desc localized list;
for_init : init_desc localized list;
for_body : eq list block;

}

and indexes_desc =

| Einput of name * exp
| Eoutput of name * name
| Eindex of name * exp * exp

and init_desc =

| Einit_last of name * exp

Install

Dune Dependency

Authors

Maintainers

Sources

doc/zelus.zlcompilerlibs/Zparsetree/index.html

Module `Zparsetree`

package zelus

Install

Dune Dependency

Authors

Maintainers

Sources

doc/zelus.zlcompilerlibs/Zparsetree/index.html

Module Zparsetree

Module `Zparsetree`