EVM.Dapp

Documentation

data DappInfo

Constructors

DappInfo

Fields

• root :: FilePath
• solcByName :: Map Text SolcContract
• solcByHash :: Map W256 (CodeType, SolcContract)
• solcByCode :: [(Code, SolcContract)]
• sources :: SourceCache
• unitTests :: [(Text, [(Test, [AbiType])])]
• abiMap :: Map Word32 Method
• eventMap :: Map W256 Event
• errorMap :: Map W256 SolError
• astIdMap :: Map Int Value
• astSrcMap :: SrcMap -> Maybe Value

data Code

bytecode modulo immutables, to identify contracts

Constructors

Code

Fields

• raw :: ByteString
• immutableLocations :: [Reference]

Instances

Show Code

Defined in EVM.Dapp

Methods

showsPrec :: Int -> Code -> ShowS

show :: Code -> String

showList :: [Code] -> ShowS

data DappContext

Constructors

DappContext

Fields

• info :: DappInfo
• env :: Map Addr Contract

data Test

Constructors

ConcreteTest Text

SymbolicTest Text

InvariantTest Text

Instances

Show Test

Defined in EVM.Dapp

Methods

showsPrec :: Int -> Test -> ShowS

show :: Test -> String

showList :: [Test] -> ShowS

dappInfo :: FilePath -> Map Text SolcContract -> SourceCache -> DappInfo

emptyDapp :: DappInfo

unitTestMarkerAbi :: Word32

findAllUnitTests :: [SolcContract] -> [(Text, [(Test, [AbiType])])]

mkTest :: Text -> Maybe Test

findUnitTests :: Text -> [SolcContract] -> [(Text, [(Test, [AbiType])])]

unitTestMethodsFiltered :: (Text -> Bool) -> SolcContract -> [(Test, [AbiType])]

unitTestMethods :: SolcContract -> [(Test, [AbiType])]

extractSig :: Test -> Text

traceSrcMap :: DappInfo -> Trace -> Maybe SrcMap

srcMap :: DappInfo -> Contract -> Int -> Maybe SrcMap

findSrc :: Contract -> DappInfo -> Maybe SolcContract

lookupCode :: ContractCode -> DappInfo -> Maybe SolcContract

compareCode :: ByteString -> Code -> Bool

showTraceLocation :: DappInfo -> Trace -> Either Text Text