2024-08-02 20:03:49 +00:00
|
|
|
<lexer>
|
|
|
|
<config>
|
|
|
|
<name>Terminfo</name>
|
|
|
|
<alias>terminfo</alias>
|
|
|
|
<filename>terminfo</filename>
|
|
|
|
<filename>terminfo.src</filename>
|
|
|
|
</config>
|
|
|
|
<rules>
|
|
|
|
<state name="names">
|
|
|
|
<rule pattern="\n">
|
|
|
|
<token type="Text"/>
|
|
|
|
<pop depth="1"/>
|
|
|
|
</rule>
|
|
|
|
<rule pattern="(,)([ \t]*)">
|
|
|
|
<bygroups>
|
|
|
|
<token type="Punctuation"/>
|
|
|
|
<token type="Text"/>
|
|
|
|
</bygroups>
|
|
|
|
<push state="defs"/>
|
|
|
|
</rule>
|
|
|
|
<rule pattern="\|">
|
|
|
|
<token type="Punctuation"/>
|
|
|
|
</rule>
|
|
|
|
<rule pattern="[^,|]+">
|
|
|
|
<token type="NameAttribute"/>
|
|
|
|
</rule>
|
|
|
|
</state>
|
|
|
|
<state name="defs">
|
|
|
|
<rule pattern="\n[ \t]+">
|
|
|
|
<token type="Text"/>
|
|
|
|
</rule>
|
|
|
|
<rule pattern="\n">
|
|
|
|
<token type="Text"/>
|
|
|
|
<pop depth="2"/>
|
|
|
|
</rule>
|
|
|
|
<rule pattern="(#)([0-9]+)">
|
|
|
|
<bygroups>
|
|
|
|
<token type="Operator"/>
|
|
|
|
<token type="LiteralNumber"/>
|
|
|
|
</bygroups>
|
|
|
|
</rule>
|
|
|
|
<rule pattern="=">
|
|
|
|
<token type="Operator"/>
|
|
|
|
<push state="data"/>
|
|
|
|
</rule>
|
|
|
|
<rule pattern="(,)([ \t]*)">
|
|
|
|
<bygroups>
|
|
|
|
<token type="Punctuation"/>
|
|
|
|
<token type="Text"/>
|
|
|
|
</bygroups>
|
|
|
|
</rule>
|
|
|
|
<rule pattern="[^\s,=#]+">
|
|
|
|
<token type="NameClass"/>
|
|
|
|
</rule>
|
|
|
|
</state>
|
|
|
|
<state name="data">
|
|
|
|
<rule pattern="\\[,\\]">
|
|
|
|
<token type="Literal"/>
|
|
|
|
</rule>
|
|
|
|
<rule pattern="(,)([ \t]*)">
|
|
|
|
<bygroups>
|
|
|
|
<token type="Punctuation"/>
|
|
|
|
<token type="Text"/>
|
|
|
|
</bygroups>
|
|
|
|
<pop depth="1"/>
|
|
|
|
</rule>
|
|
|
|
<rule pattern="[^\\,]+">
|
|
|
|
<token type="Literal"/>
|
|
|
|
</rule>
|
|
|
|
<rule pattern=".">
|
|
|
|
<token type="Literal"/>
|
|
|
|
</rule>
|
|
|
|
</state>
|
|
|
|
<state name="root">
|
|
|
|
<rule pattern="^#.*$">
|
|
|
|
<token type="Comment"/>
|
|
|
|
</rule>
|
|
|
|
<rule pattern="^[^\s#,|]+">
|
|
|
|
<token type="NameTag"/>
|
|
|
|
<push state="names"/>
|
|
|
|
</rule>
|
|
|
|
</state>
|
|
|
|
</rules>
|
2024-08-26 23:18:28 +00:00
|
|
|
</lexer>
|