@configura/web-core 2.1.0-alpha.2 → 2.1.0-alpha.3

package/dist/cm/format/dex/DexReader.js

@@ -1,532 +1,532 @@
-import { create_stream, DexMagic } from "@configura/internal";
-import { memory } from "@configura/internal/web_core_internal_bg.wasm";
-import { Color } from "../../basic/Color.js";
-import { ColorF } from "../../basic/ColorF.js";
-import { Angle } from "../../geometry/Angle.js";
-import { AngleF } from "../../geometry/AngleF.js";
-import { Box } from "../../geometry/Box.js";
-import { Matrix33 } from "../../geometry/Matrix33.js";
-import { Orientation } from "../../geometry/Orientation.js";
-import { Plane } from "../../geometry/Plane.js";
-import { Point } from "../../geometry/Point.js";
-import { Point2D } from "../../geometry/Point2D.js";
-import { Transform } from "../../geometry/Transform.js";
-import { DexInt, DexInt64 } from "./DexInt.js";
-import { DexInternalizedXRef } from "./DexInternalizedXRef.js";
-import { DexIRef } from "./DexIRef.js";
-import { DexObj } from "./DexObj.js";
-import { DexRef } from "./DexRef.js";
-import { DexReplacedXRefs } from "./DexReplacedXRefs.js";
-import { DexURL } from "./DexURL.js";
-import { DexVersion } from "./DexVersion.js";
-import { DexXRef, DexXRefStyle } from "./DexXRef.js";
-export function isStringToNumberMap(mp) {
-    for (const [k, v] of mp) {
-        return typeof k === "string" && typeof v === "number";
-    }
-    return false;
-}
-export function isStringToStringMap(mp) {
-    for (const [k, v] of mp) {
-        return typeof k === "string" && typeof v === "string";
-    }
-    return false;
-}
-export class DexReader {
-    constructor(_bytes, manager, url) {
-        this._bytes = _bytes;
-        this.manager = manager;
-        this.url = url;
-        this.isOpen = true;
-        this.version_1_2_0 = false;
-        this.version_1_1_0 = false;
-        this.version_0_0_1 = false;
-        this.accessed = true;
-        this.beginPos = -1;
-        this.openedTimeStamp = Date.now();
-        this.positions = new Map();
-        this.strs = new Map();
-        this.objs = new Map();
-        this.objsPos = new Map();
-        this.internalizedXRefs = new Map();
-        this.replacedXRefs = new DexReplacedXRefs();
-        this.stream = create_stream(_bytes);
-        manager.readers.set(url, this);
-    }
-    begin() {
-        this.beginPos = this.stream.get_position();
-        if (this.beginPos < 0) {
-            throw Error("this.beginPos is less than 0");
-        }
-        this.readHeader();
-        this.readShortcuts();
-        this.readTables();
-        return true;
-    }
-    end() {
-        // nada
-    }
-    read() {
-        if (this.beginPos < 0) {
-            const begin = this.begin();
-            if (!begin) {
-                return;
-            }
-            this.root = this.readRoot();
-            this.end();
-            return this.root;
-        }
-    }
-    readAngle() {
-        const radians = this.stream.read_f64();
-        return new Angle(radians);
-    }
-    readAngleF() {
-        const radians = this.stream.read_f32();
-        return new AngleF(radians);
-    }
-    readBox() {
-        const p0 = this.readPoint();
-        const p1 = this.readPoint();
-        return new Box(p0, p1);
-    }
-    readPlane() {
-        const vector = this.readPoint();
-        const distance = this.stream.read_f64();
-        return new Plane(vector, distance);
-    }
-    readByteArray() {
-        const length = this.stream.read_i32();
-        const start = this.stream.get_position();
-        const end = start + length;
-        this.stream.set_position(end);
-        this.stream.match_dex_magic(DexMagic.EndOdd);
-        return this.readBytes(start, length);
-    }
-    readBytes(start, length) {
-        const ptr = this.stream.get_ptr();
-        const mem = new Uint8Array(memory.buffer, ptr + start, length);
-        return mem.slice();
-    }
-    readColor() {
-        const type = this.stream.read_u8();
-        const r = this.stream.read_u8();
-        const g = this.stream.read_u8();
-        const b = this.stream.read_u8();
-        return new Color(type, r, g, b);
-    }
-    readColorF() {
-        const r = this.stream.read_f32();
-        const g = this.stream.read_f32();
-        const b = this.stream.read_f32();
-        const alpha = this.stream.read_f32();
-        return new ColorF(r, g, b, alpha);
-    }
-    readDexObj() {
-        const obj = DexObj.withReader(this);
-        const pos = this.stream.get_position();
-        if (this.objs.get(pos) !== undefined) {
-            throw Error(`pos: ${pos} already loaded!`);
-        }
-        this.readDexObjInto(obj);
-        return obj;
-    }
-    readDexObjArray() {
-        const count = this.stream.read_i32();
-        const refs = [];
-        for (let i = 0; i < count; i++) {
-            refs.push(this.readRef());
-        }
-        const pos = this.stream.get_position();
-        const objs = [];
-        for (const ref of refs) {
-            objs.push(this.loadDexObj(ref));
-        }
-        this.stream.set_position(pos);
-        this.stream.match_dex_magic(DexMagic.EndOdd);
-        return objs;
-    }
-    readDexObjInto(obj) {
-        this.stream.match_dex_magic(DexMagic.BeginObj);
-        if (obj.reader === undefined) {
-            throw Error("obj.reader is undefined");
-        }
-        obj.type = this.readStr();
-        obj.id = this.readStr();
-        const n = this.stream.unpack30();
-        for (let i = 0; i < n; i++) {
-            const key = this.readStr();
-            if (key === undefined) {
-                throw Error("key === undefined");
-            }
-            const value = this.readObject();
-            if (value instanceof Error) {
-                throw value;
-            }
-            obj.put(key, value);
-        }
-        this.stream.match_dex_magic(DexMagic.EndObj);
-    }
-    readOrientation() {
-        const yaw = this.readAngle();
-        const pitch = this.readAngle();
-        const roll = this.readAngle();
-        return new Orientation(yaw, pitch, roll);
-    }
-    readPoint() {
-        const x = this.stream.read_f64();
-        const y = this.stream.read_f64();
-        const z = this.stream.read_f64();
-        return new Point(x, y, z);
-    }
-    readPoint2D() {
-        const x = this.stream.read_f64();
-        const y = this.stream.read_f64();
-        return new Point2D(x, y);
-    }
-    readTransform() {
-        const bool = this.stream.read_bool();
-        if (bool) {
-            const c0 = this.readPoint();
-            const c1 = this.readPoint();
-            const c2 = this.readPoint();
-            const mapping = new Matrix33(c0, c1, c2);
-            const pos = this.readPoint();
-            return new Transform(pos, mapping);
-        }
-        else {
-            const pos = this.readPoint();
-            return new Transform(pos);
-        }
-    }
-    readDexVersion() {
-        const major = this.stream.read_u16();
-        const minor = this.stream.read_u8();
-        const patch = this.stream.read_u8();
-        return new DexVersion(major, minor, patch);
-    }
-    readDexXRef() {
-        const url = this.readStr();
-        const path = this.readStr();
-        if (url === undefined) {
-            throw Error("[readDexXRef] url is undefined");
-        }
-        const xref = this.internalizedXRefs.get(url);
-        let target = xref !== undefined ? this.manager.xrefTarget(xref) : url;
-        target = this.manager.expandRoot(target);
-        if (!rootedUrl(target)) {
-            throw Error("unresolved $-variables remain in '" + target + "'");
-        }
-        this.stream.match_dex_magic(DexMagic.EndXRef);
-        return new DexXRef(this, target, path, url, xref !== undefined ? xref.style : DexXRefStyle.External);
-    }
-    readHeader() {
-        this.beginPos = this.stream.get_position();
-        this.stream.match_dex_magic(DexMagic.BeginHeader);
-        this.writeVersion = this.readDexVersion();
-        this.version_0_0_1 = this.writeVersion.eq(new DexVersion(0, 0, 1));
-        this.version_1_1_0 = this.writeVersion.eq(new DexVersion(1, 1, 0));
-        this.version_1_2_0 = this.writeVersion.eq(new DexVersion(1, 2, 0));
-        this.positionsOffset = this.stream.read_i32();
-        this.thumbnailOffset = this.stream.read_i32();
-        // Skip rest of header
-        for (let i = 0; i < 7; i++) {
-            this.stream.read_i32();
-        }
-        this.stream.match_dex_magic(DexMagic.EndHeader);
-    }
-    readLayerExpression() {
-        const str = this.readStr();
-        // console.warn(`[DexReader.readLayerExpression] not yet impl, str:"${str}"`);
-        return str;
-    }
-    readRef() {
-        const pos = this.stream.read_i32();
-        if (pos <= 0) {
-            throw Error(`pos: ${pos} <= 0`);
-        }
-        const obj = this.objs.get(pos);
-        if (obj !== undefined) {
-            return obj;
-        }
-        else {
-            return new DexIRef(this, pos);
-        }
-    }
-    readRoot() {
-        this.takeShortcut("objs.offset");
-        this.stream.match_dex_magic(DexMagic.BeginObjs);
-        // this is not used in the original implementation
-        this.stream.read_i32();
-        const obj = this.readObject();
-        if (obj instanceof DexObj) {
-            return obj;
-        }
-        if (this.version_1_1_0) {
-            this.stream.match_dex_magic(DexMagic.EndObjs);
-        }
-    }
-    readURL() {
-        const url = this.readStr();
-        if (url === undefined) {
-            throw Error("unknown url");
-        }
-        return new DexURL(url);
-    }
-    readURL_0_0_1() {
-        let url = "";
-        const valid = this.stream.read_bool();
-        if (!valid) {
-            throw Error("url invalid");
-        }
-        const filenameBase = this.stream.read_str();
-        const suffix = this.stream.read_str();
-        const fileSize = this.stream.read_i32();
-        this.stream.read_str();
-        url = filenameBase + "." + suffix;
-        const start = this.stream.get_position();
-        const end = start + fileSize;
-        const fileBuffer = this.readBytes(start, fileSize);
-        this.stream.set_position(end);
-        this.stream.match_dex_magic(DexMagic.EndOdd);
-        // tslint:disable-next-line: no-unused-expression
-        new DexReader(fileBuffer, this.manager, url);
-        return new DexURL(url);
-    }
-    loadDexObj(obj, key) {
-        obj = obj instanceof DexRef ? obj.load(key) : obj;
-        if (!(obj instanceof DexObj)) {
-            throw Error(`obj: ${obj} not instance of DexObj`);
-        }
-        return obj;
-    }
-    readShortcuts() {
-        if (this.positionsOffset === undefined) {
-            throw Error("this.positionsOffset is undefined");
-        }
-        const positionsPos = this.positionsOffset + this.beginPos;
-        this.stream.set_position(positionsPos);
-        this.stream.match_dex_magic(DexMagic.BeginPositions);
-        const count = this.stream.unpack30();
-        this.positions = new Map();
-        for (let i = 0; i < count; i++) {
-            const s = this.stream.read_nano_str();
-            const pos = this.stream.unpack30();
-            this.positions.set(s, pos);
-        }
-        this.stream.match_dex_magic(DexMagic.EndPositions);
-    }
-    takeShortcut(shortcut) {
-        const offset = this.positions.get(shortcut) || 0;
-        this.stream.set_position(offset + this.beginPos);
-    }
-    readTables() {
-        const currentPos = this.stream.get_position();
-        this.readStrs();
-        this.readInternalizedXRefs();
-        this.stream.set_position(currentPos);
-    }
-    readStrs() {
-        const strsOffset = this.positions.get("strs.offset");
-        if (strsOffset === undefined) {
-            throw Error("[readStrs] this.positions[strs.offset] is undefined");
-        }
-        if (strsOffset > 0) {
-            this.stream.set_position(strsOffset + this.beginPos);
-            this.stream.match_dex_magic(DexMagic.BeginStrs);
-            const n = this.stream.unpack30();
-            for (let i = 0; i < n; i++) {
-                const str = this.stream.read_nano_str();
-                const id = this.stream.unpack30();
-                this.strs.set(id, str);
-            }
-            this.stream.match_dex_magic(DexMagic.EndStrs);
-        }
-    }
-    readSetStr() {
-        const count = this.stream.read_i32();
-        const strings = new Set();
-        for (let i = 0; i < count; i++) {
-            const s = this.readStr();
-            if (s !== undefined) {
-                strings.add(s);
-            }
-        }
-        return strings;
-    }
-    readStr() {
-        const id = this.stream.unpack30();
-        return id > 0 ? this.strs.get(id) : undefined;
-    }
-    readMapStrInt() {
-        const retMap = new Map();
-        const count = this.stream.read_i32();
-        for (let i = 0; i < count; i++) {
-            const key = this.readStr();
-            if (key === undefined) {
-                throw Error("[readStr] is undefined");
-            }
-            const value = this.stream.read_i32();
-            retMap.set(key, value);
-        }
-        return retMap;
-    }
-    readInternalizedXRefs() {
-        this.internalizedXRefs = new Map();
-        const xrefCount = this.positions.get("ixref.n");
-        if (xrefCount === undefined) {
-            return;
-        }
-        for (let i = 0; i < xrefCount; i++) {
-            this.readInternalizedXRef(i, xrefCount);
-        }
-    }
-    readInternalizedXRef(i, xrefCount) {
-        const key = "ixref" + i;
-        const offset = this.positions.get(key);
-        if (offset === undefined) {
-            throw Error("[readInternalizedXref] offset not defined");
-        }
-        this.stream.set_position(offset + this.beginPos);
-        this.stream.match_dex_magic(DexMagic.BeginInternalizedXRef);
-        const xrefLength = this.stream.unpack30();
-        const url = this.readStr();
-        if (url === undefined) {
-            throw Error("bad str id");
-        }
-        const xrefStyle = this.stream.read_cstr();
-        const hashId = this.stream.read_cstr();
-        const encoding = this.stream.read_cstr();
-        const hash = this.stream.read_cstr();
-        const internalized = new DexInternalizedXRef(i, xrefCount, this.stream.get_position(), xrefLength, url, xrefStyle, hashId, encoding, hash);
-        this.internalizedXRefs.set(url, internalized);
-    }
-    readInternalizedXRefFile(pos, length) {
-        this.stream.set_position(pos);
-        this.stream.match_dex_magic(DexMagic.OtherInternalizedXRefFile);
-        const start = this.stream.get_position();
-        const end = start + length;
-        this.stream.set_position(end);
-        this.stream.match_dex_magic(DexMagic.EndInternalizedXRef);
-        return this.readBytes(start, length);
-    }
-    internalizedXRef(url) {
-        return this.internalizedXRefs.get(url);
-    }
-    expandRelativeUrl(url) {
-        throw new Error("expandRelativeUrl not yet implemented");
-    }
-    putReplaceXRef(obj, k, xref) {
-        this.replacedXRefs.put(obj, k, xref);
-    }
-    readObject() {
-        const type = this.readStr();
-        switch (type) {
-            case "Angle":
-                return this.readAngle();
-            case "AngleF":
-                return this.readAngleF();
-            case "Bool":
-                return this.stream.read_bool();
-            case "Bound":
-                return this.readBox();
-            // case "BoundF":
-            // 	return new DexBoxF(getDexBoxF(this.b));
-            // case "Char":
-            // 	return new DexChar(getDexChar(this.b));
-            case "Color":
-                return this.readColor();
-            case "ColorF":
-                return this.readColorF();
-            case "DexObj[]":
-                return this.readDexObjArray();
-            // case "DexObj{}":
-            // 	return read_set_DexObj();
-            // case "DexObj->str":
-            // 	return read_map_DexObj_str();
-            case "Double":
-                return this.stream.read_f64();
-            case "Float":
-                return this.stream.read_f32();
-            case "Int":
-                return new DexInt(this.stream.read_i32());
-            case "Int64":
-                // TODO: is this read right?
-                return new DexInt64(this.stream.read_i32(), this.stream.read_i32());
-            case "LayerExpr":
-                return this.readLayerExpression();
-            // case "Line":
-            // 	return new DexLine(getDexLine(this.b));
-            // case "Line2D":
-            // 	return new DexLine2D(getDexLine2D(this.b));
-            // case "LineF":
-            // 	return new DexLineF(getDexLineF(this.b));
-            // case "LineF2D":
-            // 	return new DexLineF2D(getDexLineF2D(this.b));
-            // case "Nat":
-            // 	return new DexNat(this.b.getNat());
-            case "Orientation":
-                return this.readOrientation();
-            case "Point":
-                return this.readPoint();
-            case "Plane":
-                return this.readPlane();
-            case "Point2D":
-                return this.readPoint2D();
-            case "Str":
-                return this.readStr();
-            case "Transform":
-                return this.readTransform();
-            case "Url":
-                return this.version_0_0_1 ? this.readURL_0_0_1() : this.readURL();
-            case "Version":
-                return this.readDexVersion();
-            case "byte[]":
-                return this.readByteArray();
-            case "str{}":
-                return this.readSetStr();
-            case "dex":
-                return this.readDexObj();
-            case "null":
-                return undefined;
-            // case "point2D[]":
-            // 	return this.read_seq_point2D();
-            case "ref":
-                return this.readRef();
-            // case "str->str":
-            // 	return this.read_map_str_str();
-            case "str->int":
-                return this.readMapStrInt();
-            case "xref":
-                return this.readDexXRef();
-            default:
-                throw Error("[readObject] type not implemented: " + type);
-        }
-    }
-    readObjectFromPos(pos) {
-        if (!(pos > this.beginPos)) {
-            throw Error("pos is less or equal to this.beginPos");
-        }
-        let obj = this.objs.get(pos);
-        if (obj !== undefined) {
-            return obj;
-        }
-        this.stream.set_position(pos);
-        obj = this.readObject();
-        if (obj === undefined) {
-            throw Error("[readObjectFromPos] z is not defined");
-        }
-        this.objs.set(pos, obj);
-        this.objsPos.set(obj, pos);
-        return obj;
-    }
-    toString() {
-        return `DexReader(url=${this.url})`;
-    }
-    bytes() {
-        return this._bytes;
-    }
-}
-function rootedUrl(url) {
-    return url.indexOf("$(") === -1;
-}
+import { create_stream, DexMagic } from "@configura/internal";
+import { memory } from "@configura/internal/web_core_internal_bg.wasm";
+import { Color } from "../../basic/Color.js";
+import { ColorF } from "../../basic/ColorF.js";
+import { Angle } from "../../geometry/Angle.js";
+import { AngleF } from "../../geometry/AngleF.js";
+import { Box } from "../../geometry/Box.js";
+import { Matrix33 } from "../../geometry/Matrix33.js";
+import { Orientation } from "../../geometry/Orientation.js";
+import { Plane } from "../../geometry/Plane.js";
+import { Point } from "../../geometry/Point.js";
+import { Point2D } from "../../geometry/Point2D.js";
+import { Transform } from "../../geometry/Transform.js";
+import { DexInt, DexInt64 } from "./DexInt.js";
+import { DexInternalizedXRef } from "./DexInternalizedXRef.js";
+import { DexIRef } from "./DexIRef.js";
+import { DexObj } from "./DexObj.js";
+import { DexRef } from "./DexRef.js";
+import { DexReplacedXRefs } from "./DexReplacedXRefs.js";
+import { DexURL } from "./DexURL.js";
+import { DexVersion } from "./DexVersion.js";
+import { DexXRef, DexXRefStyle } from "./DexXRef.js";
+export function isStringToNumberMap(mp) {
+    for (const [k, v] of mp) {
+        return typeof k === "string" && typeof v === "number";
+    }
+    return false;
+}
+export function isStringToStringMap(mp) {
+    for (const [k, v] of mp) {
+        return typeof k === "string" && typeof v === "string";
+    }
+    return false;
+}
+export class DexReader {
+    constructor(_bytes, manager, url) {
+        this._bytes = _bytes;
+        this.manager = manager;
+        this.url = url;
+        this.isOpen = true;
+        this.version_1_2_0 = false;
+        this.version_1_1_0 = false;
+        this.version_0_0_1 = false;
+        this.accessed = true;
+        this.beginPos = -1;
+        this.openedTimeStamp = Date.now();
+        this.positions = new Map();
+        this.strs = new Map();
+        this.objs = new Map();
+        this.objsPos = new Map();
+        this.internalizedXRefs = new Map();
+        this.replacedXRefs = new DexReplacedXRefs();
+        this.stream = create_stream(_bytes);
+        manager.readers.set(url, this);
+    }
+    begin() {
+        this.beginPos = this.stream.get_position();
+        if (this.beginPos < 0) {
+            throw Error("this.beginPos is less than 0");
+        }
+        this.readHeader();
+        this.readShortcuts();
+        this.readTables();
+        return true;
+    }
+    end() {
+        // nada
+    }
+    read() {
+        if (this.beginPos < 0) {
+            const begin = this.begin();
+            if (!begin) {
+                return;
+            }
+            this.root = this.readRoot();
+            this.end();
+            return this.root;
+        }
+    }
+    readAngle() {
+        const radians = this.stream.read_f64();
+        return new Angle(radians);
+    }
+    readAngleF() {
+        const radians = this.stream.read_f32();
+        return new AngleF(radians);
+    }
+    readBox() {
+        const p0 = this.readPoint();
+        const p1 = this.readPoint();
+        return new Box(p0, p1);
+    }
+    readPlane() {
+        const vector = this.readPoint();
+        const distance = this.stream.read_f64();
+        return new Plane(vector, distance);
+    }
+    readByteArray() {
+        const length = this.stream.read_i32();
+        const start = this.stream.get_position();
+        const end = start + length;
+        this.stream.set_position(end);
+        this.stream.match_dex_magic(DexMagic.EndOdd);
+        return this.readBytes(start, length);
+    }
+    readBytes(start, length) {
+        const ptr = this.stream.get_ptr();
+        const mem = new Uint8Array(memory.buffer, ptr + start, length);
+        return mem.slice();
+    }
+    readColor() {
+        const type = this.stream.read_u8();
+        const r = this.stream.read_u8();
+        const g = this.stream.read_u8();
+        const b = this.stream.read_u8();
+        return new Color(type, r, g, b);
+    }
+    readColorF() {
+        const r = this.stream.read_f32();
+        const g = this.stream.read_f32();
+        const b = this.stream.read_f32();
+        const alpha = this.stream.read_f32();
+        return new ColorF(r, g, b, alpha);
+    }
+    readDexObj() {
+        const obj = DexObj.withReader(this);
+        const pos = this.stream.get_position();
+        if (this.objs.get(pos) !== undefined) {
+            throw Error(`pos: ${pos} already loaded!`);
+        }
+        this.readDexObjInto(obj);
+        return obj;
+    }
+    readDexObjArray() {
+        const count = this.stream.read_i32();
+        const refs = [];
+        for (let i = 0; i < count; i++) {
+            refs.push(this.readRef());
+        }
+        const pos = this.stream.get_position();
+        const objs = [];
+        for (const ref of refs) {
+            objs.push(this.loadDexObj(ref));
+        }
+        this.stream.set_position(pos);
+        this.stream.match_dex_magic(DexMagic.EndOdd);
+        return objs;
+    }
+    readDexObjInto(obj) {
+        this.stream.match_dex_magic(DexMagic.BeginObj);
+        if (obj.reader === undefined) {
+            throw Error("obj.reader is undefined");
+        }
+        obj.type = this.readStr();
+        obj.id = this.readStr();
+        const n = this.stream.unpack30();
+        for (let i = 0; i < n; i++) {
+            const key = this.readStr();
+            if (key === undefined) {
+                throw Error("key === undefined");
+            }
+            const value = this.readObject();
+            if (value instanceof Error) {
+                throw value;
+            }
+            obj.put(key, value);
+        }
+        this.stream.match_dex_magic(DexMagic.EndObj);
+    }
+    readOrientation() {
+        const yaw = this.readAngle();
+        const pitch = this.readAngle();
+        const roll = this.readAngle();
+        return new Orientation(yaw, pitch, roll);
+    }
+    readPoint() {
+        const x = this.stream.read_f64();
+        const y = this.stream.read_f64();
+        const z = this.stream.read_f64();
+        return new Point(x, y, z);
+    }
+    readPoint2D() {
+        const x = this.stream.read_f64();
+        const y = this.stream.read_f64();
+        return new Point2D(x, y);
+    }
+    readTransform() {
+        const bool = this.stream.read_bool();
+        if (bool) {
+            const c0 = this.readPoint();
+            const c1 = this.readPoint();
+            const c2 = this.readPoint();
+            const mapping = new Matrix33(c0, c1, c2);
+            const pos = this.readPoint();
+            return new Transform(pos, mapping);
+        }
+        else {
+            const pos = this.readPoint();
+            return new Transform(pos);
+        }
+    }
+    readDexVersion() {
+        const major = this.stream.read_u16();
+        const minor = this.stream.read_u8();
+        const patch = this.stream.read_u8();
+        return new DexVersion(major, minor, patch);
+    }
+    readDexXRef() {
+        const url = this.readStr();
+        const path = this.readStr();
+        if (url === undefined) {
+            throw Error("[readDexXRef] url is undefined");
+        }
+        const xref = this.internalizedXRefs.get(url);
+        let target = xref !== undefined ? this.manager.xrefTarget(xref) : url;
+        target = this.manager.expandRoot(target);
+        if (!rootedUrl(target)) {
+            throw Error("unresolved $-variables remain in '" + target + "'");
+        }
+        this.stream.match_dex_magic(DexMagic.EndXRef);
+        return new DexXRef(this, target, path, url, xref !== undefined ? xref.style : DexXRefStyle.External);
+    }
+    readHeader() {
+        this.beginPos = this.stream.get_position();
+        this.stream.match_dex_magic(DexMagic.BeginHeader);
+        this.writeVersion = this.readDexVersion();
+        this.version_0_0_1 = this.writeVersion.eq(new DexVersion(0, 0, 1));
+        this.version_1_1_0 = this.writeVersion.eq(new DexVersion(1, 1, 0));
+        this.version_1_2_0 = this.writeVersion.eq(new DexVersion(1, 2, 0));
+        this.positionsOffset = this.stream.read_i32();
+        this.thumbnailOffset = this.stream.read_i32();
+        // Skip rest of header
+        for (let i = 0; i < 7; i++) {
+            this.stream.read_i32();
+        }
+        this.stream.match_dex_magic(DexMagic.EndHeader);
+    }
+    readLayerExpression() {
+        const str = this.readStr();
+        // console.warn(`[DexReader.readLayerExpression] not yet impl, str:"${str}"`);
+        return str;
+    }
+    readRef() {
+        const pos = this.stream.read_i32();
+        if (pos <= 0) {
+            throw Error(`pos: ${pos} <= 0`);
+        }
+        const obj = this.objs.get(pos);
+        if (obj !== undefined) {
+            return obj;
+        }
+        else {
+            return new DexIRef(this, pos);
+        }
+    }
+    readRoot() {
+        this.takeShortcut("objs.offset");
+        this.stream.match_dex_magic(DexMagic.BeginObjs);
+        // this is not used in the original implementation
+        this.stream.read_i32();
+        const obj = this.readObject();
+        if (obj instanceof DexObj) {
+            return obj;
+        }
+        if (this.version_1_1_0) {
+            this.stream.match_dex_magic(DexMagic.EndObjs);
+        }
+    }
+    readURL() {
+        const url = this.readStr();
+        if (url === undefined) {
+            throw Error("unknown url");
+        }
+        return new DexURL(url);
+    }
+    readURL_0_0_1() {
+        let url = "";
+        const valid = this.stream.read_bool();
+        if (!valid) {
+            throw Error("url invalid");
+        }
+        const filenameBase = this.stream.read_str();
+        const suffix = this.stream.read_str();
+        const fileSize = this.stream.read_i32();
+        this.stream.read_str();
+        url = filenameBase + "." + suffix;
+        const start = this.stream.get_position();
+        const end = start + fileSize;
+        const fileBuffer = this.readBytes(start, fileSize);
+        this.stream.set_position(end);
+        this.stream.match_dex_magic(DexMagic.EndOdd);
+        // tslint:disable-next-line: no-unused-expression
+        new DexReader(fileBuffer, this.manager, url);
+        return new DexURL(url);
+    }
+    loadDexObj(obj, key) {
+        obj = obj instanceof DexRef ? obj.load(key) : obj;
+        if (!(obj instanceof DexObj)) {
+            throw Error(`obj: ${obj} not instance of DexObj`);
+        }
+        return obj;
+    }
+    readShortcuts() {
+        if (this.positionsOffset === undefined) {
+            throw Error("this.positionsOffset is undefined");
+        }
+        const positionsPos = this.positionsOffset + this.beginPos;
+        this.stream.set_position(positionsPos);
+        this.stream.match_dex_magic(DexMagic.BeginPositions);
+        const count = this.stream.unpack30();
+        this.positions = new Map();
+        for (let i = 0; i < count; i++) {
+            const s = this.stream.read_nano_str();
+            const pos = this.stream.unpack30();
+            this.positions.set(s, pos);
+        }
+        this.stream.match_dex_magic(DexMagic.EndPositions);
+    }
+    takeShortcut(shortcut) {
+        const offset = this.positions.get(shortcut) || 0;
+        this.stream.set_position(offset + this.beginPos);
+    }
+    readTables() {
+        const currentPos = this.stream.get_position();
+        this.readStrs();
+        this.readInternalizedXRefs();
+        this.stream.set_position(currentPos);
+    }
+    readStrs() {
+        const strsOffset = this.positions.get("strs.offset");
+        if (strsOffset === undefined) {
+            throw Error("[readStrs] this.positions[strs.offset] is undefined");
+        }
+        if (strsOffset > 0) {
+            this.stream.set_position(strsOffset + this.beginPos);
+            this.stream.match_dex_magic(DexMagic.BeginStrs);
+            const n = this.stream.unpack30();
+            for (let i = 0; i < n; i++) {
+                const str = this.stream.read_nano_str();
+                const id = this.stream.unpack30();
+                this.strs.set(id, str);
+            }
+            this.stream.match_dex_magic(DexMagic.EndStrs);
+        }
+    }
+    readSetStr() {
+        const count = this.stream.read_i32();
+        const strings = new Set();
+        for (let i = 0; i < count; i++) {
+            const s = this.readStr();
+            if (s !== undefined) {
+                strings.add(s);
+            }
+        }
+        return strings;
+    }
+    readStr() {
+        const id = this.stream.unpack30();
+        return id > 0 ? this.strs.get(id) : undefined;
+    }
+    readMapStrInt() {
+        const retMap = new Map();
+        const count = this.stream.read_i32();
+        for (let i = 0; i < count; i++) {
+            const key = this.readStr();
+            if (key === undefined) {
+                throw Error("[readStr] is undefined");
+            }
+            const value = this.stream.read_i32();
+            retMap.set(key, value);
+        }
+        return retMap;
+    }
+    readInternalizedXRefs() {
+        this.internalizedXRefs = new Map();
+        const xrefCount = this.positions.get("ixref.n");
+        if (xrefCount === undefined) {
+            return;
+        }
+        for (let i = 0; i < xrefCount; i++) {
+            this.readInternalizedXRef(i, xrefCount);
+        }
+    }
+    readInternalizedXRef(i, xrefCount) {
+        const key = "ixref" + i;
+        const offset = this.positions.get(key);
+        if (offset === undefined) {
+            throw Error("[readInternalizedXref] offset not defined");
+        }
+        this.stream.set_position(offset + this.beginPos);
+        this.stream.match_dex_magic(DexMagic.BeginInternalizedXRef);
+        const xrefLength = this.stream.unpack30();
+        const url = this.readStr();
+        if (url === undefined) {
+            throw Error("bad str id");
+        }
+        const xrefStyle = this.stream.read_cstr();
+        const hashId = this.stream.read_cstr();
+        const encoding = this.stream.read_cstr();
+        const hash = this.stream.read_cstr();
+        const internalized = new DexInternalizedXRef(i, xrefCount, this.stream.get_position(), xrefLength, url, xrefStyle, hashId, encoding, hash);
+        this.internalizedXRefs.set(url, internalized);
+    }
+    readInternalizedXRefFile(pos, length) {
+        this.stream.set_position(pos);
+        this.stream.match_dex_magic(DexMagic.OtherInternalizedXRefFile);
+        const start = this.stream.get_position();
+        const end = start + length;
+        this.stream.set_position(end);
+        this.stream.match_dex_magic(DexMagic.EndInternalizedXRef);
+        return this.readBytes(start, length);
+    }
+    internalizedXRef(url) {
+        return this.internalizedXRefs.get(url);
+    }
+    expandRelativeUrl(url) {
+        throw new Error("expandRelativeUrl not yet implemented");
+    }
+    putReplaceXRef(obj, k, xref) {
+        this.replacedXRefs.put(obj, k, xref);
+    }
+    readObject() {
+        const type = this.readStr();
+        switch (type) {
+            case "Angle":
+                return this.readAngle();
+            case "AngleF":
+                return this.readAngleF();
+            case "Bool":
+                return this.stream.read_bool();
+            case "Bound":
+                return this.readBox();
+            // case "BoundF":
+            // 	return new DexBoxF(getDexBoxF(this.b));
+            // case "Char":
+            // 	return new DexChar(getDexChar(this.b));
+            case "Color":
+                return this.readColor();
+            case "ColorF":
+                return this.readColorF();
+            case "DexObj[]":
+                return this.readDexObjArray();
+            // case "DexObj{}":
+            // 	return read_set_DexObj();
+            // case "DexObj->str":
+            // 	return read_map_DexObj_str();
+            case "Double":
+                return this.stream.read_f64();
+            case "Float":
+                return this.stream.read_f32();
+            case "Int":
+                return new DexInt(this.stream.read_i32());
+            case "Int64":
+                // TODO: is this read right?
+                return new DexInt64(this.stream.read_i32(), this.stream.read_i32());
+            case "LayerExpr":
+                return this.readLayerExpression();
+            // case "Line":
+            // 	return new DexLine(getDexLine(this.b));
+            // case "Line2D":
+            // 	return new DexLine2D(getDexLine2D(this.b));
+            // case "LineF":
+            // 	return new DexLineF(getDexLineF(this.b));
+            // case "LineF2D":
+            // 	return new DexLineF2D(getDexLineF2D(this.b));
+            // case "Nat":
+            // 	return new DexNat(this.b.getNat());
+            case "Orientation":
+                return this.readOrientation();
+            case "Point":
+                return this.readPoint();
+            case "Plane":
+                return this.readPlane();
+            case "Point2D":
+                return this.readPoint2D();
+            case "Str":
+                return this.readStr();
+            case "Transform":
+                return this.readTransform();
+            case "Url":
+                return this.version_0_0_1 ? this.readURL_0_0_1() : this.readURL();
+            case "Version":
+                return this.readDexVersion();
+            case "byte[]":
+                return this.readByteArray();
+            case "str{}":
+                return this.readSetStr();
+            case "dex":
+                return this.readDexObj();
+            case "null":
+                return undefined;
+            // case "point2D[]":
+            // 	return this.read_seq_point2D();
+            case "ref":
+                return this.readRef();
+            // case "str->str":
+            // 	return this.read_map_str_str();
+            case "str->int":
+                return this.readMapStrInt();
+            case "xref":
+                return this.readDexXRef();
+            default:
+                throw Error("[readObject] type not implemented: " + type);
+        }
+    }
+    readObjectFromPos(pos) {
+        if (!(pos > this.beginPos)) {
+            throw Error("pos is less or equal to this.beginPos");
+        }
+        let obj = this.objs.get(pos);
+        if (obj !== undefined) {
+            return obj;
+        }
+        this.stream.set_position(pos);
+        obj = this.readObject();
+        if (obj === undefined) {
+            throw Error("[readObjectFromPos] z is not defined");
+        }
+        this.objs.set(pos, obj);
+        this.objsPos.set(obj, pos);
+        return obj;
+    }
+    toString() {
+        return `DexReader(url=${this.url})`;
+    }
+    bytes() {
+        return this._bytes;
+    }
+}
+function rootedUrl(url) {
+    return url.indexOf("$(") === -1;
+}