MODULE SOxDummyCode;

IMPORT SOxCodeUtils, SOxCoder, Formatter, ImportList, SOxCodeGenError,
       Type, AtomList, Atom, CodeForType;

REVEAL T = SOxCoder.T BRANDED OBJECT
OVERRIDES
  InitImports := initImports;
  Import := import;
  Head := head;
  Decls := decls;
  Main := main;
  Bottom := bottom;
END;

VAR
  extraImports :=
        ARRAY [1..1] OF Atom.T{Atom.FromText("SharedObj")};

PROCEDURE initImports(<*UNUSED*>self: T;
                      <*UNUSED*>basename: TEXT;
                      imports: ImportList.T) =
  BEGIN
    CodeForType.AugmentImportList(imports, extraImports);
  END initImports;

PROCEDURE import(<*UNUSED*>self: T;
                type: Type.Object;
                methods: ImportList.MethodList;
                umethods: AtomList.T;
                imports: ImportList.T) =
  BEGIN
    CodeForType.ImportLst(type, imports, methods, umethods);
  END import;

PROCEDURE head(<*UNUSED*>self: T;
               wr: Formatter.T;
               fname: TEXT;
               <*UNUSED*>basename: TEXT;
               <*UNUSED*>imports: ImportList.T) =
  BEGIN
    SOxCodeUtils.HeaderComment(wr, fname);
  END head;

PROCEDURE decls(<*UNUSED*>self: T;
                <*UNUSED*>wr: Formatter.T;
                <*UNUSED*>typeID: Type.Qid;
                <*UNUSED*>stypeID: Type.Qid;
                <*UNUSED*>implName: TEXT;
                <*UNUSED*>methods: ImportList.MethodList;
                <*UNUSED*>umethods: AtomList.T) RAISES <*NOWARN*> {SOxCodeGenError.E} =
  BEGIN
  END decls;

PROCEDURE main(<*UNUSED*>self: T;
               <*UNUSED*>wr: Formatter.T;
               <*UNUSED*>typeID: Type.Qid;
               <*UNUSED*>type: Type.Object;
               <*UNUSED*>stypeID: Type.Qid;
               <*UNUSED*>implName: TEXT;
               <*UNUSED*>methods: ImportList.MethodList;
               <*UNUSED*>umethods: AtomList.T) RAISES <*NOWARN*> {SOxCodeGenError.E} =
  BEGIN
  END main;

PROCEDURE bottom(<*UNUSED*>self: T;
                 <*UNUSED*>wr: Formatter.T;
                 <*UNUSED*>fname: TEXT) =
  BEGIN
  END bottom;

BEGIN
END SOxDummyCode.