@markw65/monkeyc-optimizer 1.1.32 → 1.1.34

package/build/src/src/xml-util.d.ts

@@ -0,0 +1,172 @@
+export declare class PeggyError extends Error {
+    location: SourceLocation | null | undefined;
+    constructor(message: string, location: SourceLocation | null | undefined);
+}
+export interface Position {
+    /** >= 0 */
+    offset: number;
+    /** >= 1 */
+    line: number;
+    /** >= 0 */
+    column: number;
+}
+export interface SourceLocation {
+    source?: string | null | undefined;
+    start: Position;
+    end: Position;
+}
+interface BaseNode {
+    type: string;
+    loc?: SourceLocation | null | undefined;
+    start?: number;
+    end?: number;
+    range?: [number, number] | undefined;
+}
+interface AttrStr extends BaseNode {
+    type: "attrstr";
+    value: string;
+}
+export interface Attribute extends BaseNode {
+    type: "attribute";
+    name: AttrStr;
+    value: AttrStr;
+}
+export interface CharData extends BaseNode {
+    type: "chardata";
+    value: string;
+}
+interface CharRef extends BaseNode {
+    type: "charref";
+    value: number;
+    base: 10 | 16;
+}
+interface Comment extends BaseNode {
+    type: "comment";
+    value: string;
+}
+interface DocTypeDecl extends BaseNode {
+    type: "doctypedecl";
+    name: string;
+    externalID?: ExternalID;
+    intSubset?: Array<MarkupDecl | PEReference>;
+}
+interface EntityDecl extends BaseNode {
+    type: "entitydecl";
+    name: string;
+    def: XValue;
+    kind: "&" | "%";
+}
+interface XValue extends BaseNode {
+    type: "entityvalue";
+    value?: Array<string | Reference | PEReference>;
+    extid?: System;
+    ndecl?: NData;
+}
+type Reference = CharRef | EntityRef;
+type PEReference = PERef;
+type SystemLiteral = string;
+interface EntityRef extends BaseNode {
+    type: "entityref";
+    name: string;
+}
+interface PERef extends BaseNode {
+    type: "peref";
+    name: string;
+}
+interface NotationDecl extends BaseNode {
+    type: "notationdecl";
+    name: string;
+    id: ExternalID | PublicID;
+}
+interface PublicID extends BaseNode {
+    type: "publicid";
+    value: string;
+}
+interface NData extends BaseNode {
+    type: "ndata";
+    value: string;
+}
+type ExternalID = System | Public;
+type MarkupDecl = EntityDecl | NotationDecl | PI | Comment;
+interface System extends BaseNode {
+    type: "system";
+    value: SystemLiteral;
+}
+interface Public extends BaseNode {
+    type: "public";
+    value: SystemLiteral;
+    pubid: string;
+}
+export type Misc = Comment | PI | CharData;
+export type Content = Element | Reference | CData | Misc;
+export interface CData extends BaseNode {
+    type: "cdata";
+    value: string;
+}
+export interface PI extends BaseNode {
+    type: "pi";
+    name: string;
+    value: string | null;
+}
+export interface Element extends BaseNode {
+    type: "element";
+    name: string;
+    attr: Record<string, Attribute | undefined>;
+    children?: Array<Content> | undefined;
+}
+export interface Prolog extends BaseNode {
+    type: "prolog";
+    xmldecl?: XmlDecl;
+    misc1: Misc[];
+    doctypedecl?: DocTypeDecl;
+    misc2: Misc[];
+}
+interface XmlDecl extends BaseNode {
+    type: "xmldecl";
+    version: "1.0";
+    encoding?: string;
+    standalone?: string;
+}
+export declare class Document {
+    prolog: Prolog | null;
+    body: Nodes | Error;
+    misc: Array<Misc>;
+    source?: string | undefined;
+    data?: Record<string, unknown>;
+    private entities;
+    private pentities;
+    constructor(prolog: Prolog | null, body: Nodes | Error, misc: Array<Misc>, source?: string | undefined);
+    /**
+     * If all the children are chardata, charref or entityref,
+     * return the resulting string. Otherwise null.
+     */
+    textContent(element: Element): string | null;
+    processRefs(text: string): string;
+}
+export declare function elementKids(e: Element): Element[];
+type ElementMatcher = string | ((c: Element) => boolean);
+export declare class Nodes {
+    elements: Array<Element>;
+    constructor(elements: Element | Element[]);
+    length(): number;
+    deleteChildren(arg: ElementMatcher): void;
+    addChildren(elements: Element[]): void;
+    filter(arg: ElementMatcher): Nodes;
+    skip(name: string): Nodes;
+    children(name?: string): Nodes;
+    text(): string[];
+    attrs(): Record<string, Attribute | undefined>[];
+}
+export declare function attrString(value: string | AttrStr): AttrStr | {
+    readonly type: "attrstr";
+    readonly value: string;
+};
+export declare function makeAttribute(name: string | AttrStr, value: string | AttrStr): Attribute;
+export declare function parseXml(content: string, fileName?: string | null): Document;
+export declare function writeXml(doc: Document): string;
+export type Visitor = {
+    pre?: (node: Content) => boolean | null | undefined | void;
+    post?: (node: Content) => void;
+};
+export declare function visit_xml(contents: Content[], visitor: Visitor): void;
+export {};

package/build/src/test/mocha/bytecode.spec.d.ts

@@ -0,0 +1 @@
+export declare function bytecodeTests(): void;

package/build/src/test/mocha/coudbe.spec.d.ts

@@ -0,0 +1,2 @@
+import { ProgramStateAnalysis } from "../../src/optimizer-types";
+export declare function couldBeTests(statefn: () => ProgramStateAnalysis | null): void;

package/build/src/test/mocha/intersection.spec.d.ts

@@ -0,0 +1,2 @@
+import { ProgramStateAnalysis } from "../../src/optimizer-types";
+export declare function intersectionTests(statefn: () => ProgramStateAnalysis | null): void;

package/build/src/test/mocha/root.spec.d.ts

@@ -0,0 +1 @@
+export {};

package/build/src/test/mocha/subtype.spec.d.ts

@@ -0,0 +1,2 @@
+import { ProgramStateAnalysis } from "../../src/optimizer-types";
+export declare function subtypeOfTests(statefn: () => ProgramStateAnalysis | null): void;

package/build/src/test/mocha/test-utils.d.ts

@@ -0,0 +1,6 @@
+import { BuildConfig, ProgramStateAnalysis, StateNodeDecl } from "../../src/optimizer-types";
+import { ExactOrUnion } from "../../src/type-flow/types";
+export declare function create_program_analysis(source: string, filename: string, config: BuildConfig): Promise<ProgramStateAnalysis>;
+export declare function find_by_name(state: ProgramStateAnalysis, name: string): StateNodeDecl[];
+export declare function find_type_by_name(state: ProgramStateAnalysis, name: string): ExactOrUnion;
+export declare function assertNonNull<T>(obj: T, message?: string): asserts obj is NonNullable<T>;

package/build/src/test/mocha/types.spec.d.ts

@@ -0,0 +1 @@
+export declare function typeTests(): void;

package/build/src/type-flow/interp.d.ts

@@ -1,6 +1,6 @@
 import { mctree } from "@markw65/prettier-plugin-monkeyc";
 import { DiagnosticType, FunctionStateNode, ProgramStateAnalysis } from "../optimizer-types";
-import { ExactOrUnion } from "./types";
+import { ExactOrUnion, ObjectType } from "./types";
 export type TypeMap = Map<mctree.Node, ExactOrUnion>;
 export type InterpStackElem = {
     value: ExactOrUnion;
@@ -29,3 +29,5 @@ export declare function deEnumerate(t: ExactOrUnion): ExactOrUnion;
 export declare function evaluateNode(istate: InterpState, node: mctree.Node): void;
 export declare function roundToFloat(value: number): number;
 export declare function mustBeIdentical(a: ExactOrUnion, b: ExactOrUnion): boolean;
+export declare function isByteArray(object: ExactOrUnion): boolean | undefined;
+export declare function isByteArrayData(objectData: NonNullable<ObjectType["value"]>): boolean | undefined;

package/build/src/type-flow/types.d.ts

@@ -26,7 +26,7 @@ export declare const enum TypeTag {
     Typedef = 262144,
     Any = 524287
 }
-export declare function typeTagName(tag: TypeTag): "Never" | "Null" | "False" | "True" | "Boolean" | "Number" | "Long" | "Float" | "Double" | "Decimal" | "Numeric" | "Char" | "String" | "Array" | "Dictionary" | "Method" | "Module" | "Function" | "Class" | "Object" | "Enum" | "Symbol" | "Typedef" | "Any";
+export declare function typeTagName(tag: TypeTag): "Symbol" | "Object" | "Number" | "Float" | "Double" | "Long" | "String" | "Char" | "Boolean" | "Null" | "Never" | "False" | "True" | "Decimal" | "Numeric" | "Array" | "Dictionary" | "Method" | "Module" | "Function" | "Class" | "Enum" | "Typedef" | "Any";
 export declare const LastTypeTag = TypeTag.Typedef;
 export declare const SingletonTypeTagsConst: number;
 export declare const UnionDataTypeTagsConst: number;

package/build/worker-thread.cjs

@@ -21,17 +21,17 @@ __export(worker_thread_exports, {
   default: () => worker_thread_default
 });
 module.exports = __toCommonJS(worker_thread_exports);
-var import_chunk_NUE3G2QE = require("./chunk-NUE3G2QE.cjs");
+var import_chunk_QBCVUVLD = require("./chunk-QBCVUVLD.cjs");
 var import_chunk_PVBIKZYZ = require("./chunk-PVBIKZYZ.cjs");
 var import_chunk_MBTLUWXR = require("./chunk-MBTLUWXR.cjs");
 var import_chunk_ABYVSU2C = require("./chunk-ABYVSU2C.cjs");
 var import_node_worker_threads = require("node:worker_threads");
 var require_worker_thread = (0, import_chunk_ABYVSU2C.__commonJS)({
   "src/worker-thread.ts"() {
-    (0, import_chunk_NUE3G2QE.init_worker_task)();
+    (0, import_chunk_QBCVUVLD.init_worker_task)();
     if (import_node_worker_threads.parentPort) {
       import_node_worker_threads.parentPort.on("message", async (task) => {
-        return import_node_worker_threads.parentPort.postMessage(await (0, import_chunk_NUE3G2QE.performTask)(task));
+        return import_node_worker_threads.parentPort.postMessage(await (0, import_chunk_QBCVUVLD.performTask)(task));
       });
     }
   }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@markw65/monkeyc-optimizer",
   "type": "commonjs",
-  "version": "1.1.32",
+  "version": "1.1.34",
   "description": "Source to source optimizer for Garmin Monkey C code",
   "main": "build/optimizer.cjs",
   "types": "build/src/optimizer.d.ts",
@@ -48,7 +48,7 @@
   "author": "markw65",
   "license": "MIT",
   "dependencies": {
-    "@markw65/prettier-plugin-monkeyc": "^1.0.49"
+    "@markw65/prettier-plugin-monkeyc": "^1.0.51"
   },
   "devDependencies": {
     "@types/chai": "^4.3.4",