Skip to main content

module lang::pico::HiFiDemo

rascal-Not specified

Demonstrates HiFi source-to-source transformations through concrete syntax rewrites and text edits.

Usage​

import lang::pico::HiFiDemo;

Dependencies​

import lang::pico::\syntax::Main;
import IO;
import ParseTree;
import analysis::diff::edits::HiFiTreeDiff;
import analysis::diff::edits::ExecuteTextEdits;

function flipConditionals​

Blindly swaps the branches of all the conditionals in a program

start[Program] flipConditionals(start[Program] program)

This rule is syntactically correct and has a clear semantics. The layout of the resulting if-then-else-fi statement is also clear.

function main​

void main()