Skip to main content

module examples::picoci::Syntax

rascal-0.40.16
typepal-0.14.8

Usage​

import examples::picoci::Syntax;

Source code​

http://github.com/usethesource/typepal/src/examples/picoci/Syntax.rsc

syntax Id​

lexical Id  = [a-zA-Z][a-zA-Z0-9]* !>> [a-zA-Z0-9];

syntax Natural​

lexical Natural = [0-9]+ ;

syntax String​

lexical String = "\"" ![\"]*  "\"";

syntax Layout​

layout Layout = WhitespaceAndComment* !>> [\ \t\n\r%];

syntax WhitespaceAndComment​

lexical WhitespaceAndComment 
   = [\ \t\n\r]
   | @category="Comment" ws2: "%" ![%]+ "%"
   ;

syntax Program​

start syntax Program 
   = program: 'begin' Declarations decls {Statement  ";"}* body 'end'
   ;

syntax Declarations​

syntax Declarations 
   = 'declare' {Declaration ","}* decls ";" ;

syntax Declaration​

syntax Declaration 
    = decl: Id id ":" Type tp
    ;

syntax Type​

syntax Type 
   = 'natural' 
   | 'string'
   ;

syntax Statement​

syntax Statement 
   = Id var ":=" Expression val                                                                      
   | 'if' Expression cond 'then' {Statement ";"}*  thenPart 'else' {Statement ";"}* elsePart 'fi'   
   | 'while' Expression cond 'do' {Statement ";"}* body 'od'                                   
   ;

syntax Expression​

syntax Expression 
   = Id name                                    
   | String string                          
   | Natural natcon                         
   | bracket "(" Expression e ")"                   
   > left ( Expression lhs "+" Expression rhs                                          
          | Expression lhs "-" Expression rhs  
          )
   ;