Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

refactor(zoe): jessie-check where easy #7510

Merged
merged 1 commit into from
Apr 26, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions packages/zoe/contractFacet.js
Original file line number Diff line number Diff line change
@@ -1 +1,3 @@
// @jessie-check

export * from './src/contractFacet/vatRoot.js';
2 changes: 2 additions & 0 deletions packages/zoe/exported.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

import './src/contractFacet/types.js';
import './src/zoeService/types.js';
import './src/contractSupport/types.js';
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/scripts/build-bundles.js
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
#! /usr/bin/env node
// @jessie-check

import '@endo/init';
import { createBundles } from '@agoric/internal/src/node/createBundles.js';
import url from 'url';
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/contractFacet/evalContractCode.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

// NB: cannot import, breaks bundle building
/* global globalThis */

Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/contractFacet/internal-types.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

/**
* @typedef {( {zcf: ZCF} ) => void} TestJigSetter
*/
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/contractFacet/offerHandlerStorage.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

import { makeScalarWeakMapStore } from '@agoric/store';
import { ToFarFunction } from '@endo/marshal';
import { canBeDurable, provideDurableWeakMapStore } from '@agoric/vat-data';
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/contractFacet/types.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

/// <reference types="ses"/>

/** @typedef {import('@agoric/ertp').IssuerOptionsRecord} IssuerOptionsRecord */
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/contractFacet/vatRoot.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

// This is the Zoe contract facet. Each time we make a new instance of a
// contract we will start by creating a new vat and running this code in it. In
// order to install this code in a vat, Zoe needs to import a bundle containing
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/contractFacet/zcfMint.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

import { E } from '@endo/eventual-send';
import { AmountMath } from '@agoric/ertp';
import {
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/contractSupport/bondingCurves.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

import { Nat } from '@endo/nat';
import { natSafeMath } from './safeMath.js';

Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/contractSupport/index.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

export {
getInputPrice,
getOutputPrice,
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/contractSupport/priceAuthorityInitial.js
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
// @ts-check
// @jessie-check

import { E } from '@endo/far';
import { Far } from '@endo/marshal';

Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/contractSupport/priceQuote.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

import { AmountMath } from '@agoric/ertp';
import { Nat } from '@endo/nat';
import { E } from '@endo/eventual-send';
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/contractSupport/types.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

/// <reference types="ses"/>

/**
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/handleWarning.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

/**
* Don't trigger Node.js's UnhandledPromiseRejectionWarning.
* This does not suppress any error messages.
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/internal-types.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

/**
* @typedef {object} SeatData
* @property {ProposalRecord} proposal
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/issuerRecord.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

/**
* Put together information about the issuer in a standard format that
* is synchronously accessible.
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/makeHandle.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

import { assert } from '@agoric/assert';
import { initEmpty, makeExo } from '@agoric/store';
import { prepareExoClass } from '@agoric/vat-data';
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/typeGuards.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

import {
AmountShape,
AssetKindShape,
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/types.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

/// <reference types="ses"/>

/**
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/zoeService/createZCFVat.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

import { E } from '@endo/eventual-send';

const { Fail, quote: q } = assert;
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/zoeService/internal-types.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

/**
* Create a purse for a new issuer
*
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/zoeService/invitationQueries.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

import { assert, details as X } from '@agoric/assert';
import { E } from '@endo/eventual-send';

Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/zoeService/makeInvitation.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

import { provideDurableMapStore } from '@agoric/vat-data';
import {
AssetKind,
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/zoeService/offer/burnInvitation.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

import { Fail, assert, details as X } from '@agoric/assert';
import { E } from '@endo/eventual-send';

Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/zoeService/offer/offer.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

import { passStyleOf } from '@endo/marshal';
import { mustMatch } from '@agoric/store';
import { E } from '@endo/eventual-send';
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/zoeService/types.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

/// <reference types="ses"/>

/**
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/src/zoeService/zoe.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

/**
* Zoe uses ERTP, the Electronic Rights Transfer Protocol
*
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/tools/fakeVatAdmin.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

import { Fail } from '@agoric/assert';
import { E } from '@endo/eventual-send';
import { makePromiseKit } from '@endo/promise-kit';
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/tools/internal-types.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

/**
* @typedef {object} ManualTimerAdmin
* @property {(msg?: string) => void | Promise<void>} tick Advance the timer by one tick.
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/tools/manualPriceAuthority.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

import { AmountMath, makeIssuerKit, AssetKind } from '@agoric/ertp';
import { E } from '@endo/eventual-send';
import { Far } from '@endo/marshal';
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/tools/prepare-test-env-ava.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

/**
* Prepare global environment for zoe tests.
*
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/tools/prepare-test-env.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

/**
* Prepare global environment for zoe tests.
*
Expand Down
2 changes: 2 additions & 0 deletions packages/zoe/tools/types-ambient.js
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// @jessie-check

/**
* @typedef {object} PriceQuote
* @property {Amount<'set'>} quoteAmount
Expand Down