Commit a7fb1754 authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Make variable types follow variable name rules. 

Variable types now follow variable names in terms of naming rules.  This
relaxes them to allow numbers in the name.
parent adf83114

src/main/java/ca/mcscert/jtet/parsers/VariableParserLexer.g4

+1 −1
Original line number Diff line number Diff line
@@ -20,7 +20,7 @@ COLON: ':'; 
BOOL_TYPE: 'bool';

REAL_TYPE: 'real';

FIXEDT: 'fixedt' -> pushMode(FIXED_TYPE);

UNKNOWN_TYPE: [a-zA-Z_]+;

UNKNOWN_TYPE: IDRule;



OPEN_SUBTYPE: '{' -> pushMode(ID_FETCH);

PVS_EXPR_BEGIN: '|' -> pushMode(PVS_EXPR_MODE);