OXIESEC PANEL
- Current Dir:
/
/
opt
/
alt
/
python311
/
lib
/
python3.11
/
site-packages
/
pygments
/
lexers
Server IP: 2a02:4780:11:1084:0:327f:3464:10
Upload:
Create Dir:
Name
Size
Modified
Perms
📁
..
-
05/08/2024 06:42:35 PM
rwxr-xr-x
📄
__init__.py
11.78 KB
05/08/2024 06:42:35 PM
rw-r--r--
📁
__pycache__
-
05/08/2024 06:42:35 PM
rwxr-xr-x
📄
_ada_builtins.py
1.51 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_asy_builtins.py
26.65 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_cl_builtins.py
13.67 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_cocoa_builtins.py
102.71 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_csound_builtins.py
17.98 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_css_builtins.py
12.15 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_julia_builtins.py
11.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_lasso_builtins.py
131.36 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_lilypond_builtins.py
105.56 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_lua_builtins.py
7.92 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_luau_builtins.py
955 bytes
05/08/2024 06:42:35 PM
rw-r--r--
📄
_mapping.py
67.47 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_mql_builtins.py
24.13 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_mysql_builtins.py
25.23 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_openedge_builtins.py
48.24 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_php_builtins.py
105.39 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_postgres_builtins.py
13.03 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_qlik_builtins.py
12.3 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_scheme_builtins.py
31.8 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_scilab_builtins.py
51.18 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_sourcemod_builtins.py
26.15 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_stan_builtins.py
13.13 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_stata_builtins.py
26.59 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_tsql_builtins.py
15.1 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_usd_builtins.py
1.62 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_vbscript_builtins.py
4.13 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
_vim_builtins.py
55.73 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
actionscript.py
11.45 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
ada.py
5.23 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
agile.py
896 bytes
05/08/2024 06:42:35 PM
rw-r--r--
📄
algebra.py
9.68 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
ambient.py
2.54 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
amdgpu.py
1.68 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
ampl.py
4.08 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
apdlexer.py
30.08 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
apl.py
3.32 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
archetype.py
11.27 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
arrow.py
3.48 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
arturo.py
11.15 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
asc.py
1.65 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
asm.py
40.95 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
asn1.py
4.16 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
automation.py
19.37 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
bare.py
2.95 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
basic.py
27.33 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
bdd.py
1.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
berry.py
3.13 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
bibtex.py
4.7 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
blueprint.py
6.04 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
boa.py
3.83 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
bqn.py
3.26 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
business.py
27.68 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
c_cpp.py
17.64 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
c_like.py
31.27 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
capnproto.py
2.12 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
carbon.py
3.14 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
cddl.py
4.96 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
chapel.py
5.04 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
clean.py
6.27 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
comal.py
3.1 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
compiled.py
1.39 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
configs.py
49.35 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
console.py
4.08 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
cplint.py
1.36 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
crystal.py
15.38 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
csound.py
16.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
css.py
24.77 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
d.py
9.69 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
dalvik.py
4.5 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
data.py
26.39 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
dax.py
7.91 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
devicetree.py
3.92 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
diff.py
5.26 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
dns.py
3.8 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
dotnet.py
37.07 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
dsls.py
35.88 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
dylan.py
10.15 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
ecl.py
6.22 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
eiffel.py
2.63 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
elm.py
3.08 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
elpi.py
6.38 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
email.py
4.69 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
erlang.py
18.7 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
esoteric.py
10.25 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
ezhil.py
3.2 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
factor.py
19.07 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
fantom.py
9.99 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
felix.py
9.43 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
fift.py
1.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
floscript.py
2.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
forth.py
7.02 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
fortran.py
10.14 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
foxpro.py
25.68 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
freefem.py
26.28 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
func.py
3.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
functional.py
693 bytes
05/08/2024 06:42:35 PM
rw-r--r--
📄
futhark.py
3.66 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
gcodelexer.py
874 bytes
05/08/2024 06:42:35 PM
rw-r--r--
📄
gdscript.py
7.39 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
go.py
3.69 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
grammar_notation.py
7.85 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
graph.py
4.01 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
graphics.py
38.23 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
graphql.py
5.47 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
graphviz.py
1.89 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
gsql.py
3.9 KB
05/08/2024 06:42:35 PM
rwxr-xr-x
📄
haskell.py
32.46 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
haxe.py
30.25 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
hdl.py
22.21 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
hexdump.py
3.57 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
html.py
20.09 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
idl.py
15.09 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
igor.py
30.88 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
inferno.py
3.06 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
installers.py
12.99 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
int_fiction.py
55.22 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
iolang.py
1.86 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
j.py
4.74 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
javascript.py
61.62 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
jmespath.py
2.03 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
jslt.py
3.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
jsonnet.py
5.5 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
jsx.py
2.18 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
julia.py
11.41 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
jvm.py
70.96 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
kuin.py
11.14 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
kusto.py
3.4 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
ldap.py
6.4 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
lean.py
8.37 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
lilypond.py
9.52 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
lisp.py
153.97 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
macaulay2.py
32.07 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
make.py
7.65 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
markup.py
63.56 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
math.py
695 bytes
05/08/2024 06:42:35 PM
rw-r--r--
📄
matlab.py
129.85 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
maxima.py
2.65 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
meson.py
4.23 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
mime.py
7.4 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
minecraft.py
13.38 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
mips.py
4.55 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
ml.py
34.56 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
modeling.py
13.36 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
modula2.py
51.83 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
mojo.py
23.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
monte.py
6.14 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
mosel.py
9.08 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
ncl.py
62.5 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
nimrod.py
6.26 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
nit.py
2.66 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
nix.py
4.32 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
oberon.py
4.11 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
objective.py
22.7 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
ooc.py
2.91 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
openscad.py
3.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
other.py
1.72 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
parasail.py
2.66 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
parsers.py
25.97 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
pascal.py
30.26 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
pawn.py
8.06 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
perl.py
38.27 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
phix.py
22.7 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
php.py
12.75 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
pointless.py
1.93 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
pony.py
3.2 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
praat.py
12.38 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
procfile.py
1.13 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
prolog.py
12.56 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
promql.py
4.63 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
prql.py
8.54 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
ptx.py
4.4 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
python.py
52.38 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
q.py
6.77 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
qlik.py
3.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
qvt.py
5.96 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
r.py
6.19 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
rdf.py
15.67 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
rebol.py
17.83 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
resource.py
2.86 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
ride.py
4.92 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
rita.py
1.1 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
rnc.py
1.93 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
roboconf.py
2.03 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
robotframework.py
18.02 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
ruby.py
22.22 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
rust.py
8.07 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
sas.py
9.23 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
savi.py
4.76 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
scdoc.py
2.46 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
scripting.py
79.16 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
sgf.py
1.94 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
shell.py
35.38 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
sieve.py
2.46 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
slash.py
8.29 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
smalltalk.py
7.04 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
smithy.py
2.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
smv.py
2.74 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
snobol.py
2.71 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
solidity.py
3.09 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
soong.py
2.28 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
sophia.py
3.3 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
special.py
3.47 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
spice.py
2.72 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
sql.py
41.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
srcinfo.py
1.71 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
stata.py
6.26 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
supercollider.py
3.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
tact.py
10.56 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
tal.py
2.84 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
tcl.py
5.38 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
teal.py
3.44 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
templates.py
73.94 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
teraterm.py
9.49 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
testing.py
10.56 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
text.py
1.02 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
textedit.py
7.58 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
textfmts.py
15.16 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
theorem.py
17.44 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
thingsdb.py
5.88 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
tlb.py
1.42 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
tls.py
1.5 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
tnt.py
10.21 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
trafficscript.py
1.47 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
typoscript.py
8.14 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
typst.py
4.24 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
ul4.py
10.25 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
unicon.py
18.19 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
urbi.py
5.94 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
usd.py
3.23 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
varnish.py
7.3 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
verification.py
3.84 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
verifpal.py
2.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
vip.py
5.58 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
vyper.py
5.46 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
web.py
913 bytes
05/08/2024 06:42:35 PM
rw-r--r--
📄
webassembly.py
5.56 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
webidl.py
10.27 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
webmisc.py
39.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
wgsl.py
11.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
whiley.py
3.92 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
wowtoc.py
3.98 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
wren.py
3.15 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
x10.py
1.9 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
xorg.py
925 bytes
05/08/2024 06:42:35 PM
rw-r--r--
📄
yang.py
4.39 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
yara.py
2.37 KB
05/08/2024 06:42:35 PM
rw-r--r--
📄
zig.py
3.88 KB
05/08/2024 06:42:35 PM
rw-r--r--
Editing: tnt.py
Close
""" pygments.lexers.tnt ~~~~~~~~~~~~~~~~~~~ Lexer for Typographic Number Theory. :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. """ import re from pygments.lexer import Lexer from pygments.token import Text, Comment, Operator, Keyword, Name, Number, \ Punctuation, Error __all__ = ['TNTLexer'] class TNTLexer(Lexer): """ Lexer for Typographic Number Theory, as described in the book Gödel, Escher, Bach, by Douglas R. Hofstadter """ name = 'Typographic Number Theory' url = 'https://github.com/Kenny2github/language-tnt' aliases = ['tnt'] filenames = ['*.tnt'] version_added = '2.7' cur = [] LOGIC = set('⊃→]&∧^|∨Vv') OPERATORS = set('+.⋅*') VARIABLES = set('abcde') PRIMES = set("'′") NEGATORS = set('~!') QUANTIFIERS = set('AE∀∃') NUMBERS = set('0123456789') WHITESPACE = set('\t \v\n') RULES = re.compile('''(?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 ''') LINENOS = re.compile(r'(?:[0-9]+)(?:(?:, ?|,? and )(?:[0-9]+))*') COMMENT = re.compile(r'\[[^\n\]]+\]') def __init__(self, *args, **kwargs): Lexer.__init__(self, *args, **kwargs) self.cur = [] def whitespace(self, start, text, required=False): """Tokenize whitespace.""" end = start try: while text[end] in self.WHITESPACE: end += 1 except IndexError: end = len(text) if required and end == start: raise AssertionError if end != start: self.cur.append((start, Text, text[start:end])) return end def variable(self, start, text): """Tokenize a variable.""" if text[start] not in self.VARIABLES: raise AssertionError end = start+1 while text[end] in self.PRIMES: end += 1 self.cur.append((start, Name.Variable, text[start:end])) return end def term(self, start, text): """Tokenize a term.""" if text[start] == 'S': # S...S(...) or S...0 end = start+1 while text[end] == 'S': end += 1 self.cur.append((start, Number.Integer, text[start:end])) return self.term(end, text) if text[start] == '0': # the singleton 0 self.cur.append((start, Number.Integer, text[start])) return start+1 if text[start] in self.VARIABLES: # a''... return self.variable(start, text) if text[start] == '(': # (...+...) self.cur.append((start, Punctuation, text[start])) start = self.term(start+1, text) if text[start] not in self.OPERATORS: raise AssertionError self.cur.append((start, Operator, text[start])) start = self.term(start+1, text) if text[start] != ')': raise AssertionError self.cur.append((start, Punctuation, text[start])) return start+1 raise AssertionError # no matches def formula(self, start, text): """Tokenize a formula.""" if text[start] in self.NEGATORS: # ~<...> end = start+1 while text[end] in self.NEGATORS: end += 1 self.cur.append((start, Operator, text[start:end])) return self.formula(end, text) if text[start] in self.QUANTIFIERS: # Aa:<...> self.cur.append((start, Keyword.Declaration, text[start])) start = self.variable(start+1, text) if text[start] != ':': raise AssertionError self.cur.append((start, Punctuation, text[start])) return self.formula(start+1, text) if text[start] == '<': # <...&...> self.cur.append((start, Punctuation, text[start])) start = self.formula(start+1, text) if text[start] not in self.LOGIC: raise AssertionError self.cur.append((start, Operator, text[start])) start = self.formula(start+1, text) if text[start] != '>': raise AssertionError self.cur.append((start, Punctuation, text[start])) return start+1 # ...=... start = self.term(start, text) if text[start] != '=': raise AssertionError self.cur.append((start, Operator, text[start])) start = self.term(start+1, text) return start def rule(self, start, text): """Tokenize a rule.""" match = self.RULES.match(text, start) if match is None: raise AssertionError groups = sorted(match.regs[1:]) # exclude whole match for group in groups: if group[0] >= 0: # this group matched self.cur.append((start, Keyword, text[start:group[0]])) self.cur.append((group[0], Number.Integer, text[group[0]:group[1]])) if group[1] != match.end(): self.cur.append((group[1], Keyword, text[group[1]:match.end()])) break else: self.cur.append((start, Keyword, text[start:match.end()])) return match.end() def lineno(self, start, text): """Tokenize a line referral.""" end = start while text[end] not in self.NUMBERS: end += 1 self.cur.append((start, Punctuation, text[start])) self.cur.append((start+1, Text, text[start+1:end])) start = end match = self.LINENOS.match(text, start) if match is None: raise AssertionError if text[match.end()] != ')': raise AssertionError self.cur.append((match.start(), Number.Integer, match.group(0))) self.cur.append((match.end(), Punctuation, text[match.end()])) return match.end() + 1 def error_till_line_end(self, start, text): """Mark everything from ``start`` to the end of the line as Error.""" end = start try: while text[end] != '\n': # there's whitespace in rules end += 1 except IndexError: end = len(text) if end != start: self.cur.append((start, Error, text[start:end])) end = self.whitespace(end, text) return end def get_tokens_unprocessed(self, text): """Returns a list of TNT tokens.""" self.cur = [] start = end = self.whitespace(0, text) while start <= end < len(text): try: # try line number while text[end] in self.NUMBERS: end += 1 if end != start: # actual number present self.cur.append((start, Number.Integer, text[start:end])) # whitespace is required after a line number orig = len(self.cur) try: start = end = self.whitespace(end, text, True) except AssertionError: del self.cur[orig:] start = end = self.error_till_line_end(end, text) continue # at this point it could be a comment match = self.COMMENT.match(text, start) if match is not None: self.cur.append((start, Comment, text[start:match.end()])) start = end = match.end() # anything after the closing bracket is invalid start = end = self.error_till_line_end(start, text) # do not attempt to process the rest continue del match if text[start] in '[]': # fantasy push or pop self.cur.append((start, Keyword, text[start])) start += 1 end += 1 else: # one formula, possibly containing subformulae orig = len(self.cur) try: start = end = self.formula(start, text) except (AssertionError, RecursionError): # not well-formed del self.cur[orig:] while text[end] not in self.WHITESPACE: end += 1 self.cur.append((start, Error, text[start:end])) start = end # skip whitespace after formula orig = len(self.cur) try: start = end = self.whitespace(end, text, True) except AssertionError: del self.cur[orig:] start = end = self.error_till_line_end(start, text) continue # rule proving this formula a theorem orig = len(self.cur) try: start = end = self.rule(start, text) except AssertionError: del self.cur[orig:] start = end = self.error_till_line_end(start, text) continue # skip whitespace after rule start = end = self.whitespace(end, text) # line marker if text[start] == '(': orig = len(self.cur) try: start = end = self.lineno(start, text) except AssertionError: del self.cur[orig:] start = end = self.error_till_line_end(start, text) continue start = end = self.whitespace(start, text) except IndexError: try: del self.cur[orig:] except NameError: pass # if orig was never defined, fine self.error_till_line_end(start, text) return self.cur