proxy-facades 1.0.0

package/common.ts

@@ -0,0 +1,501 @@
+import {WatchedProxyHandler} from "./watchedProxyFacade";
+import {arraysAreEqualsByPredicateFn, newDefaultMap, read, throwError, WeakMapSet} from "./Util";
+import {getGlobalOrig, ProxyFacade} from "./proxyFacade";
+import {getChangeHooksForObject} from "./objectChangeTracking";
+
+export type ObjKey = string | symbol;
+
+export abstract class RecordedRead {
+    abstract equals(other: RecordedRead): boolean;
+
+    abstract get isChanged(): boolean;
+
+    /**
+     *
+     * @param listener
+     * @param trackOriginal true to install a tracker on the non-proxied- (by this facade) original object
+     */
+    abstract onAfterChange(listener: () => void, trackOriginal?: boolean): void;
+
+    abstract offAfterChange(listener: () => void): void;
+}
+
+export abstract class RecordedReadOnProxiedObject extends RecordedRead {
+    proxyHandler!: WatchedProxyHandler
+    /**
+     * A bit redundant with proxyhandler. But for performance reasons, we leave it
+     */
+    obj!: object;
+}
+
+export type AfterReadListener = (read: RecordedRead) => void;
+
+export type AfterChangeOwnKeysListener = () => void;
+export type Clazz = {
+    new(...args: any[]): unknown
+}
+
+export type GetIteratorValueProxiedFn<T> = (value: T) => T;
+export type IteratorReturningProxiedValue<T> = Iterator<T> & {_getValueProxied: GetIteratorValueProxiedFn<T>}
+
+/**
+ * A change operation that may later be serializable. Beeing able to store it in the transaction protocol of membrace-db. Or to syncronize live objects between server->client
+ */
+export abstract class ChangeOperation {
+
+    /**
+     * Saved inputs as arguments for the do function
+     */
+    inputs?: Parameters<this["_do"]>
+
+    abstract _do(...inputs: unknown[]): {result: unknown, undoInfo: unknown}
+
+    _unDo(undoInfo: ReturnType<this["_do"]>["undoInfo"]): void {
+        throw new Error("Not yet implemented")
+    }
+
+    constructor() {
+        // Check if registered:
+        changeOperationsClasses.has(this.constructor.name) || throwError("Change operation was not registered. Please register the class first, with registerChangeOperationClass(...)");
+    }
+
+    withInputs(...inputs: Parameters<this["_do"]>): this {
+        this.inputs = inputs;
+        return this;
+    }
+
+    do(): ReturnType<this["_do"]>["undoInfo"] {
+        if(this.inputs === undefined) throw new Error("inputs not set");
+
+        return this._do(...this.inputs).result;
+    }
+}
+
+const changeOperationsClasses = new Map<string, typeof ChangeOperation>();
+export function registerChangeOperationClass(clazz: typeof ChangeOperation) {
+    const name = clazz.name as string;
+    name || throwError("Change operation class does not have a name. Is it an anonymous class?")
+    !(changeOperationsClasses.has(name) && changeOperationsClasses.get(name) !== clazz) || throwError("Another change operation class is already registered under the name: " + name);
+    changeOperationsClasses.set(name, clazz);
+}
+
+
+
+export type ChangeListener = (change: ChangeOperation) => void;
+
+/**
+ * Registry for one possible potential target event type. I.e. a property of a certain object, or a more abstract one like: "some key of a certain object has changed".
+ */
+export class EventHook {
+    /**
+     * Called before the change
+     * @param change
+     */
+    beforeListeners =  new Set<ChangeListener>();
+
+    /**
+     * Called after the change
+     * @param change
+     */
+    afterListeners= new Set<ChangeListener>();
+
+    /**
+     * To be able to easily control the before and after for exactly the same change. It's an idea / no good use case found yet.
+     * @param change
+     * @param doChange
+     */
+    //interceptors = new Set<(change: RecordedChange, doChange: () => void) => void>();
+
+    fireBefore(change: ChangeOperation) {
+        this.beforeListeners.forEach(l => l(change));
+    }
+
+    fireAfter(change: ChangeOperation) {
+        this.afterListeners.forEach(l => l(change));
+    }
+}
+
+
+/**
+ * For use in proxy and direct
+ */
+export interface DualUseTracker<T> {
+
+    /**
+     * Will return the handler when called through the handler
+     */
+    get _watchedProxyHandler(): IWatchedProxyHandler_common | undefined;
+
+    /**
+     * The original (unproxied) object
+     */
+    get _target(): T
+}
+
+//@ts-ignore
+export function dualUseTracker_callOrigMethodOnTarget<O extends object, M extends keyof O>(tracker: DualUseTracker<O>, methodName: M, args: unknown[]): ReturnType<O[M]> {
+    const target = tracker._target;
+    const method = tracker._watchedProxyHandler !== undefined?target[methodName]:Object.getPrototypeOf(Object.getPrototypeOf(tracker))[methodName];
+    return method.apply(target, args);
+}
+
+/**
+ * Like Object.getOwnPropertyDescriptor. But for all parent classes
+ * @param o
+ * @param p
+ */
+export function getPropertyDescriptor(o: object, p: PropertyKey):  PropertyDescriptor | undefined {
+    let result = Object.getOwnPropertyDescriptor(o, p);
+    if(result !== undefined) {
+        return result;
+    }
+    let proto = Object.getPrototypeOf(o);
+    if(proto !== null) {
+        return getPropertyDescriptor(proto, p);
+    }
+}
+
+export type GetterFlags = {
+    origHadGetter?: boolean
+}
+export type SetterFlags = {
+    origHadSetter?: boolean
+}
+
+const runAndCallListenersOnce_after_listeners = new Map<object, Set<() => void>>();
+
+/**
+ * Used by runChangeOperation
+ */
+class ChangeCall {
+    fired_beforeListeners = new Set<ChangeListener>();
+    afterListeners = new Set<ChangeListener>();
+
+    /**
+     * "binds" the ChangeOperation parameter to the afterListeners
+     */
+    paramsForAfterListeners = new Map<ChangeListener, ChangeOperation>();
+}
+
+const runChangeOperation_Calls = newDefaultMap<object, ChangeCall>(()=> new ChangeCall());
+
+/**
+ * Informs hooksToServe's beforeListeners + executes changeOperation + informs hooksToServe's afterListeners.
+ * All this while preventing listeners from beeing called twice (this is the main purpose of this function!). Even during the same operation (call) that spans a call stack (the stack can go through multiple proxy layers)
+ * <p>
+ *     This function is needed, because there's some overlapping of concerns in listener types, especially for Arrays. Also internal methods may again call the set method which itsself wants to call the propertychange_listeners.
+ * </p>
+ * @param forTarget object to sync on. All hooks passed to nested runChangeOperation calls will only be fired once.
+ * @param paramForListeners the parameter for the change listeners. It won't be run by this function / it's just the parameter. When setting to undefined, it indicates that this runChangeOperation call is only to wrap multiple nested calls / sync them on targetObject. The default anyChange hook won't be called at this level either.
+ * @param hooksToServe these hooks will be called (not twice, as mentioned).
+ * @param changeOperationFn
+ */
+export function runChangeOperation<R>(forTarget: object, paramForListeners: ChangeOperation | undefined, hooksToServe: EventHook[], changeOperationFn: () => R) : R {
+    const synchronizeOn = getGlobalOrig(forTarget);
+    let isRootCall = !runChangeOperation_Calls.has(synchronizeOn); // is it not nested / the outermost call ?
+    const changeCall = runChangeOperation_Calls.get(synchronizeOn);
+    try {
+        if(paramForListeners) {
+            hooksToServe.push(getChangeHooksForObject(forTarget).anyChange); // Always serve this one as well
+            objectMembershipInGraphs.get(forTarget)?.forEach(graph => {
+                hooksToServe.push(graph._changeHook);
+            })
+
+            // Fire and register before-hooks:
+            hooksToServe.forEach(hook => {
+                hook.beforeListeners.forEach(listener => {
+                    if (!changeCall.fired_beforeListeners.has(listener)) {
+                        listener(paramForListeners); // fire
+                        changeCall.fired_beforeListeners.add(listener);
+                    }
+                })
+
+                hook.afterListeners.forEach(afterListener => {
+                    if (!changeCall.afterListeners.has(afterListener)) {
+                        changeCall.afterListeners.add(afterListener);
+                        changeCall.paramsForAfterListeners.set(afterListener, paramForListeners); // Ensure, it is called with the proper changeOperation parameter afterwards. Otherwise stuff from a higher level facade would leak to a change listeners, registered in a lower facade
+                    }
+                }); // schedule afterListeners
+            });
+        }
+
+        const result = changeOperationFn();
+
+        if(isRootCall) {
+            // call afterListeners:
+            for (const listener of changeCall.afterListeners) {
+                listener(changeCall.paramsForAfterListeners.get(listener)!); // fire
+            }
+        }
+
+        return result;
+    }
+    finally {
+        if (isRootCall) {
+            runChangeOperation_Calls.delete(synchronizeOn);
+        }
+    }
+}
+
+
+let esRuntimeBehaviourAlreadyChecked = false;
+export function checkEsRuntimeBehaviour() {
+    if(esRuntimeBehaviourAlreadyChecked) {
+        return;
+    }
+    // **************************************************************************************************
+    // **** The following code is generated via `npm run dev:generateEsRuntimeBehaviourCheckerCode`: ****
+    // **************************************************************************************************
+    expectUsingMethodsOrFields(["a"], v=>v.at(0), ["at","length","0"])
+    expectUsingMethodsOrFields(["a","b","c"], v=>v.concat("d","e","f"), ["concat","constructor",Symbol.isConcatSpreadable,"length","0","1","2"])
+    expectUsingMethodsOrFields(["a","b","c"], v=>v.map(x=>read(x)), ["map","length","constructor","0","1","2"])
+    expectUsingMethodsOrFields(["a","b","c"], v=>v.forEach(x=>read(x)), ["forEach","length","0","1","2"])
+    expectUsingMethodsOrFields(["a","b","c"], v=>v.join(","), ["join","length","0","1","2"])
+    expectUsingMethodsOrFields(["a","b","c","d"], v=>v.slice(1,3), ["slice","length","constructor","1","2"])
+    expectUsingMethodsOrFields(["a","b","c"], v=>v.some(x=>x==="a"), ["some","length","0"])
+    expectUsingMethodsOrFields(["a","b","c"], v=>v.filter(x=>x==="a"), ["filter","length","constructor","0","1","2"])
+    expectUsingMethodsOrFields(["a","b","c"], v=>v.find(x=>x==="a"), ["find","length","0"])
+    expectUsingMethodsOrFields(["a","b","c"], v=>v.every(x=>x==="a"), ["every","length","0","1"])
+    expectUsingMethodsOrFields(["a","b","c"], v=>v.findIndex(x=>x==="a"), ["findIndex","length","0"])
+    expectUsingMethodsOrFields(["a","b","c"], v=>v.includes("b",1), ["includes","length","1"])
+    expectUsingMethodsOrFields(["a","b","c"], v=>v.indexOf("b",1), ["indexOf","length","1"])
+    expectUsingMethodsOrFields(["a","b","c"], v=>v[Symbol.iterator]().next(), [Symbol.iterator,"length","0"])
+    expectUsingMethodsOrFields(["a","b","b"], v=>v.lastIndexOf("b",1), ["lastIndexOf","length","1"])
+    expectUsingMethodsOrFields(["a","b","b"], v=>v.reduce((p,c)=>p+c), ["reduce","length","0","1","2"])
+    expectUsingMethodsOrFields(["a","b","b"], v=>v.reduceRight((p,c)=>p+c), ["reduceRight","length","2","1","0"])
+    expectUsingMethodsOrFields(["a","b","b"], v=>v.toLocaleString(), ["toLocaleString","length","0","1","2"])
+    expectUsingMethodsOrFields(["a","b","b"], v=>v.toString(), ["toString","join","length","0","1","2"])
+    expectUsingMethodsOrFields(["a","b","c"], v=>v.unshift("_a","_b"), ["length","2","1","0"])
+    expectUsingMethodsOrFields(["a","b","c","d"], v=>v.splice(1,2,"newB","newC","newX"), ["length","1","2","3"])
+    expectUsingMethodsOrFields(["a","b","c","d"], v=>v.copyWithin(3,1,3), ["length","1","0","2","3"])
+    expectUsingMethodsOrFields(["a","b","c","d"], v=>v.reverse(), ["length","0","3","1","2"])
+    //@ts-ignore
+    if([].values().forEach) { // Runtime supports these iterator functions like forEach, filter, ....
+        expectUsingMethodsOrFields(["a","b","c"][Symbol.iterator](), it=>it.forEach(x=>x), ["forEach","next"])
+        expectUsingMethodsOrFields(["a","b","c"][Symbol.iterator](), it=>it.filter(x=>x==="b"), ["filter","next"])
+        expectUsingMethodsOrFields(["a","b","c"][Symbol.iterator](), it=>it.take(2), ["take","next"])
+        expectUsingMethodsOrFields(["a","b","c"][Symbol.iterator](), it=>it.toArray(), ["toArray","next"])
+    }
+
+
+
+
+    // **************************************************************************************************
+    // **************************************************************************************************
+    // **************************************************************************************************
+
+    function expectUsingMethodsOrFields<T extends object>(orig: T, tester: (orig: T) => void,  expectedMethodsOrFields: Array<string | symbol> ) {
+        // Run the tester and record used methods/fields:
+        const usedMethodsOrFields = new Set<string | symbol>();
+        const proxy = new Proxy(orig, {
+            get(target: T, p: string | symbol, receiver: any): any {
+                usedMethodsOrFields.add(p)
+                if(p === "next") {
+                    //@ts-ignore
+                    return (...args: unknown[]) => target.next(...args); // .next() method must run on target, not on proxy
+                }
+                //@ts-ignore
+                return target[p];
+            }
+        })
+        read(tester(proxy));
+
+        !expectedMethodsOrFields.some(mf => mf !== "constructor" && !usedMethodsOrFields.has(mf)) || throwError(new Error(`The javascript runtime is not behaving as expected. Please report this as a bug along with your javascript runtime (or Browser) version`))
+    }
+    esRuntimeBehaviourAlreadyChecked = true;
+}
+
+export interface IWatchedProxyHandler_common {
+    /**
+     * Registers the Read to this WatchedProxyHandler and fires it on the WatchedFacade (informs WatchedFacade's listeners)
+     * @param read
+     */
+    fireAfterRead(read: RecordedReadOnProxiedObject): void;
+
+    getFacade(): ProxyFacade<any>
+}
+
+export interface ForWatchedProxyHandler<T> extends DualUseTracker<T> {
+    /**
+     * Will return the handler when called through the handler
+     */
+    get _watchedProxyHandler(): IWatchedProxyHandler_common;
+
+    /**
+     * The original (unproxied) object
+     */
+    get _target(): T
+}
+
+/**
+ * Configures tracking behaviour for a certain class
+ */
+export abstract class ClassTrackingConfiguration {
+    /**
+     * For which is this config?
+     */
+    abstract clazz: Clazz // TODO: Minor: better type than Clazz.
+
+    worksForSubclasses = false;
+
+    readTracker?: Clazz;
+    changeTracker?: Clazz;
+    /**
+     * Built-in Methods, which are using fields / calling methods on the proxy transparently/loyally, so those methods don't call/use internal stuff directly.
+     * Tested with, see dev_generateEsRuntimeBehaviourCheckerCode.ts
+     * May include read-only / reader methods
+     */
+    knownHighLevelMethods = new Set<ObjKey>();
+    /**
+     * Non-high level. These fire `RecordedUnspecificRead`s then. So better implement them instead to fire i.e RecordedArrayValuesRead.
+     */
+    readOnlyMethods = new  Set<ObjKey>();
+
+    /**
+     * Non-high level. Same as above: better implement them
+     */
+    readOnlyFields = new Set<ObjKey>();
+
+    /**
+     * Default, if not listed as high-level method
+     */
+    receiverMustBeNonProxied=true;
+
+    /**
+     * Makes the WatchedProxyFacade's handler also track/fire reads for methods that are not **directly** in the this.readTracker class.
+     */
+    trackTreads=true;
+
+    /**
+     * (For Array:) Flags to track setting properties, meaning changes are not only done by calling methods. This will use a Proxy (install a Proxy as Prototype).
+     */
+    trackSettingObjectProperties=false;
+
+    /**
+     * Wrap the results of methods which are not in the readTracker or changeTracker in proxies
+     * Take caution when enabling this. It is not always a good idea. I.e. Map#entries() return new intermediates arrays [] and these will then also be proxied and result in a false positive something-has-changed detection when comparing recorded Reads.
+     */
+    proxyUnhandledMethodResults=false
+
+    /**
+     * Lists read and changeTracker as far as they're present
+     */
+    getTrackerClasses(): Clazz[] {
+        const result = [];
+        if(this.readTracker !== undefined) {
+            result.push(this.readTracker);
+        }
+        if(this.changeTracker !== undefined) {
+            result.push(this.changeTracker);
+        }
+        return result;
+    }
+}
+
+export function recordedReadsArraysAreEqual(a: RecordedRead[], b: RecordedRead[]) {
+    return arraysAreEqualsByPredicateFn(a, b, (a, b) => a.equals(b));
+}
+
+/**
+ * Patches the iterator so it runs the value through the translateFn
+ * @param iterator
+ * @param translateFn
+ */
+export function makeIteratorTranslateValue<V, IT extends Iterator<V>>(iterator: IT, translateFn: (value: V) => V): IT {
+    const originalNext = iterator.next;
+
+    function next(this: Iterator<V>, ...args: unknown[]): ReturnType<Iterator<V>["next"]> {
+        const result = originalNext.apply(this, args as [any]);
+        if(!result.done) {
+            result.value = translateFn(result.value);
+        }
+        return result;
+    }
+    iterator.next = next; // Patch iterator
+    return iterator;
+}
+
+
+/**
+ * Base for ProxyFacades and change-tracking of original objects (without proxy facades) See {@see changeTrackedOriginaObjects the changeTrackedOriginaObjects global instance}
+ */
+export class PartialGraph {
+    /**
+     * True means, it spreads it's self when members are read or set. Not yet implemented for non-proxy-facades.
+     * Always true for proxy-facade subclasses (that's their job).
+     */
+    viral = false;
+
+    /**
+     * Called after a change has been made to any object inside this graph
+     * Note: There are also listeners for specified properties/situations (which are more capable)
+     * @protected
+     */
+    _changeHook = new EventHook()
+
+    /**
+     *
+     * @param listener Called when a change is made to any object inside this graph.
+     * The listener is called when the change is not yet written unlike {@see onAfterChange}. So throwing an exception in the listener will prevent the actual change from happening.
+     */
+    onBeforeChange(listener: ChangeListener) {
+        this._changeHook.beforeListeners.add(listener);
+    }
+
+    /**
+     * Unregister listener from {@see PartialGraph#onBeforeChange}
+     * @param listener
+     */
+    offBeforeChange(listener: ChangeListener) {
+        this._changeHook.beforeListeners.delete(listener);
+    }
+    
+    /**
+     *
+     * @param listener Called after a change has been made to any object inside this graph
+     */
+    onAfterChange(listener: ChangeListener) {
+        this._changeHook.afterListeners.add(listener);
+    }
+
+    /**
+     * Unregister listener from {@see PartialGraph#onAfterChange}
+     * @param listener
+     */
+    offAfterChange(listener: ChangeListener) {
+        this._changeHook.afterListeners.delete(listener);
+    }
+
+    hasObj(obj: object) {
+        return objectMembershipInGraphs.get(obj)?.has(this);
+    }
+
+    _register(obj: object) {
+        objectMembershipInGraphs.add(obj, this);
+    }
+}
+
+export const objectMembershipInGraphs = new WeakMapSet<object, PartialGraph>();
+
+/**
+ * TODO: Implement subclasses
+ */
+export class UnspecificObjectChange extends ChangeOperation {
+    constructor(target?: object) {
+        super();
+        if (target !== undefined) {
+            //@ts-ignore
+            this.inputs = [target, /* state of target AFTER the opertation*/];
+        }
+    }
+
+    _do(...inputs: unknown[]) {
+        // TODO: restore state after
+        return {result: undefined, undoInfo: undefined};
+    }
+
+    _unDo(undoInfo: ReturnType<this["_do"]>["undoInfo"]): void {
+        throw new Error("Not yet implemented");
+    }
+}
+registerChangeOperationClass(UnspecificObjectChange);

package/dev_generateEsRuntimeBehaviourCheckerCode.d.ts

@@ -0,0 +1,10 @@
+/**
+ *
+ */
+declare function outputExpecterCode<T extends object>(orig: T | (() => T), fn: (proxy: T) => void): void;
+/**
+ * Just do something the runtime can't optimize away
+ * @param value
+ */
+declare function read(value: any): void;
+//# sourceMappingURL=dev_generateEsRuntimeBehaviourCheckerCode.d.ts.map

package/dev_generateEsRuntimeBehaviourCheckerCode.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dev_generateEsRuntimeBehaviourCheckerCode.d.ts","sourceRoot":"","sources":["dev_generateEsRuntimeBehaviourCheckerCode.ts"],"names":[],"mappings":"AA4CA;;GAEG;AACH,iBAAS,kBAAkB,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAM,IAAI,QA0BzF;AAED;;;GAGG;AACH,iBAAS,IAAI,CAAC,KAAK,EAAE,GAAG,QAIvB"}

package/dev_generateEsRuntimeBehaviourCheckerCode.js

@@ -0,0 +1,76 @@
+"use strict";
+// ****  See the function common.ts#checkEsRuntimeBehaviour ***
+// Array:
+outputExpecterCode(["a"], (v) => v.at(0));
+outputExpecterCode(["a", "b", "c"], (v) => v.concat("d", "e", "f"));
+outputExpecterCode(["a", "b", "c"], (v) => v.map(x => read(x)));
+outputExpecterCode(["a", "b", "c"], (v) => v.forEach(x => read(x)));
+outputExpecterCode(["a", "b", "c"], (v) => v.join(","));
+//outputExpecterCode(["a", "b", "c"], (v) => v.keys());
+//outputExpecterCode(["a", "b", "c"], (v) => v.values());
+outputExpecterCode(["a", "b", "c", "d"], (v) => v.slice(1, 3));
+outputExpecterCode(["a", "b", "c"], (v) => v.some(x => x === "a"));
+outputExpecterCode(["a", "b", "c"], (v) => v.filter(x => x === "a"));
+outputExpecterCode(["a", "b", "c"], (v) => v.find(x => x === "a"));
+//outputExpecterCode(["a", "b", "c"], (v) => v.entries());
+outputExpecterCode(["a", "b", "c"], (v) => v.every(x => x === "a"));
+outputExpecterCode(["a", "b", "c"], (v) => v.findIndex(x => x === "a"));
+outputExpecterCode(["a", "b", "c"], (v) => v.includes("b", 1));
+outputExpecterCode(["a", "b", "c"], (v) => v.indexOf("b", 1));
+outputExpecterCode(["a", "b", "c"], (v) => v[Symbol.iterator]().next());
+outputExpecterCode(["a", "b", "b"], (v) => v.lastIndexOf("b", 1));
+outputExpecterCode(["a", "b", "b"], (v) => v.reduce((p, c) => p + c));
+outputExpecterCode(["a", "b", "b"], (v) => v.reduceRight((p, c) => p + c));
+outputExpecterCode(["a", "b", "b"], (v) => v.toLocaleString());
+outputExpecterCode(["a", "b", "b"], (v) => v.toString());
+outputExpecterCode(["a", "b", "c"], (v) => v.unshift("_a", "_b"));
+outputExpecterCode(["a", "b", "c", "d"], v => v.splice(1, 2, "newB", "newC", "newX"));
+outputExpecterCode(["a", "b", "c", "d"], v => v.copyWithin(3, 1, 3));
+outputExpecterCode(["a", "b", "c", "d"], v => v.reverse());
+// Iterator
+console.log("if([].values().forEach) { // Runtime supports these iterator functions like forEach, filter, .... ");
+outputExpecterCode(() => ["a", "b", "c"][Symbol.iterator](), it => it.forEach(x => x));
+outputExpecterCode(() => ["a", "b", "c"][Symbol.iterator](), it => it.filter(x => x === "b"));
+outputExpecterCode(() => ["a", "b", "c"][Symbol.iterator](), it => it.take(2));
+outputExpecterCode(() => ["a", "b", "c"][Symbol.iterator](), it => it.toArray());
+console.log("}");
+// Set:
+//outputExpecterCode(new Set<string>(["a","b","c"]), v => v.forEach(i => read(i))) // TypeError: Method Set.prototype.forEach called on incompatible receiver #<Set>
+//outputExpecterCode(new Set<string>(["a","b","c"]), v => v.intersection(new Set<string>(["b","c","e"]))) // TypeError: Method Set.prototype.intersection called on incompatible receiver #<Set>
+/**
+ *
+ */
+function outputExpecterCode(orig, fn) {
+    let origJS = JSON.stringify(orig);
+    if (typeof orig === "function") {
+        origJS = orig.toString().replace(/\s+/g, " ").replace(/^\(\)=>/, "").toString();
+        orig = orig();
+    }
+    const usedFields = new Set();
+    const proxy = new Proxy(orig, {
+        get(target, p, receiver) {
+            usedFields.add(p);
+            if (p === "next") {
+                //@ts-ignore
+                return (...args) => target.next(...args); // .next() method must run on target, not on proxy
+            }
+            //@ts-ignore
+            return target[p];
+        }
+    });
+    read(fn(proxy));
+    console.log(`expectUsingMethodsOrFields(${origJS}, ${fnToString(fn)}, [${[...usedFields.values()].map(f => typeof f === "string" ? `"${f}"` : `${f.toString().replace(/(^Symbol\()|(\)$)/g, "")}`).join(",")}])`);
+    function fnToString(fn) {
+        return fn.toString().replace(/\s+/g, " ").toString();
+    }
+}
+/**
+ * Just do something the runtime can't optimize away
+ * @param value
+ */
+function read(value) {
+    if (("" + value) == "blaaxyxzzzsdf") {
+        throw new Error("should never get here");
+    }
+}
+//# sourceMappingURL=dev_generateEsRuntimeBehaviourCheckerCode.js.map

package/dev_generateEsRuntimeBehaviourCheckerCode.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dev_generateEsRuntimeBehaviourCheckerCode.js","sourceRoot":"","sources":["dev_generateEsRuntimeBehaviourCheckerCode.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAE/D,SAAS;AACT,kBAAkB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AACzC,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAC,GAAG,EAAC,GAAG,CAAC,CAAC,CAAC;AAClE,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACxD,uDAAuD;AACvD,yDAAyD;AACzD,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC,CAAC;AAC7D,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,CAAC,EAAE,CAAC,CAAC,KAAI,GAAG,CAAC,CAAC,CAAC;AACnE,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AACrE,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AACnE,0DAA0D;AAC1D,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAI,GAAG,CAAC,CAAC,CAAC;AACnE,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAI,GAAG,CAAC,CAAC,CAAC;AACvE,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAC,CAAC,CAAC,CAAC,CAAC;AAC9D,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9D,kBAAkB,CAAC,CAAC,GAAG,EAAC,GAAG,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;AACtE,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AAClE,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACvE,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC3E,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC;AAC/D,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;AACzD,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAC,IAAI,CAAC,CAAC,CAAC;AACjE,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;AACnF,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAC,CAAC,CAAC,CAAC,CAAA;AAClE,kBAAkB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;AAE1D,WAAW;AACX,OAAO,CAAC,GAAG,CAAC,oGAAoG,CAAC,CAAA;AACjH,kBAAkB,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AACtF,kBAAkB,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;AAC7F,kBAAkB,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/E,kBAAkB,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;AACjF,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AAEhB,OAAO;AACP,oKAAoK;AACpK,gMAAgM;AAIhM;;GAEG;AACH,SAAS,kBAAkB,CAAmB,IAAmB,EAAE,EAAuB;IACtF,IAAI,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAClC,IAAG,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;QAC5B,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,MAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,EAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAA;QAC7E,IAAI,GAAG,IAAI,EAAE,CAAC;IAClB,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE;QAC1B,GAAG,CAAC,MAAS,EAAE,CAAkB,EAAE,QAAa;YAC5C,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YAEjB,IAAG,CAAC,KAAK,MAAM,EAAE,CAAC;gBACd,YAAY;gBACZ,OAAO,CAAC,GAAG,IAAe,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,kDAAkD;YAC3G,CAAC;YAED,YAAY;YACZ,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;KACJ,CAAC,CAAA;IACF,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,8BAA8B,MAAM,KAAK,UAAU,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAA,CAAC,CAAA,IAAI,CAAC,GAAG,CAAA,CAAC,CAAA,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,oBAAoB,EAAC,EAAE,CAAC,EAAE,CAAC,CAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAE7M,SAAS,UAAU,CAAC,EAA+B;QAC/C,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,MAAM,EAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;IACxD,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,IAAI,CAAC,KAAU;IACpB,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,eAAe,EAAG,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAA;IAC5C,CAAC;AACL,CAAC"}