aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Verilog/Lex.x
diff options
context:
space:
mode:
authorYann Herklotz <git@ymhg.org>2019-04-03 10:28:28 +0100
committerYann Herklotz <git@ymhg.org>2019-04-03 10:28:28 +0100
commit72a6f29c7b1357fbeca70097c84138c6cf6d5e2a (patch)
tree15168fc8150a4452a431a25672918a1a368ce225 /src/VeriFuzz/Verilog/Lex.x
parent7efee38ae8823314c13d12b349ac1e1361650444 (diff)
downloadverismith-72a6f29c7b1357fbeca70097c84138c6cf6d5e2a.tar.gz
verismith-72a6f29c7b1357fbeca70097c84138c6cf6d5e2a.zip
Formatting file
Diffstat (limited to 'src/VeriFuzz/Verilog/Lex.x')
-rw-r--r--src/VeriFuzz/Verilog/Lex.x184
1 files changed, 92 insertions, 92 deletions
diff --git a/src/VeriFuzz/Verilog/Lex.x b/src/VeriFuzz/Verilog/Lex.x
index fb071d4..cc67ecc 100644
--- a/src/VeriFuzz/Verilog/Lex.x
+++ b/src/VeriFuzz/Verilog/Lex.x
@@ -84,103 +84,103 @@ tokens :-
"wire" { tok KWWire }
"signed" { tok KWSigned }
- @simpleIdentifier { tok IdSimple }
- @escapedIdentifier { tok IdEscaped }
- @systemIdentifier { tok IdSystem }
-
- @number { tok LitNumber }
- @string { tok LitString }
-
- "(" { tok SymParenL }
- ")" { tok SymParenR }
- "[" { tok SymBrackL }
- "]" { tok SymBrackR }
- "{" { tok SymBraceL }
- "}" { tok SymBraceR }
- "~" { tok SymTildy }
- "!" { tok SymBang }
- "@" { tok SymAt }
- "#" { tok SymPound }
- "%" { tok SymPercent }
- "^" { tok SymHat }
- "&" { tok SymAmp }
- "|" { tok SymBar }
- "*" { tok SymAster }
- "." { tok SymDot }
- "," { tok SymComma }
- ":" { tok SymColon }
- ";" { tok SymSemi }
- "=" { tok SymEq }
- "<" { tok SymLt }
- ">" { tok SymGt }
- "+" { tok SymPlus }
- "-" { tok SymDash }
- "?" { tok SymQuestion }
- "/" { tok SymSlash }
- "$" { tok SymDollar }
- "'" { tok SymSQuote }
-
- "~&" { tok SymTildyAmp }
- "~|" { tok SymTildyBar }
- "~^" { tok SymTildyHat }
- "^~" { tok SymHatTildy }
- "==" { tok SymEqEq }
- "!=" { tok SymBangEq }
- "&&" { tok SymAmpAmp }
- "||" { tok SymBarBar }
- "**" { tok SymAsterAster }
- "<=" { tok SymLtEq }
- ">=" { tok SymGtEq }
- ">>" { tok SymGtGt }
- "<<" { tok SymLtLt }
- "++" { tok SymPlusPlus }
- "--" { tok SymDashDash }
- "+=" { tok SymPlusEq }
- "-=" { tok SymDashEq }
- "*=" { tok SymAsterEq }
- "/=" { tok SymSlashEq }
- "%=" { tok SymPercentEq }
- "&=" { tok SymAmpEq }
- "|=" { tok SymBarEq }
- "^=" { tok SymHatEq }
- "+:" { tok SymPlusColon }
- "-:" { tok SymDashColon }
- "::" { tok SymColonColon }
- ".*" { tok SymDotAster }
- "->" { tok SymDashGt }
- ":=" { tok SymColonEq }
- ":/" { tok SymColonSlash }
- "##" { tok SymPoundPound }
- "[*" { tok SymBrackLAster }
- "[=" { tok SymBrackLEq }
- "=>" { tok SymEqGt }
- "@*" { tok SymAtAster }
- "(*" { tok SymParenLAster }
- "*)" { tok SymAsterParenR }
- "*>" { tok SymAsterGt }
-
- "===" { tok SymEqEqEq }
- "!==" { tok SymBangEqEq }
- "=?=" { tok SymEqQuestionEq }
- "!?=" { tok SymBangQuestionEq }
- ">>>" { tok SymGtGtGt }
- "<<<" { tok SymLtLtLt }
- "<<=" { tok SymLtLtEq }
- ">>=" { tok SymGtGtEq }
- "|->" { tok SymBarDashGt }
- "|=>" { tok SymBarEqGt }
- "[->" { tok SymBrackLDashGt }
- "@@(" { tok SymAtAtParenL }
+ @simpleIdentifier { tok IdSimple }
+ @escapedIdentifier { tok IdEscaped }
+ @systemIdentifier { tok IdSystem }
+
+ @number { tok LitNumber }
+ @string { tok LitString }
+
+ "(" { tok SymParenL }
+ ")" { tok SymParenR }
+ "[" { tok SymBrackL }
+ "]" { tok SymBrackR }
+ "{" { tok SymBraceL }
+ "}" { tok SymBraceR }
+ "~" { tok SymTildy }
+ "!" { tok SymBang }
+ "@" { tok SymAt }
+ "#" { tok SymPound }
+ "%" { tok SymPercent }
+ "^" { tok SymHat }
+ "&" { tok SymAmp }
+ "|" { tok SymBar }
+ "*" { tok SymAster }
+ "." { tok SymDot }
+ "," { tok SymComma }
+ ":" { tok SymColon }
+ ";" { tok SymSemi }
+ "=" { tok SymEq }
+ "<" { tok SymLt }
+ ">" { tok SymGt }
+ "+" { tok SymPlus }
+ "-" { tok SymDash }
+ "?" { tok SymQuestion }
+ "/" { tok SymSlash }
+ "$" { tok SymDollar }
+ "'" { tok SymSQuote }
+
+ "~&" { tok SymTildyAmp }
+ "~|" { tok SymTildyBar }
+ "~^" { tok SymTildyHat }
+ "^~" { tok SymHatTildy }
+ "==" { tok SymEqEq }
+ "!=" { tok SymBangEq }
+ "&&" { tok SymAmpAmp }
+ "||" { tok SymBarBar }
+ "**" { tok SymAsterAster }
+ "<=" { tok SymLtEq }
+ ">=" { tok SymGtEq }
+ ">>" { tok SymGtGt }
+ "<<" { tok SymLtLt }
+ "++" { tok SymPlusPlus }
+ "--" { tok SymDashDash }
+ "+=" { tok SymPlusEq }
+ "-=" { tok SymDashEq }
+ "*=" { tok SymAsterEq }
+ "/=" { tok SymSlashEq }
+ "%=" { tok SymPercentEq }
+ "&=" { tok SymAmpEq }
+ "|=" { tok SymBarEq }
+ "^=" { tok SymHatEq }
+ "+:" { tok SymPlusColon }
+ "-:" { tok SymDashColon }
+ "::" { tok SymColonColon }
+ ".*" { tok SymDotAster }
+ "->" { tok SymDashGt }
+ ":=" { tok SymColonEq }
+ ":/" { tok SymColonSlash }
+ "##" { tok SymPoundPound }
+ "[*" { tok SymBrackLAster }
+ "[=" { tok SymBrackLEq }
+ "=>" { tok SymEqGt }
+ "@*" { tok SymAtAster }
+ "(*" { tok SymParenLAster }
+ "*)" { tok SymAsterParenR }
+ "*>" { tok SymAsterGt }
+
+ "===" { tok SymEqEqEq }
+ "!==" { tok SymBangEqEq }
+ "=?=" { tok SymEqQuestionEq }
+ "!?=" { tok SymBangQuestionEq }
+ ">>>" { tok SymGtGtGt }
+ "<<<" { tok SymLtLtLt }
+ "<<=" { tok SymLtLtEq }
+ ">>=" { tok SymGtGtEq }
+ "|->" { tok SymBarDashGt }
+ "|=>" { tok SymBarEqGt }
+ "[->" { tok SymBrackLDashGt }
+ "@@(" { tok SymAtAtParenL }
"(*)" { tok SymParenLAsterParenR }
- "->>" { tok SymDashGtGt }
- "&&&" { tok SymAmpAmpAmp }
+ "->>" { tok SymDashGtGt }
+ "&&&" { tok SymAmpAmpAmp }
- "<<<=" { tok SymLtLtLtEq }
- ">>>=" { tok SymGtGtGtEq }
+ "<<<=" { tok SymLtLtLtEq }
+ ">>>=" { tok SymGtGtGtEq }
$white ;
- . { tok Unknown }
+ . { tok Unknown }
{
tok :: TokenName -> AlexPosn -> String -> Token