@graphty/graph-io 0.3.11 → 0.3.13

package/dist/gml.js

@@ -1356,6 +1356,7 @@ const REPEATED_KEY_CODE = "E_GML_REPEATED_KEY";
 const ELEMENT_TYPE_CODE = "E_GML_ELEMENT_TYPE";
 const FLAG_TYPE_CODE = "E_GML_FLAG_TYPE";
 const FLAG_VALUE_CODE = "W_GML_FLAG_VALUE";
+const QUOTED_INT = /^\s*[+-]?[0-9]+\s*$/;
 const UNKNOWN_ENTITY_CODE = "W_GML_UNKNOWN_ENTITY";
 const PRECISION_CODE = PRECISION_CODE$1;
 const ROLE_TAKEN_CODE = ROLE_TAKEN_CODE$1;
@@ -1784,7 +1785,10 @@ class GmlImport {
         title: null,
         type: this.weightKinds === KIND_INT ? "int" : "real",
         namespace: null
-      } : void 0
+      } : void 0,
+      // The header as written, so a reader can say which words set the direction and tell
+      // `directed 0` from a file that relies on the specification's default.
+      extra: this.directedToken >= 0 ? { gml: { directed: textOf(this.directedToken) } } : void 0
     });
   }
   /**
@@ -1798,7 +1802,15 @@ class GmlImport {
       return null;
     }
     const t = this.requireTokens();
-    if (t.kind[v] !== TOKEN_INT) {
+    const quoted = t.kind[v] === TOKEN_STRING && QUOTED_INT.test(t.stringOf(v));
+    if (quoted) {
+      this.report.warning(
+        "validation-error",
+        FLAG_VALUE_CODE,
+        `flag "${name}" is written as the string ${describeValue(t, v)}; read as an integer`,
+        { line: t.line[v], element: name }
+      );
+    } else if (t.kind[v] !== TOKEN_INT) {
       this.report.error(
         "validation-error",
         FLAG_TYPE_CODE,
@@ -1807,7 +1819,7 @@ class GmlImport {
       );
       return null;
     }
-    const n = Number(t.textOf(v));
+    const n = Number(quoted ? t.stringOf(v) : t.textOf(v));
     if (n !== 0 && n !== 1) {
       this.report.warning(
         "validation-error",