[antlr-interest] Grammar inheritance

Boulanger Jean-Louis jean-louis.boulanger at hds.utc.fr
Tue Aug 5 23:58:03 PDT 2003


 I work on a formal language called "B" (developped by J.R. Abrial) which based
on some formal sub-language such 
 a. First order logic  and set theory
 b. Substitution (Dijkstra)

 For modelize it, I created 
 1. a first grammar called expression which contains first order logic and set
theory (defined exportVocab).
 2. a second grammar called B which defined the B language and inherited the
first grammar (use importVocab).

In my makefile i passed the argument -glib "expression.g" to antlr tools and all
work fine.

 a. Why the iniherited information is done two (in grammar file and in command
 b. Is not possible to simplify this ?
 c. When you inherited why the Java code in headfile is not inherited ? (I copy
this but it's not a good solution).

 I purposed some extension for B language and described a third language Bprime
which inherited grammar B.

 But I have BPrime that inherite B and B that inherite Expression. I can't give
two file in Antlr tool command line (-glib "expression.g" -glib "B.g doesn't
work) and I have some errors.

 Why isn't possible to describe a language which is based on many iheritance ?

Boulanger Jean-Louis

Laboratoire Heudiasyc. UMR CNRS 6599


Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/ 

More information about the antlr-interest mailing list