Skip to main content

module demo::lang::turing::l2::desugar::Desugar

rascal-0.34.0

Usage​

import demo::lang::turing::l2::desugar::Desugar;

Dependencies​

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

function expandLoops​

public Program expandLoops(Program p) {
  return innermost visit (p) {
    case [*Statement stats1, loop(n, sts), *Statement stats2] => [*stats1, *renameLabels(n,sts), loop(n-1, sts), *stats2]
      when n > 0
    case [*Statement stats1, loop(0, _), *Statement stats2] => [*stats1, *stats2]
  }
}

function renameLabels​

public list[Statement] renameLabels(int n, list[Statement] ss) 
  = [ (s has name) ? s[name="<s.name>_<n>"] : s | s <- ss ];

function labelsToLineNumbers​

public Program labelsToLineNumbers(Program p) {
  lineNo = 1;
  labels = ();
    
  for (s <- p.statements) {
    if (label(l) := s) {
      labels[l] = lineNo; 
    }
    else {
      lineNo += 1;
    }   
  }
  p.statements = [ labelToLineNo(s, labels) | s <- p.statements, !(s is label) ];
  return p;
}

function labelToLineNo​

public Statement labelToLineNo(Statement: jumpAlwaysLabel(n), map[str,int] ren) = jumpAlways(ren[n]);

public Statement labelToLineNo(Statement: jumpSetLabel(n), map[str,int] ren) = jumpSet(ren[n]);

public Statement labelToLineNo(Statement: jumpUnsetLabel(n), map[str,int] ren) = jumpUnset(ren[n]);

public default Statement labelToLineNo(Statement x, map[str,int] ren) = x;