Working with the KIM-GRAMMAR - semantics -
Start up KPML and get to the KIM-GRAMMAR
Set the language if necessary...
When loaded, the start of the grammar looks as follows...
Start up the EXAMPLE MANAGER
The EXAMPLE MANAGER shows collections of EXAMPLE SETS
By clicking ‘right’ on an example name, KPML will pass the semantics to the grammar and generate automatically
Structure is generated as usual...
And now the program tells us which paths have been taken...
EXAMPLE SETS An example set is a collection of semantic specifications for controlling the grammar They can be used for testing and documentation and for examples They are found in the EXAMPLES subfolder of the folder for a resource: e.g., in KIM-FOLDER/EXAMPLES...
Examples...