Contracts.with_all_function_names()

Adds a filter to get contracts that have functions with all the given names.

with_all_function_names(names: List[str], sensitivity: bool = True) -> Contracts

Query Example

from glider import *

def query():
  contracts = (
    Contracts().
    non_interface_contracts().
    with_all_function_names(["transfer", "TransferFrom"], sensitivity=False).
    exec(1))

  return contracts

Output Example