erg/crates/erg_compiler/lib/pystd/warnings.d.er
2024-09-21 21:56:24 +09:00

52 lines
1.1 KiB
Python

.CatchWarnings = 'catch_warnings': ClassType
.CatchWarnings.
__call__: () => CatchWarnings
.catch_warnings!: () => CatchWarnings
.warn!: (
message: Str,
category := Exception,
stacklevel := Nat,
source := Obj,
skip_file_prefixes := Iterable(Str),
) => NoneType
.warn_explicit!: (
message: Str,
category: Exception,
filename: Str,
lineno: Nat,
module := Str,
registry := GenericDict,
module_globals := GenericDict,
source := Obj,
) => NoneType
.showwarning!: (
message: Str,
category: Exception,
filename: Str,
lineno: Nat,
file := FileLike!,
line := Str,
) => NoneType
.formatwarning!: (
message: Str,
category: Exception,
filename: Str,
lineno: Nat,
line := Str,
) => Str
.filterwarnings!: (
action: Str,
message := Str,
category := Exception,
module := Str,
lineno := Nat,
append := Bool,
) => NoneType
.simplefilter!: (
action: Str,
category := Exception,
lineno := Nat,
append := Bool,
) => NoneType
.resetwarnings!: () => NoneType