language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-28 04:09:05 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update case.d.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-05-05 18:08:01 +09:00
parent 982bbd1405
commit b04ef87044
1 changed files with 23 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

23
crates/erg_compiler/lib/pystd/unittest.d/case.d.er
View file

@ -10,3 +10,26 @@
.doModuleCleanups!: () => NoneType
.TestCase!: ClassType
.TestCase!.
__call__: (methodName := Str) -> .TestCase!
setUp!: (self: Ref(.TestCase!)) => NoneType
tearDown!: (self: Ref(.TestCase!)) => NoneType
assertFalse: (self: Ref(.TestCase!), expr: Bool, msg := Str) -> NoneType
assertTrue: (self: Ref(.TestCase!), expr: Bool, msg := Str) -> NoneType
assertRaises: (self: Ref(.TestCase!), expected_exeption: ClassType, *args: Obj) -> NoneType
assertWarns: (self: Ref(.TestCase!), expected_warning: ClassType, *args: Obj) -> NoneType
assertLogs: (self: Ref(.TestCase!), logger := Str, level := Int, *args: Obj) -> NoneType
assertEqual: |E <: Eq|(self: Ref(.TestCase!), first: E, second: E, msg := Str) -> NoneType
assertNotEqual: |E <: Eq|(self: Ref(.TestCase!), first: E, second: E, msg := Str) -> NoneType
assertIn: |E <: Eq|(self: Ref(.TestCase!), member: E, container: Iterable(E), msg := Str) -> NoneType
assertNotIn: |E <: Eq|(self: Ref(.TestCase!), member: E, container: Iterable(E), msg := Str) -> NoneType
assertIs: (self: Ref(.TestCase!), first: Obj, second: Obj, msg := Str) -> NoneType
assertIsNot: (self: Ref(.TestCase!), first: Obj, second: Obj, msg := Str) -> NoneType
assertLess: |O <: Ord|(self: Ref(.TestCase!), first: O, second: O, msg := Str) -> NoneType
assertLessEqual: |O <: Ord|(self: Ref(.TestCase!), first: O, second: O, msg := Str) -> NoneType
assertGreater: |O <: Ord|(self: Ref(.TestCase!), first: O, second: O, msg := Str) -> NoneType
assertGreaterEqual: |O <: Ord|(self: Ref(.TestCase!), first: O, second: O, msg := Str) -> NoneType
assertIsNone: (self: Ref(.TestCase!), obj: Obj, msg := Str) -> NoneType
assertIsNotNone: (self: Ref(.TestCase!), obj: Obj, msg := Str) -> NoneType
assertIsInstance: (self: Ref(.TestCase!), obj: Obj, cls: ClassType, msg := Str) -> NoneType
assertNotIsInstance: (self: Ref(.TestCase!), obj: Obj, cls: ClassType, msg := Str) -> NoneType