Bflang: Difference between revisions
Jump to navigation
Jump to search
mNo edit summary |
m escape & in <pre> |
||
(One intermediate revision by the same user not shown) | |||
Line 3: | Line 3: | ||
{{Man2top | {{Man2top | ||
|lang=en | |lang=en | ||
|rev=2.0. | |rev=2.0.4 | ||
|st= | |st=u | ||
|Title=6. Bflang | |Title=6. Bflang | ||
|prev=Man 2 ch12s05 | |prev=Man 2 ch12s05 | ||
|Subtitle=Chapter | |Subtitle=Chapter XII. Development guidelines | ||
|next=Man 2 ch12s07 | |next=Man 2 ch12s07 | ||
}} | }} | ||
Line 14: | Line 14: | ||
<pre> | <pre> | ||
<element pattern="//" highlight="php-comment"> | <element pattern="//" highlight="php-comment"> | ||
<context id="c.php.short.linecomment" symbols="?> " highlight="php-comment"> | <context id="c.php.short.linecomment" symbols="?&gt;&#10;&#13;" highlight="php-comment"> | ||
<!-- dos has \r\n -> we should never end a pattern between these two chars --> | <!-- dos has \r\n -> we should never end a pattern between these two chars --> | ||
<element pattern="( | | )" is_regex="1" ends_context="1" /> | <element pattern="(&#10;|&#13;|&#13;&#10;)" is_regex="1" ends_context="1" /> | ||
<element pattern="?>" ends_context="2" ends_block="1" blockstartelement="e.php.short.open" highlight="php-block-tag" mayfold="1" /> | <element pattern="?&gt;" ends_context="2" ends_block="1" blockstartelement="e.php.short.open" highlight="php-block-tag" mayfold="1" /> | ||
</context> | </context> | ||
</element> | </element> | ||
Line 42: | Line 42: | ||
|up=Man 2 ch12 | |up=Man 2 ch12 | ||
|next=Man 2 ch12s07 | |next=Man 2 ch12s07 | ||
|prevname= 5. | |prevname= 5. New files | ||
|nextname=7. | |nextname=7. Patches | ||
}} | }} |
Latest revision as of 12:22, 28 June 2011
regex
php.bflang2
<element pattern="//" highlight="php-comment"> <context id="c.php.short.linecomment" symbols="?> " highlight="php-comment"> <!-- dos has \r\n -> we should never end a pattern between these two chars --> <element pattern="( | | )" is_regex="1" ends_context="1" /> <element pattern="?>" ends_context="2" ends_block="1" blockstartelement="e.php.short.open" highlight="php-block-tag" mayfold="1" /> </context> </element> <!-- there is a bug in the scanning engine such that a regex style pattern like (#|//) won't work. The reason is that there is special code if a pattern ends on a symbol. That code fails on the above pattern because both # and / are ends for this pattern and both of them are a symbol. That's why we have a separate entry for # and for // --> <element pattern="#" highlight="php-comment"> <context idref="c.php.short.linecomment"/> </element>
question:
a pattern like: -?[0-9]+ fails, and [0-9]+(\.[0-9]+)? fails too.
we need:
- [0-9]+\.[0-9]+
- -[0-9]+\.[0-9]+
- [0-9]+
- -[0-9]+