Class CallValue

Get deposited value by the instruction/transaction responsible for this execution.

Hierarchy

Tag
- CallValue

Index

Constructors

Properties

count depth tag type?

Methods

children eval isJumpDest isVal isZero sol unwrap yul

Constructors

constructor

new CallValue(): CallValue
Returns CallValue
Overrides Tag.constructor
- Defined in src/ast/special.ts:105

Properties

`Readonly` count

count: number

`Readonly` depth

depth: number

`Readonly` tag

tag: "CallValue" = 'CallValue'

`Optional` type

type?: "string" | "function" | "address" | "uint" | "address payable" | "bool" | "uint16" | "uint256" | "uint8" | "uint32" | "uint24" | "uint40" | "uint48" | "uint56" | "uint64" | "uint72" | "uint80" | "uint88" | "uint96" | "uint104" | "uint112" | "uint120" | "uint128" | "uint136" | "uint144" | "uint152" | "uint160" | "uint168" | "uint176" | "uint184" | "uint192" | "uint200" | "uint208" | "uint216" | "uint224" | "uint232" | "uint240" | "uint248" | "int" | "int16" | "int256" | "int8" | "int32" | "int24" | "int40" | "int48" | "int56" | "int64" | "int72" | "int80" | "int88" | "int96" | "int104" | "int112" | "int120" | "int128" | "int136" | "int144" | "int152" | "int160" | "int168" | "int176" | "int184" | "int192" | "int200" | "int208" | "int216" | "int224" | "int232" | "int240" | "int248" | "bytes" | "bytes2" | "bytes1" | "bytes16" | "bytes3" | "bytes8" | "bytes9" | "bytes11" | "bytes20" | "bytes21" | "bytes25" | "bytes26" | "bytes5" | "bytes32" | "bytes4" | "bytes6" | "bytes7" | "bytes10" | "bytes12" | "bytes13" | "bytes14" | "bytes15" | "bytes24" | "bytes17" | "bytes18" | "bytes19" | "bytes22" | "bytes23" | "bytes27" | "bytes28" | "bytes29" | "bytes30" | "bytes31"

Methods

children

children(): Expr[]
Returns Expr[]
Inherited from Tag.children
- Defined in src/ast/index.ts:192

eval

eval(): Expr
Reduce this expression.

Returns Expr
Overrides Tag.eval
- Defined in src/ast/special.ts:108

isJumpDest

isJumpDest(): this is Val
Returns this is Val
Inherited from Tag.isJumpDest
- Defined in src/ast/index.ts:183

isVal

isVal(): this is Val
Returns this is Val
Inherited from Tag.isVal
- Defined in src/ast/index.ts:175

isZero

isZero(): this is Val
Returns this is Val
Inherited from Tag.isZero
- Defined in src/ast/index.ts:179

sol

sol(): string
Returns string
Inherited from Tag.sol
- Defined in src/sol.ts:630

unwrap

unwrap(): Expr
Returns Expr
Inherited from Tag.unwrap
- Defined in src/ast/index.ts:196

yul

yul(): string
Returns string
Inherited from Tag.yul
- Defined in src/yul.ts:227

Generated using TypeDoc v0.25.2