diff options
| author | hallgren <hallgren@chalmers.se> | 2011-07-29 15:44:19 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-07-29 15:44:19 +0000 |
| commit | b58fc79908efb52320a38fdf6df96d8d0d067e73 (patch) | |
| tree | 606e81246df1d5befe3f80905100bd7ef155dbfe /src/runtime/javascript/editor-grammar/EditorEng.gf | |
| parent | 7c6f6110ebf8ebf446b8414e035b1118908d5bed (diff) | |
gfse: some correctness checks for concrete syntax
The editor now calls the GF server to check the syntax of expressions that
are part of concrete syntax (except for parameter types).
This is currently done by using the cc command of the GF shell, which puts
some unnecessary restricitons on operation definitions...
Diffstat (limited to 'src/runtime/javascript/editor-grammar/EditorEng.gf')
0 files changed, 0 insertions, 0 deletions