diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-01 20:43:30 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-01 20:43:30 +0000 |
commit | 40a3135f24b66574518c1b206d012b10332782c7 (patch) | |
tree | e2ed323939acdb3fa6741d29d3c26b41061de988 /src/parser/bounded_token_factory.h | |
parent | cb9a9b98b018106a02b31f2442f347a944d8dda8 (diff) |
Adding comments to bounded token files
Diffstat (limited to 'src/parser/bounded_token_factory.h')
-rw-r--r-- | src/parser/bounded_token_factory.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/parser/bounded_token_factory.h b/src/parser/bounded_token_factory.h index 761ac762f..faf289ef4 100644 --- a/src/parser/bounded_token_factory.h +++ b/src/parser/bounded_token_factory.h @@ -10,7 +10,10 @@ ** See the file COPYING in the top-level source directory for licensing ** information. ** - ** [[ Add file-specific comments here ]] + ** An ANTLR3 bounded token factory. The factory has a fixed number of + ** tokens that are re-used as parsing proceeds. Only use this factory + ** if you *know* that the number of active tokens will be bounded + ** (e.g., if you're using a bounded token stream). **/ #include "cvc4parser_private.h" |