Splice.Tests.TestAmuletTrafficPurchase

Tests for buying synchronizer traffic via token standard V1 transfer compatible mode

Data Types

data TestSetup

TestSetup

Field

Type

Description

registry

AmuletRegistry

alice

Party

defaultTransfer

Transfer

instance GetField "alice" TestSetup Party

instance GetField "defaultTransfer" TestSetup Transfer

instance GetField "registry" TestSetup AmuletRegistry

instance SetField "alice" TestSetup Party

instance SetField "defaultTransfer" TestSetup Transfer

instance SetField "registry" TestSetup AmuletRegistry

Functions

oneMegabyte: : Int

oneMegabyteCostUsd: : Decimal

oneMegabyteCostAmulet: : Decimal

initialTap: : Decimal

testMemberId: : Text

testSynchronizerId: : Text

defaultMemoTag: : Text

defaultReason: : Text

setupTestWith: : AmuletRegistryConfig -> Script TestSetup

setupTest: : Script TestSetup

memoTagMeta: : Text -> Metadata

submitTrafficPurchase: : TestSetup -> EnrichedFactoryChoice TransferFactory TransferFactory_Transfer -> Script TransferInstructionResult

submitTrafficPurchaseMustFailWith: : FailureStatusCheck -> TestSetup -> EnrichedFactoryChoice TransferFactory TransferFactory_Transfer -> Script ()

buyTraffic: : TestSetup -> Transfer -> Script TransferInstructionResult

buyTrafficMustFailWith: : FailureStatusCheck -> TestSetup -> Transfer -> Script ()

transferFactoryChoice: : AmuletRegistry -> Transfer -> Script (EnrichedFactoryChoice TransferFactory TransferFactory_Transfer)

dropOpenRound: : EnrichedFactoryChoice TransferFactory TransferFactory_Transfer -> EnrichedFactoryChoice TransferFactory TransferFactory_Transfer

test_trafficPurchase_burnsFullAmountAndCreatesMemberTraffic: : Script ()

test_trafficPurchase_spendsEntireInputWithoutChange: : Script ()

test_trafficPurchase_mintsValidatorRewardCoupon: : Script ()

test_trafficPurchase_forfeitsValidatorRewardCoupon: : Script ()

test_trafficPurchase_acceptsMemoTagInAnyOrder: : Script ()

test_trafficPurchase_rejectsUnknownSynchronizer: : Script ()

test_trafficPurchase_rejectsAmountBelowMinTopup: : Script ()

rejectsNonPositiveTrafficPrice: : Decimal -> Script ()

test_trafficPurchase_rejectsZeroTrafficPrice: : Script ()

test_trafficPurchase_rejectsNegativeTrafficPrice: : Script ()

test_trafficPurchase_rejectsMissingOpenRoundWithoutForfeit: : Script ()

test_trafficPurchase_rejectsExpiredTransfer: : Script ()

Comments