X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fspv%2Fold-binary.grammar;fp=src%2Foutput%2Fspv%2Fold-binary.grammar;h=0e7f0d1b76ffda065b2788e548eeb78ac576ca01;hb=bcaaee5f0bd21f443c8dcb5f67114e63d43673af;hp=0000000000000000000000000000000000000000;hpb=1abd7f599dd0d773add0a98fa3b612bc15aaf422;p=pspp

diff --git a/src/output/spv/old-binary.grammar b/src/output/spv/old-binary.grammar
new file mode 100644
index 0000000000..0e7f0d1b76
--- /dev/null
+++ b/src/output/spv/old-binary.grammar
@@ -0,0 +1,23 @@
+LegacyBinary =>
+    00 byte[version] int16[n-sources] int32[member-size]
+    Metadata*[n-sources][metadata]
+    #Data*[n-sources][data]
+    #Strings?
+
+Metadata =>
+    int32[n-values] int32[n-variables] int32[data-offset]
+    byte*28[source-name]
+    vB0(byte*36[ext-source-name] int32[x])
+
+#Data => Variable*[n-variables]
+#Variable => byte*288[variable-name] double*[n-values]
+
+Strings => SourceMaps[maps] Labels
+
+SourceMaps => int32[n-maps] SourceMap*[n-maps]
+SourceMap => string[source-name] int32[n-variables] VariableMap*[n-variables]
+VariableMap => string[variable-name] int32[n-data] DatumMap*[n-data]
+DatumMap => int32[value-idx] int32[label-idx]
+
+Labels => int32[n-labels] Label*[n-labels]
+Label => int32[frequency] string[label]