An M3ObjFile.T represents a conventional object file with text and data segments, symbol tables, and relocation information.

INTERFACE M3ObjFile;

IMPORT M3ID, Target;
FROM M3CG IMPORT Name, BitOffset, BitSize, ByteOffset, ByteSize, TypeUID;

TYPE
  T = OBJECT METHODS
    cursor (s: Seg): INTEGER;
    append (s: Seg;  value, length: INTEGER);
    appendBytes (s: Seg;  READONLY bytes: ARRAY OF UINT8);
    patch  (s: Seg;  offset, value, length: INTEGER);
    backup(s: Seg;  length: CARDINAL);

    relocate (src_sym, src_offset, target_sym: INTEGER);

    import_symbol     (id: M3ID.T): INTEGER;
    define_symbol     (id: M3ID.T;  s: Seg;  offset: INTEGER): INTEGER;
    define_bss_symbol (id: M3ID.T;  size, align: INTEGER): INTEGER;

    move_symbol   (sym: INTEGER;  new_offset: INTEGER);
    export_symbol (sym: INTEGER);

    set_source_file (filename: TEXT);
    set_source_line (line: INTEGER);

    declare_typename (t: TypeUID;  n: Name);
    declare_array (t, index, elt: TypeUID;  s: BitSize);
    declare_open_array (t, elt: TypeUID;  s: BitSize);
    declare_enum (t: TypeUID; n_elts: INTEGER;  s: BitSize);
    declare_enum_elt (n: Name);
    declare_packed  (t: TypeUID;  s: BitSize;  base: TypeUID);
    declare_record (t: TypeUID;  s: BitSize;  n_fields: INTEGER);
    declare_field (n: Name;  o: BitOffset;  s: BitSize;  t: TypeUID);
    declare_set (t, domain: TypeUID;  s: BitSize);
    declare_subrange (t, domain: TypeUID; READONLY min,max: Target.Int;
                      s: BitSize);
    declare_pointer (t, target: TypeUID;  brand: TEXT;  traced: BOOLEAN);
    declare_indirect (t, target: TypeUID);
    declare_proctype (t: TypeUID;  n_formals: INTEGER;
                      result: TypeUID;  n_raises: INTEGER);
    declare_formal (n: Name;  t: TypeUID);
    declare_raises (n: Name);
    declare_object (t, super: TypeUID;  brand: TEXT;
                    traced: BOOLEAN;  n_fields, n_methods: INTEGER;
                    field_size: BitSize);
    declare_method (n: Name;  signature: TypeUID);
    declare_opaque (t, super: TypeUID);
    reveal_opaque (lhs, rhs: TypeUID);

    declare_exception (sym: INTEGER;  arg_type: TypeUID;  raise_proc: BOOLEAN);
    declare_global    (sym: INTEGER;  s: ByteSize;  m3t: TypeUID);
    declare_constant  (sym: INTEGER;  s: ByteSize;  m3t: TypeUID);

    declare_local (n: Name;  s: ByteSize;  frame: ByteOffset;  m3t: TypeUID);
    declare_param (n: Name;  s: ByteSize;  frame: ByteOffset;  m3t: TypeUID);

    declare_procedure (sym: INTEGER;  n_params: INTEGER;
                       nested, exported: BOOLEAN);

    begin_procedure (sym: INTEGER);
    end_procedure (sym: INTEGER);

    begin_block ();
    end_block ();

    note_procedure_origin (sym: INTEGER);
  END;

TYPE
  UINT8 = BITS 8 FOR [0..255];
  Seg = {Text, Data};

END M3ObjFile.