Machine-Independent MDL for TOPS-20 and VAX.

[pdp10-muddle.git] / mim / development / mim / vax / mimlib / newstruc.mud

diff --git a/mim/development/mim/vax/mimlib/newstruc.mud b/mim/development/mim/vax/mimlib/newstruc.mud
new file mode 100644 (file)
index 0000000..40f00ae
--- /dev/null
+++ b/mim/development/mim/vax/mimlib/newstruc.mud
@@ -0,0 +1,109 @@
+<PACKAGE "NEWSTRUC">
+
+<RENTRY MSETG NEWSTRUC>
+
+"Does SETG and MANIFEST"
+<DEFINE MSETG ("TUPLE" DEFS:<<PRIMTYPE VECTOR> [REST ATOM ANY]>)
+   <COND (<NOT <0? <MOD <LENGTH .DEFS> 2>>>
+          <ERROR BAD-ARGUMENT-LIST!-ERRORS MSETG>)
+         (T
+          <REPEAT ((EXPSPLICE <AND <ASSIGNED? EXPSPLICE> .EXPSPLICE>)
+                   (REDEFINE <AND <ASSIGNED? REDEFINE> .REDEFINE>)
+                   (HEAD:LIST (T)) (TAIL:LIST .HEAD) DEF:ATOM VAL:ANY)
+             <SET VAL <2 .DEFS>>
+             <COND (<GASSIGNED? <SET DEF <1 .DEFS>>>
+                    <COND (<OR .REDEFINE <=? .VAL ,.DEF>
+                               <ERROR MSETG .DEF ALREADY-GASSIGNED ,.DEF>>
+                           <GUNASSIGN .DEF>
+                           <UNMANIFEST .DEF>
+                           <AGAIN>)>)
+                   (.EXPSPLICE
+                    <PUTREST .TAIL
+                             (<FORM SETG .DEF .VAL> <FORM MANIFEST .DEF>)>
+                    <SET TAIL <REST .TAIL 2>>)
+                   (T
+                    <SETG .DEF .VAL>
+                    <MANIFEST .DEF>)>
+             <COND (<EMPTY? <SET DEFS <REST .DEFS 2>>>
+                    <COND (.EXPSPLICE
+                           <MAPF <> ,EVAL <REST .HEAD>>
+                           <RETURN <CHTYPE <REST .HEAD> SPLICE>>)
+                          (<RETURN>)>)>>)>>
+
+"Set up structure definitions.  Takes name, primtype, pairs (sort of)
+ of name & type for slots in structure"
+<DEFINE NEWSTRUC (NAM:<OR ATOM <LIST ATOM>> PRIM:<OR ATOM <LIST ATOM>>
+                 "ARGS" ELEM:<PRIMTYPE LIST>
+                 "AUX" (RPRIM:ATOM <COND (<TYPE? .PRIM LIST> <1 .PRIM>)
+                                          (.PRIM)>)
+                       (LL:<PRIMTYPE LIST> <FORM <FORM PRIMTYPE .RPRIM>>)
+                        (L:<PRIMTYPE LIST> .LL) OFFS DEC
+                       R:<PRIMTYPE LIST> RR:<PRIMTYPE LIST> (CNT:FIX 1)
+                       (EXPSPLICE <AND <ASSIGNED? EXPSPLICE> .EXPSPLICE>))
+   <REPEAT ((HEAD:LIST (T)) (TAIL:LIST .HEAD))
+      <COND 
+       (<EMPTY? .ELEM>
+        <COND (<ASSIGNED? RR> <PUTREST .R (<VECTOR !.RR>)>)>
+        <COND 
+         (<TYPE? .NAM ATOM>
+          <COND (<TYPE? .PRIM LIST>
+                 <COND (.EXPSPLICE
+                        <SET TAIL
+                             <REST <PUTREST .TAIL
+                                            (<FORM PUT-DECL .NAM
+                                                   <FORM QUOTE .LL>>)>>>)>
+                 <PUT-DECL .NAM .LL>)
+                (T
+                 <COND (.EXPSPLICE
+                        <SET TAIL
+                             <REST <PUTREST .TAIL
+                                            (<FORM NEWTYPE .NAM .RPRIM
+                                                   <FORM QUOTE .LL>>)>>>
+                        <NEWTYPE .NAM .RPRIM .LL>)
+                       (T
+                        <NEWTYPE .NAM .RPRIM .LL>)>)>)
+         (T
+          <1  .LL .RPRIM>
+          <EVAL <FORM GDECL .NAM .LL>>
+          <SET NAM <1 .NAM>>)>
+        <COND (.EXPSPLICE
+               <RETURN <CHTYPE <REST .HEAD> SPLICE>>)
+              (<RETURN .NAM>)>)
+       (<LENGTH? .ELEM 1> <ERROR NEWSTRUC>)>
+      <SET OFFS <1 .ELEM>>
+      <SET DEC <2 .ELEM>>
+      <COND (<OR <NOT .OFFS> <TYPE? .OFFS FORM>>
+             <SET CNT <+ .CNT 1>>
+             <SET ELEM <REST .ELEM>>
+             <AGAIN>)>
+      <COND (<AND <TYPE? .OFFS STRING> <=? .OFFS "REST">>
+             <AND <ASSIGNED? RR> <ERROR NEWSTRUC TWO-RESTS>>
+             <SET R .L>
+             <SET RR <SET L <LIST REST>>>
+             <SET ELEM <REST .ELEM>>
+             <AGAIN>)
+            (<TYPE? .OFFS ATOM>
+             <SETG .OFFS <OFFSET .CNT .NAM .DEC>>
+             <MANIFEST .OFFS>
+             <COND (.EXPSPLICE
+                    <PUTREST .TAIL 
+                             (<FORM SETG .OFFS ,.OFFS>
+                              <FORM MANIFEST .OFFS>)>
+                    <SET TAIL <REST .TAIL 2>>)>)
+            (<TYPE? .OFFS LIST>
+             <MAPF <>
+                   <FUNCTION (A)
+                      <SETG .A <OFFSET .CNT .NAM .DEC>>
+                      <MANIFEST .A>
+                      <COND (.EXPSPLICE
+                             <PUTREST .TAIL
+                                      (<FORM SETG .A ,.A>
+                                       <FORM MANIFEST .OFFS>)>
+                             <SET TAIL <REST .TAIL 2>>)>>
+                   .OFFS>)
+            (T <ERROR NEWSTRUC>)>
+      <SET CNT <+ .CNT 1>>
+      <SET L <REST <PUTREST .L (.DEC)>>>
+      <SET ELEM <REST .ELEM 2>>>>
+
+<ENDPACKAGE>