diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-31 17:36:52 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-31 18:35:39 +0200 |
commit | 63cef1ee8de62312df9afc2d515578df9c4cb9b1 (patch) | |
tree | 6a4840080f1039a6d070cfdeac0cfa92baa5935a /grammar | |
parent | f5e85670b9c106fbde736654c32f4042c6a39d3f (diff) |
Abstracting away the Summary-synchronized grammar-modifying commands.
We provide an API so that external code such as plugins can define grammar
extensions synchronized with the summary. This API is not perfect yet and is
a mere abstraction of the current behaviour. In particular, it expects the
user to modify the parser in an imperative way.
Diffstat (limited to 'grammar')
0 files changed, 0 insertions, 0 deletions