|
|
|---|
|
|
|
|---|
Validation of the definition of reserved-keywordp and contextual-keywordp with respect to the ABNF grammar of Java.
The predicates reserved-keywordp and contextual-keywordp define reserved and contextual keywords `directly', i.e. without reference to the grammar. Here we introduce alternative predicates based on the grammar, and we show the equivalent to reserved-keywordp and contextual-keywordp.