hevm-0.51.2: Ethereum virtual machine evaluator

Safe Haskell	Safe-Inferred
Language	GHC2021

EVM.Dapp

Synopsis

data DappInfo = DappInfo {
- root :: FilePath
- solcByName :: Map Text SolcContract
- solcByHash :: Map W256 (CodeType, SolcContract)
- solcByCode :: [(Code, SolcContract)]
- sources :: SourceCache
- unitTests :: [(Text, [(Test, [AbiType])])]
- abiMap :: Map FunctionSelector Method
- eventMap :: Map W256 Event
- errorMap :: Map W256 SolError
- astIdMap :: Map Int Value
- astSrcMap :: SrcMap -> Maybe Value
}
data Code = Code {
- raw :: ByteString
- immutableLocations :: [Reference]
}
data DappContext = DappContext {
- info :: DappInfo
- env :: Map Addr Contract
}
data Test
- = ConcreteTest Text
- | SymbolicTest Text
- | InvariantTest Text
dappInfo :: FilePath -> BuildOutput -> DappInfo
emptyDapp :: DappInfo
unitTestMarkerAbi :: FunctionSelector
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

Documentation

data DappInfo Source #

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 FunctionSelector Method eventMap :: Map W256 Event errorMap :: Map W256 SolError astIdMap :: Map Int Value astSrcMap :: SrcMap -> Maybe Value

data Code Source #

bytecode modulo immutables, to identify contracts

Constructors

Code
Fields raw :: ByteString immutableLocations :: [Reference]

Instances

Instances details

Show Code Source #
Instance details Defined in EVM.Dapp Methods showsPrec :: Int -> Code -> ShowS Source # show :: Code -> String Source # showList :: [Code] -> ShowS Source #

data DappContext Source #

Constructors

DappContext
Fields info :: DappInfo env :: Map Addr Contract

data Test Source #

Constructors

ConcreteTest Text
SymbolicTest Text
InvariantTest Text

Instances

Instances details

Show Test Source #
Instance details Defined in EVM.Dapp Methods showsPrec :: Int -> Test -> ShowS Source # show :: Test -> String Source # showList :: [Test] -> ShowS Source #

dappInfo :: FilePath -> BuildOutput -> DappInfo Source #

emptyDapp :: DappInfo Source #

unitTestMarkerAbi :: FunctionSelector Source #

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

mkTest :: Text -> Maybe Test Source #

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

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

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

extractSig :: Test -> Text Source #

traceSrcMap :: DappInfo -> Trace -> Maybe SrcMap Source #

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

findSrc :: Contract -> DappInfo -> Maybe SolcContract Source #

lookupCode :: ContractCode -> DappInfo -> Maybe SolcContract Source #

compareCode :: ByteString -> Code -> Bool Source #

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