mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-07 21:25:31 +00:00
26 lines
740 B
Python
26 lines
740 B
Python
.Trace!: ClassType
|
|
.Trace!.
|
|
__call__: (
|
|
count := Nat,
|
|
trace := Nat,
|
|
countfuncs := Nat,
|
|
countcallers := Nat,
|
|
ignoremods := Iterable(Str),
|
|
ignoredirs := Iterable(Str),
|
|
infile := Str,
|
|
outfile := Str,
|
|
timing := Bool,
|
|
) -> Trace!
|
|
run!: (self: RefMut(Trace!), cmd: Str) => NoneType
|
|
results: (self: Ref(Trace!)) -> CoverageResults!
|
|
|
|
.CoverageResults!: ClassType
|
|
.CoverageResults!.
|
|
update!: (self: RefMut(CoverageResults!), other: CoverageResults!) => NoneType
|
|
write_results!: (
|
|
self: Ref(CoverageResults!),
|
|
show_missing := Bool,
|
|
summary := Bool,
|
|
coverdir := Str,
|
|
ignore_missing_files := Bool,
|
|
) => NoneType
|