« get me outta code hell

cacheable-object.js « data « src - hsmusic-wiki - HSMusic - static wiki software cataloguing collaborative creation
about summary refs log tree commit diff
path: root/src/data/cacheable-object.js
blob: 4afb036889d6dc660a28cee3c380af9c12f10d78 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
// Generally extendable class for caching properties and handling dependencies,
// with a few key properties:
//
// 1) The behavior of every property is defined by its descriptor, which is a
//    static value stored on the subclass (all instances share the same property
//    descriptors).
//
//  1a) Additional properties may not be added past the time of object
//      construction, and attempts to do so (including externally setting a
//      property name which has no corresponding descriptor) will throw a
//      TypeError. (This is done via an Object.seal(this) call after a newly
//      created instance defines its own properties according to the descriptor
//      on its constructor class.)
//
// 2) Properties may have two flags set: update and expose. Properties which
//    update are provided values from the external. Properties which expose
//    provide values to the external, generally dependent on other update
//    properties (within the same object).
//
//  2a) Properties may be flagged as both updating and exposing. This is so
//      that the same name may be used for both "output" and "input".
//
// 3) Exposed properties have values which are computations dependent on other
//    properties, as described by a `compute` function on the descriptor.
//    Depended-upon properties are explicitly listed on the descriptor next to
//    this function, and are only provided as arguments to the function once
//    listed.
//
//  3a) An exposed property may depend only upon updating properties, not other
//      exposed properties (within the same object). This is to force the
//      general complexity of a single object to be fairly simple: inputs
//      directly determine outputs, with the only in-between step being the
//      `compute` function, no multiple-layer dependencies. Note that this is
//      only true within a given object - externally, values provided to one
//      object's `update` may be (and regularly are) the exposed values of
//      another object.
//
//  3b) If a property both updates and exposes, it is automatically regarded as
//      a dependancy. (That is, its exposed value will depend on the value it is
//      updated with.) Rather than a required `compute` function, these have an
//      optional `transform` function, which takes the update value as its first
//      argument and then the usual key-value dependencies as its second. If no
//      `transform` function is provided, the expose value is the same as the
//      update value.
//
// 4) Exposed properties are cached; that is, if no depended-upon properties are
//    updated, the value of an exposed property is not recomputed.
//
//  4a) The cache for an exposed property is invalidated as soon as any of its
//      dependencies are updated, but the cache itself is lazy: the exposed
//      value will not be recomputed until it is again accessed. (Likewise, an
//      exposed value won't be computed for the first time until it is first
//      accessed.)
//
// 5) Updating a property may optionally apply validation checks before passing,
//    declared by a `validate` function on the `update` block. This function
//    should either throw an error (e.g. TypeError) or return false if the value
//    is invalid.
//
// 6) Objects do not expect all updating properties to be provided at once.
//    Incomplete objects are deliberately supported and enabled.
//
//  6a) The default value for every updating property is null; undefined is not
//      accepted as a property value under any circumstances (it always errors).
//      However, this default may be overridden by specifying a `default` value
//      on a property's `update` block. (This value will be checked against
//      the property's validate function.) Note that a property may always be
//      updated to null, even if the default is non-null. (Null always bypasses
//      the validate check.)
//
//  6b) It's required by the external consumer of an object to determine whether
//      or not the object is ready for use (within the larger program). This is
//      convenienced by the static CacheableObject.listAccessibleProperties()
//      function, which provides a mapping of exposed property names to whether
//      or not their dependencies are yet met.

import { color, ENABLE_COLOR } from '../util/cli.js';

import { inspect as nodeInspect } from 'util';

function inspect(value) {
    return nodeInspect(value, {colors: ENABLE_COLOR});
}

export default class CacheableObject {
    static instance = Symbol('CacheableObject `this` instance');

    #propertyUpdateValues = Object.create(null);
    #propertyUpdateCacheInvalidators = Object.create(null);

    /*
    // Note the constructor doesn't take an initial data source. Due to a quirk
    // of JavaScript, private members can't be accessed before the superclass's
    // constructor is finished processing - so if we call the overridden
    // update() function from inside this constructor, it will error when
    // writing to private members. Pretty bad!
    //
    // That means initial data must be provided by following up with update()
    // after constructing the new instance of the Thing (sub)class.
    */

    constructor() {
        this.#defineProperties();
        this.#initializeUpdatingPropertyValues();

        if (CacheableObject.DEBUG_SLOW_TRACK_INVALID_PROPERTIES) {
            return new Proxy(this, {
                get: (obj, key) => {
                    if (!Object.hasOwn(obj, key)) {
                        if (key !== 'constructor') {
                            CacheableObject._invalidAccesses.add(`(${obj.constructor.name}).${key}`);
                        }
                    }
                    return obj[key];
                }
            });
        }
    }

    #initializeUpdatingPropertyValues() {
        for (const [ property, descriptor ] of Object.entries(this.constructor.propertyDescriptors)) {
            const { flags, update } = descriptor;

            if (!flags.update) {
                continue;
            }

            if (update?.default) {
                this[property] = update?.default;
            } else {
                this[property] = null;
            }
        }
    }

    #defineProperties() {
        if (!this.constructor.propertyDescriptors) {
            throw new Error(`Expected constructor ${this.constructor.name} to define propertyDescriptors`);
        }

        for (const [ property, descriptor ] of Object.entries(this.constructor.propertyDescriptors)) {
            const { flags } = descriptor;

            const definition = {
                configurable: false,
                enumerable: true
            };

            if (flags.update) {
                definition.set = this.#getUpdateObjectDefinitionSetterFunction(property);
            }

            if (flags.expose) {
                definition.get = this.#getExposeObjectDefinitionGetterFunction(property);
            }

            Object.defineProperty(this, property, definition);
        }

        Object.seal(this);
    }

    #getUpdateObjectDefinitionSetterFunction(property) {
        const { update } = this.#getPropertyDescriptor(property);
        const validate = update?.validate;
        const allowNull = update?.allowNull;

        return (newValue) => {
            const oldValue = this.#propertyUpdateValues[property];

            if (newValue === undefined) {
                throw new TypeError(`Properties cannot be set to undefined`);
            }

            if (newValue === oldValue) {
                return;
            }

            if (newValue !== null && validate) {
                try {
                    const result = validate(newValue);
                    if (result === undefined) {
                        throw new TypeError(`Validate function returned undefined`);
                    } else if (result !== true) {
                        throw new TypeError(`Validation failed for value ${newValue}`);
                    }
                } catch (error) {
                    error.message = `Property ${color.green(property)} (${inspect(this[property])} -> ${inspect(newValue)}): ${error.message}`;
                    throw error;
                }
            }

            this.#propertyUpdateValues[property] = newValue;
            this.#invalidateCachesDependentUpon(property);
        };
    }

    #getUpdatePropertyValidateFunction(property) {
        const descriptor = this.#getPropertyDescriptor(property);
    }

    #getPropertyDescriptor(property) {
        return this.constructor.propertyDescriptors[property];
    }

    #invalidateCachesDependentUpon(property) {
        for (const invalidate of this.#propertyUpdateCacheInvalidators[property] || []) {
            invalidate();
        }
    }

    #getExposeObjectDefinitionGetterFunction(property) {
        const { flags } = this.#getPropertyDescriptor(property);
        const compute = this.#getExposeComputeFunction(property);

        if (compute) {
            let cachedValue;
            const checkCacheValid = this.#getExposeCheckCacheValidFunction(property);
            return () => {
                if (checkCacheValid()) {
                    return cachedValue;
                } else {
                    return (cachedValue = compute());
                }
            };
        } else if (!flags.update && !compute) {
            throw new Error(`Exposed property ${property} does not update and is missing compute function`);
        } else {
            return () => this.#propertyUpdateValues[property];
        }
    }

    #getExposeComputeFunction(property) {
        const { flags, expose } = this.#getPropertyDescriptor(property);

        const compute = expose?.compute;
        const transform = expose?.transform;

        if (flags.update && !transform) {
            return null;
        } else if (flags.update && compute) {
            throw new Error(`Updating property ${property} has compute function, should be formatted as transform`);
        } else if (!flags.update && !compute) {
            throw new Error(`Exposed property ${property} does not update and is missing compute function`);
        }

        const dependencyKeys = expose.dependencies || [];
        const dependencyGetters = dependencyKeys.map(key => () => [key, this.#propertyUpdateValues[key]]);
        const getAllDependencies = () => Object.fromEntries(dependencyGetters.map(f => f())
            .concat([[this.constructor.instance, this]]));

        if (flags.update) {
            return () => transform(this.#propertyUpdateValues[property], getAllDependencies());
        } else {
            return () => compute(getAllDependencies());
        }
    }

    #getExposeCheckCacheValidFunction(property) {
        const { flags, expose } = this.#getPropertyDescriptor(property);

        let valid = false;

        const invalidate = () => {
            valid = false;
        };

        const dependencyKeys = new Set(expose?.dependencies);

        if (flags.update) {
            dependencyKeys.add(property);
        }

        for (const key of dependencyKeys) {
            if (this.#propertyUpdateCacheInvalidators[key]) {
                this.#propertyUpdateCacheInvalidators[key].push(invalidate);
            } else {
                this.#propertyUpdateCacheInvalidators[key] = [invalidate];
            }
        }

        return () => {
            if (!valid) {
                valid = true;
                return false;
            } else {
                return true;
            }
        };
    }

    static DEBUG_SLOW_TRACK_INVALID_PROPERTIES = false;
    static _invalidAccesses = new Set();

    static showInvalidAccesses() {
        if (!this.DEBUG_SLOW_TRACK_INVALID_PROPERTIES) {
            return;
        }

        if (!this._invalidAccesses.size) {
            return;
        }

        console.log(`${this._invalidAccesses.size} unique invalid accesses:`);
        for (const line of this._invalidAccesses) {
            console.log(` - ${line}`);
        }
    }
}