Skip to main content

module demo::lang::turing::l2::cst::Syntax

rascal-0.40.17

Usage​

import demo::lang::turing::l2::cst::Syntax;

Dependencies​

extend demo::lang::turing::l1::cst::Syntax;

syntax Statement​

syntax Statement 
    = label: "L" Name name 
    | @Foldable loop: "REP" Number count "{" 
        Statement+ body 
        "}"
    | jumpAlwaysLabel: "J_" Name name  
    | jumpSetLabel: "J1" Name name 
    | jumpUnsetLabel: "J0" Name name 
    ;

syntax Name​

lexical Name = @Category="Identifier" ([a-zA-Z] [a-zA-Z0-9]*) !>> [a-zA-Z0-9] ;