CristalCaveGem » LustreC

let literal_base = ["B"; "O"; "X"; "UB"; "UO"; "UX"; "SB"; "SO"; "SX"; "D"] (* Prefix of CstLiteral *)

(* TODO: do we need more constructors ? *)

    CstInt of int 

  | CstStdLogic of string

  | CstLiteral of string [@name "CST_LITERAL"]

  | Subtype of {name : vhdl_name_t ; typ : vhdl_subtype_indication_t} [@name "SUBTYPE_DECLARATION"]

and vhdl_expr_t =

  | Call of vhdl_name_t [@name "CALL"]

  | Op of { id: string [@default ""]; args: vhdl_expr_t list [@default []]} [@name "EXPRESSION"]

  | IsNull [@name "IsNull"]

  | Time of { value: int; phy_unit: string [@default ""]}

    names: vhdl_name_t list;

    mode: string list [@default []];

    typ: vhdl_subtype_indication_t;

  }

[@@deriving show { with_path = false }, yojson {strict = false}];;

  | VarDecl of {

      names : vhdl_name_t list; 

      typ : vhdl_subtype_indication_t; 

    } [@name "VARIABLE_DECLARATION"]

  | CstDecl of { 

      names : vhdl_name_t list; 

      typ : vhdl_subtype_indication_t; 

    } [@name "CONSTANT_DECLARATION"]

  | SigDecl of { 

      names : vhdl_name_t list; 

      typ : vhdl_subtype_indication_t; 

    } [@name "SIGNAL_DECLARATION"]

  | Subprogram of {

      name: vhdl_name_t [@default NoName];