|
@@ -119,8 +119,8 @@ event [^,{}/]+
|
|
num_dec [0-9]+
|
|
num_dec [0-9]+
|
|
num_hex 0x[a-fA-F0-9]+
|
|
num_hex 0x[a-fA-F0-9]+
|
|
num_raw_hex [a-fA-F0-9]+
|
|
num_raw_hex [a-fA-F0-9]+
|
|
-name [a-zA-Z_*?][a-zA-Z0-9_*?]*
|
|
|
|
-name_minus [a-zA-Z_*?][a-zA-Z0-9\-_*?]*
|
|
|
|
|
|
+name [a-zA-Z_*?][a-zA-Z0-9_*?.]*
|
|
|
|
+name_minus [a-zA-Z_*?][a-zA-Z0-9\-_*?.]*
|
|
/* If you add a modifier you need to update check_modifier() */
|
|
/* If you add a modifier you need to update check_modifier() */
|
|
modifier_event [ukhpGHSDI]+
|
|
modifier_event [ukhpGHSDI]+
|
|
modifier_bp [rwx]{1,3}
|
|
modifier_bp [rwx]{1,3}
|
|
@@ -165,7 +165,6 @@ modifier_bp [rwx]{1,3}
|
|
return PE_EVENT_NAME;
|
|
return PE_EVENT_NAME;
|
|
}
|
|
}
|
|
|
|
|
|
-. |
|
|
|
|
<<EOF>> {
|
|
<<EOF>> {
|
|
BEGIN(INITIAL);
|
|
BEGIN(INITIAL);
|
|
REWIND(0);
|
|
REWIND(0);
|