Scalus
1.5.0
Generated with
Scalus/scalus/scalus.cardano/scalus.cardano.ledger/TransactionException

TransactionException

scalus.cardano.ledger.TransactionException
See theTransactionException companion class
object TransactionException

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

final case class BadAllInputsUTxOException(transactionId: TransactionHash, missingInputs: Set[TransactionInput], missingCollateralInputs: Set[TransactionInput], missingReferenceInputs: Set[TransactionInput]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class BadCollateralInputsUTxOException(transactionId: TransactionHash) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class BadInputsUTxOException(transactionId: TransactionHash) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class BadReferenceInputsUTxOException(transactionId: TransactionHash) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class CollectErrorsException(transactionId: TransactionHash, errors: Seq[CollectError]) extends TransactionException

It's CollectErrors of the UTXOS rule in cardano-ledger (eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Plutus/Evaluate.hs:157-214), spec [FL-10]: the Plutus scripts of the tx cannot be collected with their redeemers, cost models and contexts. A phase-1 failure, whatever isValid says.

It's CollectErrors of the UTXOS rule in cardano-ledger (eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Plutus/Evaluate.hs:157-214), spec [FL-10]: the Plutus scripts of the tx cannot be collected with their redeemers, cost models and contexts. A phase-1 failure, whatever isValid says.

Value parameters

errors

in the order of collectPlutusScriptsWithContext: the first error last, and after it only the NoRedeemer errors of the later scripts

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class CommitteeHasPreviouslyResignedException(transactionId: TransactionHash, coldCredential: Credential) extends TransactionException

It's ConwayCommitteeHasPreviouslyResigned of the GOVCERT rule in cardano-ledger (eras/conway/impl/src/Cardano/Ledger/Conway/Rules/GovCert.hs:193-199), spec [GC-1], [GC-4]: a committee certificate for a cold credential that resigned.

It's ConwayCommitteeHasPreviouslyResigned of the GOVCERT rule in cardano-ledger (eras/conway/impl/src/Cardano/Ledger/Conway/Rules/GovCert.hs:193-199), spec [GC-1], [GC-4]: a committee certificate for a cold credential that resigned.

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class CommitteeIsUnknownException(transactionId: TransactionHash, coldCredential: Credential) extends TransactionException

It's ConwayCommitteeIsUnknown of the GOVCERT rule in cardano-ledger (eras/conway/impl/src/Cardano/Ledger/Conway/Rules/GovCert.hs:200-208), spec [GC-2], [GC-4]: a committee certificate for a cold credential that is not a member of the committee and not added by a pending UpdateCommittee proposal.

It's ConwayCommitteeIsUnknown of the GOVCERT rule in cardano-ledger (eras/conway/impl/src/Cardano/Ledger/Conway/Rules/GovCert.hs:200-208), spec [GC-2], [GC-4]: a committee certificate for a cold credential that is not a member of the committee and not added by a pending UpdateCommittee proposal.

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class DRepException(transactionId: TransactionHash, alreadyRegistered: Set[Credential], notRegistered: Set[Credential], invalidDeposits: Map[Credential, (Coin, Coin)], invalidRefunds: Map[Credential, (Coin, Coin)]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class DatumsException(transactionId: TransactionHash, inputsWithMissingDatumHashes: Set[TransactionInput], unmatchedDatumHashes: Set[DataHash], notAllowedSupplementalDatumHashes: Set[DataHash]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class EmptyInputsException(transactionId: TransactionHash) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class ExUnitsExceedMaxException(transactionId: TransactionHash, actualTxExecutionUnits: ExUnits, maxTxExecutionUnits: ExUnits) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class ExactSetOfRedeemersException(transactionId: TransactionHash, extraRedeemers: Set[(RedeemerTag, Int)], missingRedeemers: Set[(RedeemerTag, Int)]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class FeesOkException(transactionId: TransactionHash, transactionFee: Coin, minRequiredFee: Coin, collateralPercentage: Long, areTotalExUnitsZero: Boolean, collateralReturnOutput: Option[TransactionOutput] = ..., actualTotalSumOfCollateralCoins: Coin = ..., expectedTotalSumOfCollateralCoins: Option[Coin] = ..., collateralsConsistNotVKeyAddress: Utxos = ..., collateralsContainNotOnlyADA: Utxos = ..., remainingAssets: MultiAsset = ..., hasCollateralInputs: Boolean = ...) extends TransactionException

It's Babbage.FeeTooSmallUTxO && Alonzo.ScriptsNotPaidUTxO && Babbage.CollateralContainsNonADA && Alonzo.InsufficientCollateral && Babbage.IncorrectTotalCollateralField && Babbage.NoCollateralInputs in cardano-ledger

It's Babbage.FeeTooSmallUTxO && Alonzo.ScriptsNotPaidUTxO && Babbage.CollateralContainsNonADA && Alonzo.InsufficientCollateral && Babbage.IncorrectTotalCollateralField && Babbage.NoCollateralInputs in cardano-ledger

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class GovException(transactionId: TransactionHash, failure: GovFailure) extends TransactionException

A failure of the Conway GOV rule in cardano-ledger (eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Gov.hs:456-643), other than ProposalDepositIncorrect, spec [GV-19], D31. ruleName returns the ledger name of failure.

A failure of the Conway GOV rule in cardano-ledger (eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Gov.hs:456-643), other than ProposalDepositIncorrect, spec [GV-19], D31. ruleName returns the ledger name of failure.

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class IllFormedScriptsException(transactionId: TransactionHash, invalidWitnessesScripts: Set[ScriptHash], InvalidScriptsFromAllOutputs: Set[ScriptHash]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class IllegalArgumentException(message: String) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class InvalidScriptDataHashException(transactionId: TransactionHash, actual: Option[ScriptDataHash], expected: Option[ScriptDataHash]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class InvalidSignaturesInWitnessesException(transactionId: TransactionHash, invalidVkeyWitnesses: Set[VKeyWitness], invalidBootstrapWitnesses: Set[BootstrapWitness]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class InvalidTransactionSizeException(transactionId: TransactionHash, transactionSize: Int, maxTransactionSize: Long) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
sealed class MetadataException(message: String) extends TransactionException

Attributes

Companion
object
Supertypes
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
object MetadataException

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
final case class MissingKeyHashesException(transactionId: TransactionHash, missingInputsKeyHashes: Set[AddrKeyHash | StakeKeyHash], missingCollateralInputsKeyHashes: Set[AddrKeyHash | StakeKeyHash], missingVotingProceduresKeyHashes: Set[AddrKeyHash], missingWithdrawalsKeyHashes: Set[AddrKeyHash | StakeKeyHash], missingCertificatesKeyHashes: Set[AddrKeyHash | PoolKeyHash], missingRequiredSignersKeyHashes: Set[AddrKeyHash]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class MissingOrExtraScriptHashesException(transactionId: TransactionHash, missingInputsScriptHashes: Set[ScriptHash], missingMintScriptHashes: Set[ScriptHash], missingVotingProceduresScriptHashes: Set[ScriptHash], missingWithdrawalsScriptHashes: Set[ScriptHash], missingProposalProceduresScriptHashes: Set[ScriptHash], missingCertificatesScriptHashes: Set[ScriptHash], extraScriptHashes: Set[ScriptHash]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class NativeScriptsException(transactionId: TransactionHash, invalidWitnessesNativeScripts: Set[ScriptHash], invalidProvidedReferenceNativeScripts: Set[ScriptHash]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class NonDisjointInputsAndReferenceInputsException(transactionId: TransactionHash, intersection: Set[TransactionInput]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class OutputBootAddrAttrsTooBigException(transactionId: TransactionHash, outputsWithOversizedAttrs: Seq[Address], maxAllowedSize: Int) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class OutputsHaveNotEnoughCoinsException(transactionId: TransactionHash, invalidOutputs: Seq[(TransactionOutput, Coin, MultiAsset)], invalidCollateralOutput: Option[(TransactionOutput, Coin, MultiAsset)]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class OutputsHaveTooBigValueStorageSizeException(transactionId: TransactionHash, maxValueSize: Long, invalidOutputs: Seq[(TransactionOutput, Int)], invalidCollateralOutput: Option[(TransactionOutput, Int)]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class OutsideValidityIntervalException(transactionId: TransactionHash, validityInterval: ValidityInterval, slot: SlotNo) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class PassedUnexpectedlyException(transactionId: TransactionHash) extends TransactionException

It's ValidationTagMismatch (IsValid False) PassedUnexpectedly of the UTXOS rule in cardano-ledger (eras/babbage/impl/src/Cardano/Ledger/Babbage/Rules/Utxos.hs:255-260), spec [FL-9]: a tx with isValid = false whose scripts all pass.

It's ValidationTagMismatch (IsValid False) PassedUnexpectedly of the UTXOS rule in cardano-ledger (eras/babbage/impl/src/Cardano/Ledger/Babbage/Rules/Utxos.hs:255-260), spec [FL-9]: a tx with isValid = false whose scripts all pass.

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class PlutusScriptValidationException(transactionId: TransactionHash, message: String, logs: Seq[String], spentBudget: ExUnits, scriptHash: Option[ScriptHash] = ...) extends TransactionException

Plutus script validation failure with execution logs.

Plutus script validation failure with execution logs.

This exception is thrown when a Plutus script fails validation and the transaction has isValid = true.

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class PoolMetadataHashTooBigException(transactionId: TransactionHash, hashSizes: Map[PoolKeyHash, Int], maxHashSize: Int) extends TransactionException

It's PoolMedataHashTooBig of the POOL rule in cardano-ledger (eras/shelley/impl/src/Cardano/Ledger/Shelley/Rules/Pool.hs:249-254), spec [TX-2]: a pool registration whose metadata hash is longer than a Blake2b-256 hash.

It's PoolMedataHashTooBig of the POOL rule in cardano-ledger (eras/shelley/impl/src/Cardano/Ledger/Shelley/Rules/Pool.hs:249-254), spec [TX-2]: a pool registration whose metadata hash is longer than a Blake2b-256 hash.

Value parameters

hashSizes

the size in bytes of each metadata hash that is too long, by pool

maxHashSize

the longest metadata hash allowed, in bytes

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class ProposalDepositIncorrectException(transactionId: TransactionHash, supplied: Coin, expected: Coin) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class StakeCertificatesException(transactionId: TransactionHash, alreadyRegistered: Set[Credential], missingRegistrations: Set[Credential], nonZeroRewardAccounts: Map[Credential, Coin], invalidDeposits: Map[Credential, (Coin, Coin)], invalidRefunds: Map[Credential, (Coin, Coin)], delegateeStakePoolsNotRegistered: Set[PoolKeyHash], delegateeDRepsNotRegistered: Set[Credential]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class StakePoolException(transactionId: TransactionHash, notRegistered: Set[PoolKeyHash], rewardAccountNetworkMismatch: Set[(PoolKeyHash, Network, Network)], costBelowMinimum: Map[PoolKeyHash, (Coin, Coin)], invalidRetirementEpochs: Map[PoolKeyHash, (Long, Long, Long)]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class TooManyCollateralInputsException(transactionId: TransactionHash, actualCollateralInputsSize: Int, maxCollateralInputsSize: Long) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class TreasuryValueMismatchException(transactionId: TransactionHash, supplied: Coin, expected: Coin) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class TxRefScriptsSizeTooBigException(transactionId: TransactionHash, supplied: Int, expected: Int) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class ValueNotConservedUTxOException(transactionId: TransactionHash, consumed: Value, produced: Value) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class VrfKeyHashAlreadyRegisteredException(transactionId: TransactionHash, poolId: PoolKeyHash, vrfKeyHash: VrfKeyHash) extends TransactionException

It's VRFKeyHashAlreadyRegistered of the POOL rule in cardano-ledger (eras/shelley/impl/src/Cardano/Ledger/Shelley/Rules/Pool.hs:269-271, 283-286), spec [BK-5], [BK-6]: at PV >= 11, a pool registration whose VRF key another pool has, spec D19.

It's VRFKeyHashAlreadyRegistered of the POOL rule in cardano-ledger (eras/shelley/impl/src/Cardano/Ledger/Shelley/Rules/Pool.hs:269-271, 283-286), spec [BK-5], [BK-6]: at PV >= 11, a pool registration whose VRF key another pool has, spec D19.

Value parameters

poolId

the pool of the failed registration

vrfKeyHash

its VRF key

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class WithdrawalsNotDelegatedToDRepException(transactionId: TransactionHash, notDelegated: Set[AddrKeyHash]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class WithdrawalsNotInRewardsException(transactionId: TransactionHash, missingRewardAccounts: Map[RewardAccount, Coin], nonDrainingWithdrawals: Map[RewardAccount, (Coin, Coin)]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class WrongNetworkAddress(transactionId: TransactionHash, invalidOutputAddresses: Seq[Address], invalidCollateralReturnAddresses: Option[Address]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class WrongNetworkInTxBody(transactionId: TransactionHash, actualNetworkId: Int, expectedNetworkId: Int) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class WrongNetworkWithdrawal(transactionId: TransactionHash, invalidWithdrawals: Seq[(RewardAccount, Coin)]) extends TransactionException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all

Value members

Concrete methods

def ledgerNames(ex: TransactionException): Seq[String]

The cardano-ledger predicate-failure constructors that ex stands for, at the level that the Imp tests' injectFailure takes, spec [FL-6]: one name per constructor that the fields of ex show, sorted by ledgerOrder. An exception with no ledger counterpart gives its ruleName.

The cardano-ledger predicate-failure constructors that ex stands for, at the level that the Imp tests' injectFailure takes, spec [FL-6]: one name per constructor that the fields of ex show, sorted by ledgerOrder. An exception with no ledger counterpart gives its ruleName.

Unlike ruleName, which names the Scalus rule and stays stable for scalus.cardano.node.SubmitError.rule, these are the names a Haskell ledger test asserts on, for example FeeTooSmallUTxO or CollectErrors.

The names are those of protocol version 11. Below it the ledger raises IncorrectDepositDELEG for DepositIncorrectDELEG and RefundIncorrectDELEG, and PPViewHashesDontMatch for ScriptIntegrityHashMismatch.

Attributes

def ruleName(ex: TransactionException): String

Short, stable name for the rule that raised ex — the exception's own name without the Exception suffix, e.g. "ValueNotConservedUTxO", unless the name is the ledger constructor's, e.g. "VRFKeyHashAlreadyRegistered"; a GovException gives the name of its GovFailure case.

Short, stable name for the rule that raised ex — the exception's own name without the Exception suffix, e.g. "ValueNotConservedUTxO", unless the name is the ledger constructor's, e.g. "VRFKeyHashAlreadyRegistered"; a GovException gives the name of its GovFailure case.

Written out as literals rather than derived from getClass.getSimpleName, which Scala.js minification turns into a meaningless short name, or from productPrefix, which MetadataException does not have. The match has no wildcard on purpose: adding a TransactionException without naming it here makes this match non-exhaustive, and the compiler says so, which is what stops the next rule from silently arriving as an anonymous rejection. (A warning, not an error - this build does not turn warnings into errors.)

Used by scalus.cardano.node.SubmitError.fromException to name rejections that do not map onto one of its classified cases.

Attributes

Generated with