Skip to main content

module demo::lang::MissGrant::Outline

rascal-0.34.0

Usage​

import demo::lang::MissGrant::Outline;

Dependencies​

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

function outlineController​

public node outlineController(Controller ctl) = outline(ctl);

function outline​

node outline(Controller ctl) = "outline"([outline(ctl.events), outline(ctl.commands), outline(ctl.states)]);

node outline(list[Event] es) = "events"([ outline(e) | e <- es])[label="Events"];

node outline(list[Command] cs) = "commands"([ outline(c) | c <- cs])[label="Commands"];

node outline(list[State] ss) = "states"([ outline(s) | s <- ss])[label="States"];

node outline(e:event(n, t)) = "event"()[@label="<n> <t>"][src=e.location];

node outline(c:command(n, t)) = "command"()[@label="<n> <t>"][src=c.location];

node outline(s:state(n, _, ts)) = "state"([ outline(t) | t <- ts ])[@label=n][src=s.location];

node outline(t:transition(e, s)) = "transition"()[@label="<e> -\> <s>"][src=t.location];