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

feat: add email module

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-06-22 11:32:48 +09:00
parent eb061f712b
commit f299962ebc
8 changed files with 146 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
crates/erg_compiler/lib/pystd/email.d/__init__.d.er Normal file
View file

@ -0,0 +1,7 @@
.contentmanager = pyimport "./contentmanager"
.errors = pyimport "./errors"
.generator = pyimport "./generator"
.headerregistry = pyimport "./headerregistry"
.message = pyimport "./message"
.parser = pyimport "./parser"
.policy = pyimport "./policy"

5
crates/erg_compiler/lib/pystd/email.d/contentmanager.d.er Normal file
View file

@ -0,0 +1,5 @@
{Message!;} = pyimport "./message"
.ContentManager: ClassType
.set_text_content!: (msg: Message!, string: Str, subtype := Str) => NoneType

74
crates/erg_compiler/lib/pystd/email.d/errors.d.er Normal file
View file

@ -0,0 +1,74 @@
.MessageError: ClassType
.MessageError <: Exception
.MessageParseError: ClassType
.MessageParseError <: MessageError
.HeaderParseError: ClassType
.HeaderParseError <: MessageParseError
.BoundaryError: ClassType
.BoundaryError <: MessageParseError
.MultipartConversionError: ClassType
.MultipartConversionError <: MessageError
.CharsetError: ClassType
.CharsetError <: MessageError
.MessageDefect: ClassType
.MessageDefect <: ValueError
.NoBoundaryInMultipartDefect: ClassType
.NoBoundaryInMultipartDefect <: MessageDefect
.StartBoundaryNotFoundDefect: ClassType
.StartBoundaryNotFoundDefect <: MessageDefect
.ClosedBoundaryNotFoundDefect: ClassType
.ClosedBoundaryNotFoundDefect <: MessageDefect
.FirstHeaderLineIsContinuationDefect: ClassType
.FirstHeaderLineIsContinuationDefect <: MessageDefect
.MisplacedEnvelopeHeaderDefect: ClassType
.MisplacedEnvelopeHeaderDefect <: MessageDefect
.MultipartInvariantViolationDefect: ClassType
.MultipartInvariantViolationDefect <: MessageDefect
.InvalidMultipartContentTransferEncodingDefect: ClassType
.InvalidMultipartContentTransferEncodingDefect <: MessageDefect
.UndecodableBytesDefect: ClassType
.UndecodableBytesDefect <: MessageDefect
.InvalidBase64PaddingDefect: ClassType
.InvalidBase64PaddingDefect <: MessageDefect
.InvalidBase64CharactersDefect: ClassType
.InvalidBase64CharactersDefect <: MessageDefect
.InvalidBase64LengthDefect: ClassType
.InvalidBase64LengthDefect <: MessageDefect
.HeaderDefect: ClassType
.HeaderDefect <: MessageDefect
.InvalidHeaderDefect: ClassType
.InvalidHeaderDefect <: HeaderDefect
.HeaderMissingRequiredValue: ClassType
.HeaderMissingRequiredValue <: HeaderDefect
.NonPrintableDefect: ClassType
.NonPrintableDefect <: HeaderDefect
.ObsoleteHeaderDefect: ClassType
.ObsoleteHeaderDefect <: HeaderDefect
.NonASCIILocalPartDefect: ClassType
.NonASCIILocalPartDefect <: HeaderDefect
.InvalidDateDefect: ClassType
.InvalidDateDefect <: HeaderDefect

7
crates/erg_compiler/lib/pystd/email.d/generator.d.er Normal file
View file

@ -0,0 +1,7 @@
.Generator: ClassType
.BytesGenerator: ClassType
.BytesGenerator <: .Generator
.DecodeGenerator: ClassType
.DecodeGenerator <: .Generator

39
crates/erg_compiler/lib/pystd/email.d/headerregistry.d.er Normal file
View file

@ -0,0 +1,39 @@
.Address: ClassType
.Group: ClassType
.BaseHeader: ClassType
.UnstructuredHeader: ClassType
.UniqueUnstructuredHeader: ClassType
.UniqueUnstructuredHeader <: .UnstructuredHeader
.DateHeader: ClassType
.AddressHeader: ClassType
.UniqueAddressHeader: ClassType
.UniqueAddressHeader <: .AddressHeader
.SingleAddressHeader: ClassType
.SingleAddressHeader <: .AddressHeader
.UniqueSingleAddressHeader: ClassType
.UniqueSingleAddressHeader <: .SingleAddressHeader
.MIMEVersionHeader: ClassType
.ParameterizedMIMEHeader: ClassType
.ContentTypeHeader: ClassType
.ContentTypeHeader <: .ParameterizedMIMEHeader
.ContentDispositionHeader: ClassType
.ContentDispositionHeader <: .ParameterizedMIMEHeader
.ContentTransferEncodingHeader: ClassType
.MessageIDHeader: ClassType
.Headerregistry: ClassType

1
crates/erg_compiler/lib/pystd/email.d/message.d.er Normal file
View file

@ -0,0 +1 @@
.Message!: ClassType

6
crates/erg_compiler/lib/pystd/email.d/parser.d.er Normal file
View file

@ -0,0 +1,6 @@
.Parser: ClassType
.HeaderParser: ClassType
.HeaderParser <: .Parser
.BytesParser: ClassType
.BytesHeaderParser: ClassType
.BytesHeaderParser <: .BytesParser

7
crates/erg_compiler/lib/pystd/email.d/policy.d.er Normal file
View file

@ -0,0 +1,7 @@
.EmailPolicy: ClassType
.default: .EmailPolicy
.strict: .EmailPolicy
.SMTP: .EmailPolicy
.HTTP: .EmailPolicy
.SMTPUTF8: .EmailPolicy