asli 0.2.0 (latest) · OCaml Package

type id = string

type typeid = string

type intLit = string

type bitsLit = string

type maskLit = string

type realLit = string

type hexLit = string

type i = int

type l =

| Unknown
| Int of string * l option
| Generated of l
| Range of Stdlib.Lexing.position * Stdlib.Lexing.position

Location tracking

type 'a annot = l * 'a

val pp_lexing_position : Stdlib.Lexing.position -> string

val pp_loc : l -> string

exception Parse_error_locn of l * string

Parsing exceptions (1/2)

type ident =

| Ident of string
| FIdent of string * int

Identifiers used for variable names, function names, etc.

There are two kinds of identifier:

Ident is generated by the parser - it is just a string
FIdent is generated by the disambiguation part of the typechecker and includes a unique label to distinguish different entities with the same name in the source syntax.

val pprint_ident : ident -> string

val addTag : ident -> int -> ident

val stripTag : ident -> ident

val name_of_FIdent : ident -> string

val addQualifier : string -> ident -> ident

val addPrefix : string -> ident -> ident

val addSuffix : ident -> string -> ident

val genericTyvar : int -> ident

val isGenericTyvar : ident -> bool

module Id : sig ... end

Type Identifiers

module StringSet : sig ... end

val typeIdents : StringSet.t Stdlib.ref

val addTypeIdent : ident -> unit

val isTypeIdent : string -> bool

type binop =

| Binop_Eq
| Binop_NtEq
| Binop_Gt
| Binop_GtEq
| Binop_Lt
| Binop_LtEq
| Binop_Plus
| Binop_Minus
| Binop_Multiply
| Binop_Divide
| Binop_Power
| Binop_Quot
| Binop_Rem
| Binop_Div
| Binop_Mod
| Binop_ShiftL
| Binop_ShiftR
| Binop_BoolAnd
| Binop_BoolOr
| Binop_BoolIff
| Binop_BoolImplies
| Binop_BitOr
| Binop_BitEor
| Binop_BitAnd
| Binop_Append
| Binop_Concat
| Binop_DUMMY

type unop =

| Unop_Negate
| Unop_BoolNot
| Unop_BitsNot

type ixtype =

| Index_Enum of ident
| Index_Range of expr * expr

and ty =

| Type_Constructor of ident
| Type_Bits of expr
| Type_App of ident * expr list
| Type_OfExpr of expr
| Type_Register of intLit * (slice list * ident) list
| Type_Array of ixtype * ty
| Type_Tuple of ty list

and pattern =

| Pat_LitInt of intLit
| Pat_LitHex of hexLit
| Pat_LitBits of bitsLit
| Pat_LitMask of maskLit
| Pat_Const of ident
| Pat_Wildcard
| Pat_Tuple of pattern list
| Pat_Set of pattern list
| Pat_Range of expr * expr
| Pat_Single of expr

and expr =

| Expr_If of expr * expr * e_elsif list * expr
| Expr_Binop of expr * binop * expr
| Expr_Unop of unop * expr
| Expr_Field of expr * ident
| Expr_Fields of expr * ident list
| Expr_Slices of expr * slice list
| Expr_In of expr * pattern
| Expr_Var of ident
| Expr_Parens of expr
| Expr_Tuple of expr list
| Expr_Unknown of ty
| Expr_ImpDef of ty * string option
| Expr_TApply of ident * expr list * expr list
| Expr_Array of expr * expr
| Expr_LitInt of intLit
| Expr_LitHex of hexLit
| Expr_LitReal of realLit
| Expr_LitBits of bitsLit
| Expr_LitMask of maskLit
| Expr_LitString of string

and e_elsif =

| E_Elsif_Cond of expr * expr

and slice =

| Slice_Single of expr
| Slice_HiLo of expr * expr
| Slice_LoWd of expr * expr

type direction =

| Direction_Up
| Direction_Down

type lexpr =

| LExpr_Wildcard
| LExpr_Var of ident
| LExpr_Field of lexpr * ident
| LExpr_Fields of lexpr * ident list
| LExpr_Slices of lexpr * slice list
| LExpr_BitTuple of lexpr list
| LExpr_Tuple of lexpr list
| LExpr_Array of lexpr * expr
| LExpr_Write of ident * expr list * expr list
| LExpr_ReadWrite of ident * ident * expr list * expr list

type stmt =

| Stmt_VarDeclsNoInit of ty * ident list * l
| Stmt_VarDecl of ty * ident * expr * l
| Stmt_ConstDecl of ty * ident * expr * l
| Stmt_Assign of lexpr * expr * l
| Stmt_FunReturn of expr * l
| Stmt_ProcReturn of l
| Stmt_Assert of expr * l
| Stmt_Unpred of l
| Stmt_ConstrainedUnpred of l
| Stmt_ImpDef of ident * l
| Stmt_Undefined of l
| Stmt_ExceptionTaken of l
| Stmt_Dep_Unpred of l
| Stmt_Dep_ImpDef of string * l
| Stmt_Dep_Undefined of l
| Stmt_See of expr * l
| Stmt_Throw of ident * l
| Stmt_DecodeExecute of ident * expr * l
| Stmt_TCall of ident * expr list * expr list * l
| Stmt_If of expr * stmt list * s_elsif list * stmt list * l
| Stmt_Case of expr * alt list * stmt list option * l
| Stmt_For of ident * expr * direction * expr * stmt list * l
| Stmt_While of expr * stmt list * l
| Stmt_Repeat of stmt list * expr * l
| Stmt_Try of stmt list * ident * catcher list * stmt list option * l

and s_elsif =

| S_Elsif_Cond of expr * stmt list

and alt =

| Alt_Alt of pattern list * expr option * stmt list

and catcher =

| Catcher_Guarded of expr * stmt list

type instr_field =

| IField_Field of ident * int * int

type opcode_value =

| Opcode_Bits of bitsLit
| Opcode_Mask of maskLit

type decode_pattern =

| DecoderPattern_Bits of bitsLit
| DecoderPattern_Mask of maskLit
| DecoderPattern_Wildcard of ident
| DecoderPattern_Not of decode_pattern

type decode_slice =

| DecoderSlice_Slice of int * int
| DecoderSlice_FieldName of ident
| DecoderSlice_Concat of ident list

type sformal =

| Formal_In of ty * ident
| Formal_InOut of ty * ident

type encoding =

| Encoding_Block of ident * ident * instr_field list * opcode_value * expr * (int * bitsLit) list * stmt list * l

type decode_case =

| DecoderCase_Case of decode_slice list * decode_alt list * l

and decode_alt =

| DecoderAlt_Alt of decode_pattern list * decode_body

and decode_body =

| DecoderBody_UNPRED of l
| DecoderBody_UNALLOC of l
| DecoderBody_NOP of l
| DecoderBody_Encoding of ident * l
| DecoderBody_Decoder of instr_field list * decode_case * l

type mapfield =

| MapField_Field of ident * pattern

type declaration =

| Decl_BuiltinType of ident * l
| Decl_Forward of ident * l
| Decl_Record of ident * (ty * ident) list * l
| Decl_Typedef of ident * ty * l
| Decl_Enum of ident * ident list * l
| Decl_Var of ty * ident * l
| Decl_Const of ty * ident * expr * l
| Decl_BuiltinFunction of ty * ident * (ty * ident) list * l
| Decl_FunType of ty * ident * (ty * ident) list * l
| Decl_FunDefn of ty * ident * (ty * ident) list * stmt list * l
| Decl_ProcType of ident * (ty * ident) list * l
| Decl_ProcDefn of ident * (ty * ident) list * stmt list * l
| Decl_VarGetterType of ty * ident * l
| Decl_VarGetterDefn of ty * ident * stmt list * l
| Decl_ArrayGetterType of ty * ident * (ty * ident) list * l
| Decl_ArrayGetterDefn of ty * ident * (ty * ident) list * stmt list * l
| Decl_VarSetterType of ident * ty * ident * l
| Decl_VarSetterDefn of ident * ty * ident * stmt list * l
| Decl_ArraySetterType of ident * sformal list * ty * ident * l
| Decl_ArraySetterDefn of ident * sformal list * ty * ident * stmt list * l
| Decl_InstructionDefn of ident * encoding list * stmt list option * bool * stmt list * l
| Decl_DecoderDefn of ident * decode_case * l
| Decl_Operator1 of unop * ident list * l
| Decl_Operator2 of binop * ident list * l
| Decl_NewEventDefn of ident * (ty * ident) list * l
| Decl_EventClause of ident * stmt list * l
| Decl_NewMapDefn of ty * ident * (ty * ident) list * stmt list * l
| Decl_MapClause of ident * mapfield list * expr option * stmt list * l
| Decl_Config of ty * ident * expr * l

type leadingblank =

| LeadingBlank
| LeadingNothing

type factor =

| Factor_BinOp of binop * expr

type impdef_command =

| CLI_Impdef of string * expr

val associativeOperators : binop list

val booleanOperators : binop list

val comparisionOperators : binop list

val miscOperators : binop list

val isAssociative : binop -> bool

val isBoolean : binop -> bool

val isComparision : binop -> bool

val isMisc : binop -> bool

val higherPriorityThan : binop -> binop -> bool option

exception PrecedenceError of l * binop * binop

Parsing exceptions (2/2)

val buildExpr : binop -> expr -> factor list -> l -> expr * factor list

val buildExpression : expr -> factor list -> l -> expr

package asli