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

feat: enhance logging module definitions

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-05-05 13:47:37 +09:00
parent d171138904
commit 00b02dc019
2 changed files with 104 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

63
crates/erg_compiler/lib/pystd/logging.d/__init__.d.er
View file

@ -1,10 +1,11 @@
.Logger: ClassType .NOTSET: {0}
.DEBUG: {10}
.Handler: ClassType .INFO: {20}
.WARNING: {30}
.Formatter: ClassType .ERROR: {40}
.CRITICAL: {50}
.Filter: ClassType .FATAL: {50}
.BASIC_FORMAT: {"%(levelname)s:%(name)s:%(message)s"}
.LogRecord: ClassType .LogRecord: ClassType
.LogRecord. .LogRecord.
@ -19,9 +20,54 @@
sinfo: Str or NoneType sinfo: Str or NoneType
getMessage: (self: .LogRecord) -> Str getMessage: (self: .LogRecord) -> Str
.PercentStyle: ClassType
.StrFormatStyle: ClassType
.StrFormatStyle <: .PercentStyle
.StringTemplateStyle: ClassType
.StringTemplateStyle <: .PercentStyle
.Formatter: ClassType
.BufferingFormatter: ClassType
.Filter: ClassType
.Filterer: ClassType
.Handler!: ClassType
.Handler! <: .Filterer
.StreamHandler!: ClassType
.StreamHandler! <: .Handler!
.FileHandler!: ClassType
.FileHandler! <: .StreamHandler!
.NullHandler!: ClassType
.NullHandler! <: .Handler!
.PlaceHolder: ClassType
.Manager: ClassType
.Logger!: ClassType
.Logger! <: .Filterer
.Logger!.
propagate: Bool
level: Nat
setLevel!: (self: RefMut(.Logger!), level: Nat) => NoneType
isEnabledFor: (self: Ref(.Logger!), level: Nat) -> Bool
getEffectiveLevel: (self: Ref(.Logger!)) -> Nat
getChild: (self: Ref(.Logger!), suffix: Str) -> .Logger!
debug!: (self: RefMut(.Logger!), msg: Str, *args: Obj) => NoneType
info!: (self: RefMut(.Logger!), msg: Str, *args: Obj) => NoneType
warning!: (self: RefMut(.Logger!), msg: Str, *args: Obj) => NoneType
error!: (self: RefMut(.Logger!), msg: Str, *args: Obj) => NoneType
critical!: (self: RefMut(.Logger!), msg: Str, *args: Obj) => NoneType
log!: (self: RefMut(.Logger!), level: Nat, msg: Str, *args: Obj) => NoneType
exception!: (self: RefMut(.Logger!), msg: Str, *args: Obj) => NoneType
.RootLogger!: ClassType
.RootLogger! <: .Logger!
.LoggerAdaptor: ClassType .LoggerAdaptor: ClassType
.getLogger: (name: Str or NoneType := NoneType) -> .Logger .getLogger: (name: Str or NoneType := NoneType) -> .Logger!
.getLoggerClass: () -> ClassType .getLoggerClass: () -> ClassType
.getLogRecordFactory: () -> ClassType .getLogRecordFactory: () -> ClassType
.debug!: (msg: Str, args := GenericTuple, kwargs := GenericDict) => NoneType .debug!: (msg: Str, args := GenericTuple, kwargs := GenericDict) => NoneType
@ -39,3 +85,4 @@
# TODO: stream # TODO: stream
.basicConfig!: (level := Nat, format := Str, datefmt := Str, filename := Str, filemode := Str, stream := Obj) => NoneType .basicConfig!: (level := Nat, format := Str, datefmt := Str, filename := Str, filemode := Str, stream := Obj) => NoneType
.shutdown!: () => NoneType .shutdown!: () => NoneType
.root: .RootLogger!

49
crates/erg_compiler/lib/pystd/logging.d/handlers.d.er
View file

@ -0,0 +1,49 @@
logging = pyimport "logging"
.DEFAULT_TCP_LOGGING_PORT: {9020}
.DEFAULT_UDP_LOGGING_PORT: {9021}
.DEFAULT_HTTP_LOGGING_PORT: {9022}
.DEFAULT_SOAP_LOGGING_PORT: {9023}
.SYSLOG_UDP_PORT: {514}
.SYSLOG_TCP_PORT: {514}
.BaseRotatingHandler!: ClassType
.BaseRotatingHandler! <: logging.FileHandler!
.RotatingFileHandler!: ClassType
.RotatingFileHandler! <: BaseRotatingHandler!
.TimeRotatingFileHandler!: ClassType
.TimeRotatingFileHandler! <: BaseRotatingHandler!
.WatchedFileHandler!: ClassType
.WatchedFileHandler! <: logging.FileHandler!
.SocketHandler!: ClassType
.SocketHandler! <: logging.Handler!
.DatagramHandler!: ClassType
.DatagramHandler! <: SocketHandler!
.SysLogHandler!: ClassType
.SysLogHandler! <: logging.Handler!
.SMTPHandler!: ClassType
.SMTPHandler! <: logging.Handler!
.NTEventLogHandler!: ClassType
.NTEventLogHandler! <: logging.Handler!
.HTTPHandler!: ClassType
.HTTPHandler! <: logging.Handler!
.BufferingHandler!: ClassType
.BufferingHandler! <: logging.Handler!
.MemoryHandler!: ClassType
.MemoryHandler! <: BufferingHandler!
.QueueHandler!: ClassType
.QueueHandler! <: logging.Handler!
.QueueListener!: ClassType