ImmutableEmulator

Advance the slot by the given number of slots. See setSlot for an epoch boundary.

appliedTxLog by transaction hash.

The applied-transaction log, oldest first: the imported log, then the txs of the selected chain, spec [TS-5].

Create a read-only scalus.cardano.node.BlockchainReader snapshot.

This provides read-only access to the emulator's state without submit capability. Uses ExecutionContext.global to avoid deadlocks when callers use Await.result on the returned futures.

The datum store, with the bytes each datum arrived in.

Current CardanoInfo snapshot.

Clear the applied-transaction log, keeping ledger state, see EmulatorBase.clearAppliedTxs.

Current slot number.

binaryDatums, decoded.

The environment of the tip, at the current slot.

Find UTxOs matching the given query.

Look up the full applied-tx record (transaction + slot + spent inputs) by hash.

Resolve a datum by its hash, or None if unknown.

Look up a previously applied transaction by hash, or None if it was never applied.

Whether the tx is in appliedTxLog: in a block of the selected chain above the clearAppliedTxs cursor, or in the log the emulator was built with. A pending tx, in the Manual preset, reads false. txStatus reads the blocks only, so a tx of the imported log is NotFound there.

The ratify result the next epoch boundary enacts, ledger-rules spec [ES-9b].

The reward update the next epoch boundary pays, or None before the first boundary, ledger-rules spec [ES-9a].

Forge a block from the mempool, spec section 8.1, and return its point and the new emulator. The original emulator is not modified, spec [SF-14].

Forge a block of txs on on, at slot on.slot + 1, spec [FG-11], [SF-14].

Forge a block of txs at slot on on, a block of the tree or ChainPoint.origin, then run chain selection, spec section 8.2, [SF-14].

Current protocol parameters.

The reserves of the tip, ledger-rules spec [ES-9]. state does not hold them: they are in the epoch state, which only epoch boundaries change.

Remove the last n blocks of the selected chain, and return the tip after chain selection and the new emulator, spec section 11.3, [SF-14].

Set the slot to a specific value, then revalidate the mempool, spec [DE-3]. Crossing epoch boundaries forwards runs their epoch transitions (ledger-rules spec [EB-1]), as the mutable emulator does; see EmulatorState.withSlot for a move back.

The stake snapshots and the fee snapshot of the tip, ledger-rules spec [ES-9a].

The ledger state of the tip.

Submit a transaction, returning the transaction hash and a new emulator with updated state. In the Instant preset the tx is in a block at once; in Manual it waits in the mempool until produceBlock, spec section 7.

The original emulator is not modified.

Convert to a mutable scalus.cardano.node.Emulator with the same state: the chain, the mempool, the preset and the whole ledger state.

The status of the tx txHash, spec [TS-1]. It reads the mempool and the blocks, not the applied-tx log: a tx known only from the log the emulator was built with is NotFound.

Current UTxO set.

A copy with datum in the datum store getDatum reads, keyed by the hash of its bytes. The immutable form of EmulatorBase.addDatum.

withDatum for a datum without its original bytes: the store keeps its canonical CBOR.