module demo::lang::turing::l2::ast::Turing

rascal-0.40.17

Usage

import demo::lang::turing::l2::ast::Turing;

Dependencies

extend demo::lang::turing::l1::ast::Turing;

data Statement

data Statement  
     = jumpAlwaysLabel(str name)
     | jumpSetLabel(str name)
     | jumpUnsetLabel(str name)
     | label(str name)
     | loop(int count, list[Statement] body)
     ;