erg_compiler 0.6.53

Centimetre: the Erg compiler
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88

.NOTSET: {0}
.DEBUG: {10}
.INFO: {20}
.WARNING: {30}
.ERROR: {40}
.CRITICAL: {50}
.FATAL: {50}
.BASIC_FORMAT: {"%(levelname)s:%(name)s:%(message)s"}

.LogRecord: ClassType
.LogRecord.
    name: Str
    level: Nat
    pathname: Str
    lineno: Nat
    msg: Str
    args: GenericTuple
    exc_info: GenericTuple
    func: Str or NoneType
    sinfo: Str or NoneType
    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

.getLogger: (name: Str or NoneType := NoneType) -> .Logger!
.getLoggerClass: () -> ClassType
.getLogRecordFactory: () -> ClassType
.debug!: (msg: Str, args := GenericTuple, kwargs := GenericDict) => NoneType
.info!: (msg: Str, args := GenericTuple, kwargs := GenericDict) => NoneType
.warning!: (msg: Str, args := GenericTuple, kwargs := GenericDict) => NoneType
.error!: (msg: Str, args := GenericTuple, kwargs := GenericDict) => NoneType
.critical!: (msg: Str, args := GenericTuple, kwargs := GenericDict) => NoneType
.exception!: (msg: Str, args := GenericTuple, kwargs := GenericDict) => NoneType
.log!: (level: Nat, msg: Str, args := GenericTuple, kwargs := GenericDict) => NoneType
.disable!: (level := Nat) => NoneType
.addLevelName!: (level: Nat, levelName: Str) => NoneType
.getLevelNamesMapping!: () => GenericDict
.getLevelName!: (level: Nat) -> Str
.makeLogRecord!: (args: GenericTuple) -> .LogRecord
# TODO: stream
.basicConfig!: (level := Nat, format := Str, datefmt := Str, filename := Str, filemode := Str, stream := Obj) => NoneType
.shutdown!: () => NoneType
.root: .RootLogger!