From cfd24ea6fcc3b3044149713a718fd1d03b5f636b Mon Sep 17 00:00:00 2001 From: Shunsuke Shibayama Date: Sun, 12 Nov 2023 12:23:32 +0900 Subject: [PATCH] feat: add `jinja2` type declaration --- .../lib/external/jinja2.d/__init__.d.er | 26 +++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 crates/erg_compiler/lib/external/jinja2.d/__init__.d.er diff --git a/crates/erg_compiler/lib/external/jinja2.d/__init__.d.er b/crates/erg_compiler/lib/external/jinja2.d/__init__.d.er new file mode 100644 index 00000000..a2f8509c --- /dev/null +++ b/crates/erg_compiler/lib/external/jinja2.d/__init__.d.er @@ -0,0 +1,26 @@ +.BaseLoader: ClassType + +.PackageLoader: ClassType +.PackageLoader <: .BaseLoader +.PackageLoader. + __call__: (package_name: Str, package_path: Str) -> .PackageLoader + +.FileSystemLoader: ClassType +.FileSystemLoader <: .BaseLoader +.FileSystemLoader. + __call__: (path: Str) -> .FileSystemLoader + +.DictLoader: ClassType +.DictLoader <: .BaseLoader +.DictLoader. + __call__: (mapping: {Str: Str}) -> .DictLoader + +.Template: ClassType +.Template. + __call__: (source: Str, autoescape := Bool, enable_async := Bool) -> .Template + render: (self: Ref(.Template), **kwargs: Obj) -> Str + +.Enviroment: ClassType +.Enviroment. + __call__: (loader := .BaseLoader, trim_blocks := Bool) -> .Enviroment + get_template: (self: Ref(.Enviroment), name := Str) -> .Template