diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-10-20 11:45:10 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-10-21 18:00:13 +0200 |
commit | cef86ed6f78e2efa703bd8772a43fbeba597bbe3 (patch) | |
tree | 8aa3382cfee8cfdbe73cab67594b556ff13cf795 /parsing/cLexer.mli | |
parent | f667e270116aaf46f1c27b5a925d3ffaf0d31365 (diff) |
Adding a primitive to recover the set of keywords from the lexer.
This is useful for debugging purposes.
Diffstat (limited to 'parsing/cLexer.mli')
-rw-r--r-- | parsing/cLexer.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/parsing/cLexer.mli b/parsing/cLexer.mli index f69d95335..e0fdf8cb5 100644 --- a/parsing/cLexer.mli +++ b/parsing/cLexer.mli @@ -9,6 +9,7 @@ val add_keyword : string -> unit val remove_keyword : string -> unit val is_keyword : string -> bool +val keywords : unit -> CString.Set.t val check_ident : string -> unit val is_ident : string -> bool |