EVM.Dapp

Documentation

data DappInfo

Constructors

DappInfo

Fields

• _dappRoot :: FilePath
• _dappSolcByName :: Map Text SolcContract
• _dappSolcByHash :: Map W256 (CodeType, SolcContract)
• _dappSolcByCode :: [(Code, SolcContract)]
• _dappSources :: SourceCache
• _dappUnitTests :: [(Text, [(Test, [AbiType])])]
• _dappAbiMap :: Map Word32 Method
• _dappEventMap :: Map W256 Event
• _dappAstIdMap :: Map Int Value
• _dappAstSrcMap :: SrcMap -> Maybe Value

Instances

SDisplay DappInfo

Defined in EVM.Emacs

Methods

sexp :: DappInfo -> SExpr Text

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

• _contextInfo :: DappInfo
• _contextEnv :: 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

dappUnitTests :: Lens' DappInfo [(Text, [(Test, [AbiType])])]

dappSources :: Lens' DappInfo SourceCache

dappSolcByName :: Lens' DappInfo (Map Text SolcContract)

dappSolcByHash :: Lens' DappInfo (Map W256 (CodeType, SolcContract))

dappSolcByCode :: Lens' DappInfo [(Code, SolcContract)]

dappRoot :: Lens' DappInfo FilePath

dappEventMap :: Lens' DappInfo (Map W256 Event)

dappAstSrcMap :: Lens' DappInfo (SrcMap -> Maybe Value)

dappAstIdMap :: Lens' DappInfo (Map Int Value)

dappAbiMap :: Lens' DappInfo (Map Word32 Method)

contextInfo :: Lens' DappContext DappInfo

contextEnv :: Lens' DappContext (Map Addr Contract)

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

emptyDapp :: DappInfo

unitTestMarkerAbi :: Word32

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

mkTest :: Text -> Maybe Test

regexMatches :: Text -> Text -> Bool

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