|
|
|---|
|
|
|
|---|
Validation of the definition of null-literalp with respect to the ABNF grammar of Java.
The predicate null-literalp defines the null literal `directly', i.e. without reference to the grammar. Here we introduce an alternative predicate based on the grammar, and we show it equivalent to null-literalp.