@agoric/swingset-liveslots 0.10.3-dev-eb7e9eb.0 → 0.10.3-u11.0

package/test/virtual-objects/test-virtualObjectGC.js

@@ -1,4 +1,3 @@
-// @ts-nocheck
 import test from 'ava';
 import '@endo/init/debug.js';
 

package/test/virtual-objects/test-virtualObjectManager.js

@@ -1,4 +1,3 @@
-// @ts-nocheck
 import test from 'ava';
 import '@endo/init/debug.js';
 
@@ -129,7 +128,6 @@ test('multifaceted virtual objects', t => {
   flushStateCache();
   t.deepEqual(log.splice(0), [
     `get kindIDID => undefined`,
-    `get idCounters => undefined`,
     `set kindIDID 1`,
     `set vom.vkind.2.descriptor {"kindID":"2","tag":"multithing"}`,
     `set vom.${kid}/1 ${multiThingVal('foo', 1)}`,
@@ -205,7 +203,6 @@ test('virtual object operations', t => {
   const thing4 = makeThing('thing-4', 300); // [t4-0* t3-0* t2-0* t1-0*]
   // t4-0: 'thing-4' 300 0
   t.is(log.shift(), `get kindIDID => undefined`);
-  t.is(log.shift(), `get idCounters => undefined`);
   t.is(log.shift(), `set kindIDID 1`);
   t.is(log.shift(), `set vom.vkind.2.descriptor {"kindID":"2","tag":"thing"}`);
   t.is(log.shift(), `set vom.vkind.3.descriptor {"kindID":"3","tag":"zot"}`);
@@ -470,7 +467,6 @@ test('symbol named methods', t => {
   const thing2 = makeThing('thing-2', 100); // [t1-0* t2-0*]
   // t2-0: 'thing-2' 100 0
   t.is(log.shift(), `get kindIDID => undefined`);
-  t.is(log.shift(), `get idCounters => undefined`);
   t.is(log.shift(), `set kindIDID 1`);
   t.is(
     log.shift(),
@@ -651,7 +647,6 @@ test('virtual object gc', t => {
   });
 
   t.is(log.shift(), `get kindIDID => undefined`);
-  t.is(log.shift(), `get idCounters => undefined`);
   t.is(log.shift(), `set kindIDID 1`);
   const skit = [
     'storeKindIDTable',

package/test/virtual-objects/test-vo-real-gc.js

@@ -1,4 +1,3 @@
-// @ts-nocheck
 /* global WeakRef */
 import test from 'ava';
 import '@endo/init/debug.js';

package/test/virtual-objects/test-weakcollections-vref-handling.js

@@ -3,7 +3,7 @@ import '@endo/init/debug.js';
 
 import { makeFakeVirtualObjectManager } from '../../tools/fakeVirtualSupport.js';
 
-test('weakMap vref handling', t => {
+test('weakMap vref handling', async t => {
   const log = [];
   const {
     VirtualObjectAwareWeakMap,

package/src/vatDataTypes.d.ts

@@ -1,206 +0,0 @@
-/**
- * @file Types for vat-data
- *
- * Facet is a single object with methods.
- * Behavior is a description when defining a kind of what facets it will have.
- * For the non-multi defineKind, there is just one facet so it doesn't have a key.
- */
-import type {
-  InterfaceGuard,
-  MapStore,
-  Pattern,
-  SetStore,
-  StoreOptions,
-  WeakMapStore,
-  WeakSetStore,
-} from '@agoric/store';
-
-export type { MapStore, Pattern };
-
-// This needs `any` values.  If they were `unknown`, code that uses Baggage
-// would need explicit runtime checks or casts for every fetch, which is
-// onerous.
-export type Baggage = MapStore<string, any>;
-
-type Tail<T extends any[]> = T extends [head: any, ...rest: infer Rest]
-  ? Rest
-  : [];
-
-type MinusContext<
-  F extends (context, ...rest: any[]) => any,
-  P extends any[] = Parameters<F>, // P: are the parameters of F
-  R = ReturnType<F>, // R: the return type of F
-> = (...args: Tail<P>) => R;
-
-export type KindFacet<O> = { [K in keyof O]: MinusContext<O[K]> };
-
-export type KindFacets<B> = {
-  [FacetKey in keyof B]: KindFacet<B[FacetKey]>;
-};
-
-export type KindContext<S, F> = { state: S; self: KindFacet<F> };
-export type MultiKindContext<S, B> = { state: S; facets: KindFacets<B> };
-
-export type PlusContext<C, M> = (c: C, ...args: Parameters<M>) => ReturnType<M>;
-export type FunctionsPlusContext<C, O> = {
-  [K in keyof O]: PlusContext<C, O[K]>;
-};
-
-declare class DurableKindHandleClass {
-  private descriptionTag: string;
-}
-export type DurableKindHandle = DurableKindHandleClass;
-
-/**
- * Grab bag of options that can be provided to `defineDurableKind` and its
- * siblings. Not all options are meaningful in all contexts. See the
- * doc-comments on each option.
- */
-export type DefineKindOptions<C> = {
-  /**
-   * If provided, the `finish` function will be called after the instance is
-   * made and internally registered, but before it is returned. The finish
-   * function is to do any post-intantiation initialization that should be
-   * done before exposing the object to its clients.
-   */
-  finish?: (context: C) => void;
-
-  /**
-   * Meaningful to `makeScalarBigMapStore` and its siblings. These maker
-   * fuctions will make either virtual or durable stores, depending on
-   * this flag. Defaults to off, making virtual but not durable collections.
-   *
-   * Generally, durable collections are provided with `provideDurableMapStore`
-   * and its sibling, which use this flag internally. If you do not make
-   * durable collections by other means, you can consider this as
-   * intended for internal use only.
-   */
-  durable?: boolean;
-
-  /**
-   * If provided, it describes the shape of all state records of instances
-   * of this kind.
-   */
-  stateShape?: { [name: string]: Pattern };
-
-  /**
-   * Intended for internal use only.
-   * Should the raw methods receive their `context` argument as their first
-   * argument or as their `this` binding? For `defineDurableKind` and its
-   * siblings (including `prepareSingleton`), this defaults to off, meaning that
-   * their behavior methods receive `context` as their first argument.
-   * `prepareExoClass` and its siblings (including `prepareExo`) use
-   * this flag internally to indicate that their methods receive `context`
-   * as their `this` binding.
-   */
-  thisfulMethods?: boolean;
-
-  /**
-   * Intended for internal use only.
-   * If an `interfaceGuard` is provided, then the raw methods passed alongside
-   * it are wrapped by a function that first checks that this method's guard
-   * pattern is satisfied before calling the raw method.
-   *
-   * In `defineDurableKind` and its siblings, this defaults to off.
-   * `prepareExoClass` use this internally to protect their raw class methods
-   * using the provided interface.
-   */
-  interfaceGuard?: InterfaceGuard<unknown>;
-};
-
-export type VatData = {
-  // virtual kinds
-  /** @deprecated Use defineVirtualExoClass instead */
-  defineKind: <P, S, F>(
-    tag: string,
-    init: (...args: P) => S,
-    facet: F,
-    options?: DefineKindOptions<KindContext<S, F>>,
-  ) => (...args: P) => KindFacet<F>;
-
-  /** @deprecated Use defineVirtualExoClassKit instead */
-  defineKindMulti: <P, S, B>(
-    tag: string,
-    init: (...args: P) => S,
-    behavior: B,
-    options?: DefineKindOptions<MultiKindContext<S, B>>,
-  ) => (...args: P) => KindFacets<B>;
-
-  // durable kinds
-  makeKindHandle: (descriptionTag: string) => DurableKindHandle;
-
-  /** @deprecated Use defineDurableExoClass instead */
-  defineDurableKind: <P, S, F>(
-    kindHandle: DurableKindHandle,
-    init: (...args: P) => S,
-    facet: F,
-    options?: DefineKindOptions<KindContext<S, F>>,
-  ) => (...args: P) => KindFacet<F>;
-
-  /** @deprecated Use defineDurableExoClassKit instead */
-  defineDurableKindMulti: <P, S, B>(
-    kindHandle: DurableKindHandle,
-    init: (...args: P) => S,
-    behavior: B,
-    options?: DefineKindOptions<MultiKindContext<S, B>>,
-  ) => (...args: P) => KindFacets<B>;
-
-  providePromiseWatcher: unknown;
-  watchPromise: unknown;
-
-  makeScalarBigMapStore: <K, V>(
-    label: string,
-    options?: StoreOptions,
-  ) => MapStore<K, V>;
-  makeScalarBigWeakMapStore: <K, V>(
-    label: string,
-    options?: StoreOptions,
-  ) => WeakMapStore<K, V>;
-
-  makeScalarBigSetStore: <K>(
-    label: string,
-    options?: StoreOptions,
-  ) => SetStore<K>;
-  makeScalarBigWeakSetStore: <K>(
-    label: string,
-    options?: StoreOptions,
-  ) => WeakSetStore<K>;
-  canBeDurable: (specimen: unknown) => boolean;
-};
-
-// The JSDoc is repeated here and at the function definition so it appears
-// in IDEs where it's used, regardless of type resolution.
-export interface PickFacet {
-  /**
-   * When making a multi-facet kind, it's common to pick one facet to
-   * expose. E.g.,
-   *
-   *     const makeFoo = (a, b, c, d) => makeFooBase(a, b, c, d).self;
-   *
-   * This helper reduces the duplication:
-   *
-   *     const makeFoo = pickFacet(makeFooBase, 'self');
-   */
-  <M extends (...args: any[]) => any, F extends keyof ReturnType<M>>(
-    maker: M,
-    facetName: F,
-  ): (...args: Parameters<M>) => ReturnType<M>[F];
-}
-
-/** @deprecated Use prepareExoClass instead */
-export type PrepareKind = <P, S, F>(
-  baggage: Baggage,
-  tag: string,
-  init: (...args: P) => S,
-  facet: F,
-  options?: DefineKindOptions<KindContext<S, F>>,
-) => (...args: P) => KindFacet<F>;
-
-/** @deprecated Use prepareExoClassKit instead */
-export type PrepareKindMulti = <P, S, B>(
-  baggage: Baggage,
-  tag: string,
-  init: (...args: P) => S,
-  behavior: B,
-  options?: DefineKindOptions<MultiKindContext<S, B>>,
-) => (...args: P) => KindFacets<B>;

package/src/vatDataTypes.js

@@ -1,2 +0,0 @@
-// Empty JS file to correspond with vatDataTypes.d.ts
-export {};

package/tools/fakeCollectionManager.js

@@ -1,44 +0,0 @@
-import { makeCollectionManager } from '../src/collectionManager.js';
-
-export function makeFakeCollectionManager(vrm, fakeStuff, _options = {}) {
-  const {
-    makeScalarBigMapStore,
-    makeScalarBigWeakMapStore,
-    makeScalarBigSetStore,
-    makeScalarBigWeakSetStore,
-    provideBaggage,
-    initializeStoreKindInfo,
-    flushSchemaCache,
-  } = makeCollectionManager(
-    fakeStuff.syscall,
-    vrm,
-    fakeStuff.allocateExportID,
-    fakeStuff.allocateCollectionID,
-    fakeStuff.convertValToSlot,
-    fakeStuff.convertSlotToVal,
-    fakeStuff.registerEntry,
-    fakeStuff.marshal.serialize,
-    fakeStuff.marshal.unserialize,
-    fakeStuff.assertAcceptableSyscallCapdataSize,
-  );
-  initializeStoreKindInfo();
-
-  const normalCM = {
-    makeScalarBigMapStore,
-    makeScalarBigWeakMapStore,
-    makeScalarBigSetStore,
-    makeScalarBigWeakSetStore,
-    provideBaggage,
-    flushSchemaCache,
-  };
-
-  const debugTools = {
-    getValForSlot: fakeStuff.getValForSlot,
-    setValForSlot: fakeStuff.setValForSlot,
-    registerEntry: fakeStuff.registerEntry,
-    deleteEntry: fakeStuff.deleteEntry,
-    dumpStore: fakeStuff.dumpStore,
-  };
-
-  return harden({ ...normalCM, ...debugTools });
-}

package/tools/fakeVirtualObjectManager.js

@@ -1,60 +0,0 @@
-import { makeVirtualObjectManager } from '../src/virtualObjectManager.js';
-
-// Note: `fakeVirtualObjectManager` is something of a misnomer here.  The
-// virtual object manager being used to implement this realized by the actual
-// virtual object manager code.  What's being faked is everything else the
-// virtual object manager is embedded in, i.e., the kernel and the rest of
-// liveslots.  In particular, this module can be (and is, and is intended to be)
-// used for unit tests for the virtual object manager itself.  What you get back
-// from `makeFakeVirtualObjectManager` can't be used to program as if you were
-// running in a vat because the rest of the vat environment is not present, but
-// it *will* execute virtual object manager operations in the same way that the
-// real one will because underneath it *is* the real one.
-
-export function makeFakeVirtualObjectManager(vrm, fakeStuff) {
-  const {
-    initializeKindHandleKind,
-    defineKind,
-    defineKindMulti,
-    defineDurableKind,
-    defineDurableKindMulti,
-    makeKindHandle,
-    VirtualObjectAwareWeakMap,
-    VirtualObjectAwareWeakSet,
-    flushStateCache,
-    canBeDurable,
-  } = makeVirtualObjectManager(
-    fakeStuff.syscall,
-    vrm,
-    fakeStuff.allocateExportID,
-    fakeStuff.getSlotForVal,
-    fakeStuff.requiredValForSlot,
-    fakeStuff.registerEntry,
-    fakeStuff.marshal.serialize,
-    fakeStuff.marshal.unserialize,
-    fakeStuff.assertAcceptableSyscallCapdataSize,
-  );
-
-  const normalVOM = {
-    initializeKindHandleKind,
-    defineKind,
-    defineKindMulti,
-    defineDurableKind,
-    defineDurableKindMulti,
-    makeKindHandle,
-    canBeDurable,
-    VirtualObjectAwareWeakMap,
-    VirtualObjectAwareWeakSet,
-  };
-
-  const debugTools = {
-    getValForSlot: fakeStuff.getValForSlot,
-    setValForSlot: fakeStuff.setValForSlot,
-    registerEntry: fakeStuff.registerEntry,
-    deleteEntry: fakeStuff.deleteEntry,
-    flushStateCache,
-    dumpStore: fakeStuff.dumpStore,
-  };
-
-  return harden({ ...normalVOM, ...debugTools });
-}