/usr/lib/rads/venv/lib/python3.13/site-packages/pygments/lexers/__pycache__
Edit: /usr/lib/rads/venv/lib/python3.13/site-packages/pygments/lexers/__pycache__/tnt.cpython-313.pyc (13390B)
j( ` S r SSKrSSKJr SSKJrJrJrJrJ r J
r
J r J r S/r
" S S\5 rg)z
pygments.lexers.tnt
~~~~~~~~~~~~~~~~~~~
Lexer for Typographic Number Theory.
:copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
N)Lexer)TextCommentOperatorKeywordNameNumber PunctuationErrorTNTLexerc Z \ rS rSrSrSrSrS/rS/rSr / r
\ " S5 r \ " S 5 r
\ " S
5 r\ " S 5 r\ " S 5 r\ " S
5 r\ " S5 r\ " S5 r\R* " S5 r\R* " S5 r\R* " S5 rS rS S jrS rS r S r S r S r S r S r!S r"g ) r un
Lexer for Typographic Number Theory, as described in the book
Gödel, Escher, Bach, by Douglas R. Hofstadter
zTypographic Number Theoryz,https://github.com/Kenny2github/language-tnttntz*.tntz2.7u ⊃→]&∧^|∨Vvu +.⋅*abcdeu '′z~!u AE∀∃
0123456789z
ax (?xi)
joining | separation | double-tilde | fantasy\ rule
| carry[- ]over(?:\ of)?(?:\ line)?\ ([0-9]+) | detachment
| contrapositive | De\ Morgan | switcheroo
| specification | generalization | interchange
| existence | symmetry | transitivity
| add\ S | drop\ S | induction
| axiom\ ([1-5]) | premise | push | pop
z((?:[0-9]+)(?:(?:, ?|,? and )(?:[0-9]+))*z \[[^\n\]]+\]c F [ R " U /UQ70 UD6 / U l g )N)r __init__cur)selfargskwargss F/usr/lib/rads/venv/lib/python3.13/site-packages/pygments/lexers/tnt.pyr TNTLexer.__init__7 s
t-d-f- c Un X$ U R ; a US-
nX$ U R ; a M U( a XA:X a [ eXA:w a$ U R R U[ X!U 45 U$ ! [ a [ U5 n NTf = f)zTokenize whitespace. )
WHITESPACE
IndexErrorlenAssertionErrorr appendr )r starttextrequiredends r
whitespaceTNTLexer.whitespace; s )t.q )t. < HHOOUD$S/ : ;
d)C s )A, ,BBc X! U R ; a [ eUS- nX# U R ; a US-
nX# U R ; a M U R R U[
R X!U 45 U$ )zTokenize a variable.r ) VARIABLESr PRIMESr r! r Variabler r" r# r% s r variableTNTLexer.variableI sj ;dnn , Agi4;;& 1HC i4;;&
t#?@
r c " X! S:X a[ US- nX# S:X a US-
nX# S:X a M U R R U[ R X!U 45 U R X25 $ X! S:X a3 U R R U[ R X! 45 US- $ X! U R
; a U R
X5 $ X! S:X a U R R U[ X! 45 U R US- U5 nX! U R ; a [ eU R R U[ X! 45 U R US- U5 nX! S:w a [ eU R R U[ X! 45 US- $ [ e)zTokenize a term.Sr 0()) r r! r Integertermr) r- r
OPERATORSr r r, s r r5
TNTLexer.termS s_ ;# 'C)s"q )s" HHOOUFNNDsO D E99S' ' ;# HHOOUFNNDK @ A7N ;$.. (==- - ;# HHOOUK = >IIeAgt,E{$..0$$ HHOOUHdk : ;IIeAgt,E{c!$$ HHOOUK = >7N r c n X! U R ; ae US- nX# U R ; a US-
nX# U R ; a M U R R U[ X!U 45 U R X25 $ X! U R
; a U R R U[ R X! 45 U R US- U5 nX! S:w a [ eU R R U[ X! 45 U R US- U5 $ X! S:X a U R R U[ X! 45 U R US- U5 nX! U R ; a [ eU R R U[ X! 45 U R US- U5 nX! S:w a [ eU R R U[ X! 45 US- $ U R X5 nX! S:w a [ eU R R U[ X! 45 U R US- U5 nU$ )zTokenize a formula.r :<>=)
NEGATORSr r! r formula QUANTIFIERSr Declarationr- r r
LOGICr5 r, s r r> TNTLexer.formulam s ;$-- ''C)t}},q )t}}, HHOOUHdo > ?<<* * ;$** * HHOOUG$7$7 E FMM%'40E{c!$$ HHOOUK = ><<a. . ;# HHOOUK = >LLq$/E{$**,$$ HHOOUHdk : ;LLq$/E{c!$$ HHOOUK = >7N %& ;# $+67 %'4( r c U R R X!5 nUc [ e[ UR SS 5 nU H nUS S: d M U R
R
U[ X!US 45 U R
R
US [ R X%S US 45 US UR 5 :w a8 U R
R
US [ X%S UR 5 45 UR 5 $ U R
R
U[ X!UR 5 45 UR 5 $ )zTokenize a rule.Nr r ) RULESmatchr sortedregsr r! r r r4 r% )r r" r# rE groupsgroups r rule
TNTLexer.rule s
- =
12'EQx1}E!H1E FGq6>>!%AhuQx!8!: ;8uyy{*HHOOU1Xw%)(599;%?%A B yy{
HHOOUGT -D E Fyy{r c UnX# U R ; a US-
nX# U R ; a M U R R U[ X! 45 U R R US- [ X!S- U 45 UnU R
R
X!5 nUc [ eX$R 5 S:w a [ eU R R UR 5 [ R UR S5 45 U R R UR 5 [ X$R 5 45 UR 5 S- $ )zTokenize a line referral.r r3 r )
NUMBERSr r! r
r LINENOSrE r r% r" r r4 rI )r r" r# r% rE s r linenoTNTLexer.lineno s it||+ 1HC it||+ T[9: q$1WS(9:; ""4/ = # AGH k4 3DEFyy{Q r c Un X# S:w a US-
nX# S:w a M X1:w a$ U R R U[ X!U 45 U R X25 nU$ ! [ a [ U5 n NSf = f)z?Mark everything from ``start`` to the end of the line as Error.
r )r r r r! r r& r, s r error_till_line_end TNTLexer.error_till_line_end sz )t#q )t# < HHOOUE4c? ; <ooc(
d)C s A A/.A/c / U l U R SU5 =p#X#s=:: a [ U5 : Ga7 O
U R $ X U R ; a US-
nX U R ; a M X2:w aW U R R U[
R XU 45 [ U R 5 n U R X1S5 =p#U R R X5 nUbX U R R U[ XUR 5 45 UR 5 =p#U R X!5 =p#GM" AX S; a/ U R R U[ X 45 US-
nUS-
nO([ U R 5 n U R X!5 =p#[ U R 5 n U R X1S5 =p#[ U R 5 n U R% X!5 =p#U R X15 =p#X S:X a: [ U R 5 n U R' X!5 =p#U R X!5 =p#X#s=:: a [ U5 : a GM U R $ U R $ ! [ a& U R US2 U R X15 =p# GM f = f! [ [ 4 ad U R US2 X U R ; a US-
nX U R ; a M U R R U[" XU 45 Un GN}f = f! [ a& U R US2 U R X!5 =p# GM2 f = f! [ a& U R US2 U R X!5 =p# GMe f = f! [ a& U R US2 U R X!5 =p# GM f = f! [( a6 U R WS2 O! [* a Of = fU R X!5 GNf = f)z Returns a list of TNT tokens.r r TNz[]r2 )r r& r rM r! r r4 r rS COMMENTrE r r% r r> RecursionErrorr r rJ rO r NameError)r r# r" r% origrE s r get_tokens_unprocessed TNTLexer.get_tokens_unprocessed s ooa..&SY&T xxSH
6i4<</1HC i4<</<HHOOUFNNDsO$LM txx=D!&*ooc&FF **47$HHOOUGT 5L$MN"'))+-E"&":":5"GGE ;$&HHOOUGT[$ABQJE1HC txx=D$&*ll5&?? 488} "&//#T"BBE 488} "&))E"88E #ooc 88;#% txx=D!&*kk%&>>
#'//%">>EG &SY&T xxU 'T xx * ! HHTUO&*&>&>s&II !. +N; $ HHTUO "it > 1HC #it > t#(GH # $ & "&":":5"GGE & "&":":5"GGE * ! HHTUO&*&>&>u&KK !
6 ((5
6s )N7 +AN7 4I4 A3N7 =A
N7 J' N7 3L N7 M ./N7 N 0N7 4+J$ N7 #J$$N7 'AL1&LN7 LN7 +M N7
MN7 +N<N7 NN7 +N4/N7 3N44N7 7
O7OO7
O O7 O O76O7)r N)F)#__name__
__module__ __qualname____firstlineno____doc__nameurlaliases filenames
version_addedr setrA r6 r) r* r= r? rM r recompilerD rN rV r r& r- r5 r> rJ rO rS rZ __static_attributes__ r r r r s
'D
8CgG IM
C $ %EH
IG I
[F4yHj/K, GY J JJ
E jjDEGjj )G 4 D& " Nr )r` rg pygments.lexerr pygments.tokenr r r r r r r
r __all__r rj r r
rn s8
,zu zr