blob: 51627f79242755b0c050f93e54c261bd566961fd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
/**************************************************************************/
/* */
/* OCaml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
/* en Automatique. */
/* */
/* All rights reserved. This file is distributed under the terms of */
/* the GNU Lesser General Public License version 2.1, with the */
/* special exception on linking described in the file LICENSE. */
/* */
/**************************************************************************/
/* exec.h : format of executable bytecode files */
#ifndef CAML_EXEC_H
#define CAML_EXEC_H
#ifdef CAML_INTERNALS
/* Executable bytecode files are composed of a number of sections,
identified by 4-character names. A table of contents at the
end of the file lists the section names along with their sizes,
in the order in which they appear in the file:
offset 0 ---> initial junk
data for section 1
data for section 2
...
data for section N
table of contents:
descriptor for section 1
...
descriptor for section N
trailer
end of file --->
*/
/* Structure of t.o.c. entries
Numerical quantities are 32-bit unsigned integers, big endian */
struct section_descriptor {
char name[4]; /* Section name */
uint32_t len; /* Length of data in bytes */
};
#define EXEC_MAGIC_LENGTH 12
/* Structure of the trailer. */
struct exec_trailer {
uint32_t num_sections; /* Number of sections */
char magic[EXEC_MAGIC_LENGTH]; /* The magic number */
struct section_descriptor * section; /* Not part of file */
};
#define TRAILER_SIZE (4+EXEC_MAGIC_LENGTH)
/* Magic number for this release */
#define EXEC_MAGIC "Caml1999X027"
#endif /* CAML_INTERNALS */
#endif /* CAML_EXEC_H */
|
