Skip to main content

module demo::lang::MissGrant::DesugarResetEvents

rascal-0.40.17

Usage​

import demo::lang::MissGrant::DesugarResetEvents;

Dependencies​

import  demo::lang::MissGrant::AST;

function desugarResetEvents​

public Controller desugarResetEvents(Controller ctl) =
  visit (ctl) {
    case state(n, as, ts) => state(n, as, ts + [ transition(e, "idle") | e <- ctl.resets ])
  };