Structs§
Enums§
Statics§
Functions§
- array_
sizes_ 🔒match - Returns true if two array sizes are equivalent for overload resolution.
- bool_
expr_ 🔒matches_ type - Returns whether a known boolean expression can match the expected type.
- call_
return_ 🔒type - Returns the single return type for a statically resolved call expression.
- call_
returns_ 🔒dynamic_ data - Returns true if a call resolves to functions that return dynamic data.
- call_
with_ 🔒gas_ returns_ dynamic_ data - Returns true for gas-limited calls that return dynamic data.
- callee_
is_ 🔒address_ returning_ builtin - common_
expr_ 🔒type - Returns the common type for a ternary expression when one branch type can accept the other.
- const_
array_ 🔒size - const_
array_ 🔒size_ binary_ op - const_
array_ 🔒size_ inner - contract_
type_ 🔒matches - Returns true if an actual contract type can be used where the expected contract type is needed.
- elementary_
type_ 🔒matches - Returns true if an elementary value can be used for an expected elementary type.
- enclosing_
contract 🔒 - Returns the contract containing an expression span.
- expr_
contract_ 🔒id - Returns the contract id for expressions known to be contract-typed.
- expr_
is_ 🔒address - Returns true if an expression is known to have an address type.
- expr_
is_ 🔒bool - expr_
matches_ 🔒type - Returns whether an expression can match the expected type, if known.
- expr_
type 🔒 - Returns the type of simple expressions needed by this lint.
- fixed_
array_ 🔒sizes_ match - function_
arg_ 🔒match - Returns how well call arguments match a candidate function signature.
- function_
candidates_ 🔒for_ member - Returns function candidates with the given member name on a contract.
- function_
pointer_ 🔒candidates_ for_ callee - Returns an external function pointer callee if its arguments can match.
- function_
returns_ 🔒dynamic_ data - Returns true if a function has any dynamically encoded return value.
- function_
type_ 🔒returns_ for_ args - Returns external function-type return variables when the arguments can match.
- functions_
return_ 🔒dynamic_ data - Returns true if a gas-limited call can return dynamic data.
- integer_
literal 🔒 - Returns an integer literal’s sign and precision, including unary negation.
- integer_
literal_ 🔒matches_ type - Returns whether an integer literal fits in an expected integer type.
- is_
address_ 🔒type - Returns true if the type is an address type
- is_
bool_ 🔒type - is_
dynamic_ 🔒type - Returns true if the type contains dynamically encoded ABI data.
- is_
externally_ 🔒callable - Returns true if a function can be called through
this.foo()orcontract.foo(). - is_this 🔒
- lit_
matches_ 🔒type - Returns true if a literal can be used for a value of the given type.
- low_
level_ 🔒call_ with_ gas_ consumes_ unbounded_ return_ data - Returns true for gas-limited low-level calls that copy unbounded returndata.
- matching_
functions_ 🔒for_ callee - Returns the function overloads that can match a callee and its arguments.
- member_
is_ 🔒builtin_ address - params_
arg_ 🔒match - Returns how well call arguments match the expected parameter types.
- params_
match_ 🔒args - Returns how well positional arguments match their expected parameter types.
- res_
function_ 🔒id - returns_
dynamic_ 🔒data - Returns true if any return variable has a dynamically encoded return type.
- select_
functions_ 🔒for_ args - Selects the candidate functions that best match the call arguments.
- single_
function 🔒 - Returns exactly one function id from an iterator.
- single_
return_ 🔒type - Returns exactly one return type.
- type_
contract_ 🔒id - Returns the contract id for contract-typed values.
- types_
match 🔒 - Returns true if two types are equivalent for overload resolution.