source: Deliverables/D2.2/8051/src/common/primitive.mli @ 1491

Last change on this file since 1491 was 818, checked in by ayache, 9 years ago

32 and 16 bits operations support in D2.2/8051

File size: 985 bytes
Line 
1
2(** These are the functions provided by the runtime system. *)
3
4val primitives : StringTools.Set.t
5
6val is_primitive : string -> bool
7
8(** Available primitives are :
9extern void print_schar(signed char);
10extern void print_uchar(unsigned char);
11extern void print_sshort(signed short);
12extern void print_ushort(unsigned short);
13extern void print_sint(signed int);
14extern void print_uint(unsigned int);
15extern int scan_int(void);
16extern int* alloc(int);
17extern void newline(void);
18extern void space(void); *)
19
20val args_byte_size : string -> AST.quantity
21
22val print_type        : AST.sig_type -> string
23val print_type_return : AST.type_return -> string
24val print_sig         : AST.signature -> string
25val print_signedness  : AST.signedness -> string
26val print_size        : AST.size -> string
27
28module Interpret (M : Memory.S) : sig
29  type res = V of M.Value.t list | A of M.Value.address
30  val t : 'a M.memory -> string -> M.Value.t list -> 'a M.memory * res
31end
32
33val prototypes : string
Note: See TracBrowser for help on using the repository browser.