colibri2 0.4 (latest) · OCaml Package

Construction

exception InvalidConstantLiteral of int * string

type integer_constant = private

| IConstDec of string
| IConstHex of string
| IConstOct of string
| IConstBin of string

type real_constant = private

| RConstDec of string * string * string option
| RConstHex of string * string * string option

type constant =

| ConstInt of integer_constant
| ConstReal of real_constant

val int_const_dec : string -> integer_constant

val int_const_hex : string -> integer_constant

val int_const_oct : string -> integer_constant

val int_const_bin : string -> integer_constant

these four functions construct integer constant terms from some string s of digits in the corresponding base. Exception InvalidConstantLiteral(base,s) is raised if s contains invalid characters for the given base.

val real_const_dec : string -> string -> string option -> real_constant

val real_const_hex : string -> string -> string option -> real_constant

Printing

type integer_format =
  (string -> unit, Stdlib.Format.formatter, unit) Stdlib.format

type real_format =
  (string -> string -> string -> unit, Stdlib.Format.formatter, unit)
    Stdlib.format

type part_real_format =
  (string -> string -> unit, Stdlib.Format.formatter, unit) Stdlib.format

type dec_real_format =

| PrintDecReal of part_real_format * real_format

type frac_real_format =

| PrintFracReal of integer_format * part_real_format * part_real_format

type 'a number_support_kind =

| Number_unsupported
| Number_default
| Number_custom of 'a

type integer_support_kind = integer_format number_support_kind

type number_support = {

long_int_support : bool;
dec_int_support : integer_support_kind;
hex_int_support : integer_support_kind;
oct_int_support : integer_support_kind;
bin_int_support : integer_support_kind;
def_int_support : integer_support_kind;
dec_real_support : dec_real_format number_support_kind;
hex_real_support : real_format number_support_kind;
frac_real_support : frac_real_format number_support_kind;
def_real_support : integer_support_kind;

}

val pp : number_support -> Stdlib.Format.formatter -> constant -> unit

package colibri2