j
d S r SSKJrJrJrJr SSKJrJrJ r J
r
J r J r J
r
Jr S/r " S S\5 rg)z
pygments.lexers.eiffel
~~~~~~~~~~~~~~~~~~~~~~
Lexer for the Eiffel language.
:copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
)
RegexLexerincludewordsbygroups)CommentOperatorKeywordNameStringNumber Punctuation
Whitespace EiffelLexerc $ \ rS rSrSrSrSrS/rS/rS/r Sr
S \ 4S
\ R 4S \ 4S \R 4S \R" 4S
\" \R" \ \R" 5 4S\" \R" \ \R" 5 4\" SSSS9\R( 4S\4S\4\" S5 S\R. 4S\4S\4S\4S\R4 4S\ 4/S \R8 4S \R: 4S \R< 4S \R> 4S \R@ 4/S!.r!S"r"g#)$r z
For Eiffel source code.
Eiffelzhttps://www.eiffel.comeiffelz*.ez
text/x-eiffelz2.0z[^\S\n]+z--.*?$z0(?i)(true|false|void|current|result|precursor)\bz(?i)(not|xor|implies|or)\bz(?i)(and)(?:(\s+)(then))?\bz(?i)(or)(?:(\s+)(else))?\b)3acrossagentaliasallasassignattached attributecheckclassconvertcreatedebugdeferred
detachabledoelseelseifendensureexpandedexportexternalfeaturefromfrozenifinheritinspect invariantlikelocalloopnonenoteobsoleteoldonceonlyredefinerenamerequirerescueretryselectseparatethenundefineuntilvariantwhenz(?i)\bz\b)prefixsuffixz "\[([^\]%]|%(.|\n)|\][^"])*?\]"z"([^"%\n]|%.)*?"numbersz'([^'%]|%'|%%)'z4(//|\\\\|>=|<=|:=|/=|~|/~|[\\?!#%&@|+/\-=>*$<^\[\]])z ([{}():;,.])z$([a-z]\w*)|([A-Z][A-Z0-9_]*[a-z]\w*)z([A-Z][A-Z0-9_]*)z\n+z0[xX][a-fA-F0-9]+z
0[bB][01]+z 0[cC][0-7]+z!([0-9]+\.[0-9]*)|([0-9]*\.[0-9]+)z[0-9]+)rootrI N)#__name__
__module__ __qualname____firstlineno____doc__nameurlaliases filenames mimetypes
version_addedr r Singler Constantr Wordr r Reservedr r Charr
r
Classr HexBinOctFloatIntegertokens__static_attributes__rK I/usr/lib/rads/venv/lib/python3.13/site-packages/pygments/lexers/eiffel.pyr r sk D
"CjGI !IM * %
'
* %
@'BRBR S
*HMM :
+
hmmZ
?
A
*
hmmZ
?
A
8 AJRWY
0 8
& ) I
-
Dh O
k *
4d ;
!4:: .
Z ;
@ "6:: .
FJJ '
VZZ (
16<< @
'
A'Frd N)rP pygments.lexerr r r r pygments.tokenr r r r
r r r
r __all__r rK rd re