Class PublicFunction

Private _label

Private isGetter

• isGetter(): this is {
      stmts: [...Stmt[], Return & {
          args: [SLoad & {
              slot: Val;
          }];
      }];
  }

• Returns this is {
      stmts: [...Stmt[], Return & {
          args: [SLoad & {
              slot: Val;
          }];
      }];
  }

Private isMappingGetter

• isMappingGetter(): this is {
      stmts: [...Stmt[], Return & {
          args: MappingLoad[];
      }];
  }

• Returns this is {
      stmts: [...Stmt[], Return & {
          args: MappingLoad[];
      }];
  }

Static Private findReturns

• findReturns(stmts, returns): void

• Parameters

  • stmts: Stmt[]

  • returns: Expr[][]

  Returns void

Static Private patchCallDataLoad

• patchCallDataLoad(stmtOrExpr, paramTypes, visited?): void

• Parameters

  • stmtOrExpr: Record<string, Expr>

  • paramTypes: ("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")[]

  • visited: Set<unknown> = ...

  Returns void