Skip to main content

module Test

rascal-0.28.2
typepal-0.8.3

Usage

import examples::pico::Test;

function picoTModelFromName

TModel picoTModelFromName(str name) {

Tree pt = parse(#start[Program], |project://typepal/src/examples/pico/<name>.pico|);

return collectAndSolve(pt);

}

function picoTModelForTree

TModel picoTModelForTree(Tree pt) {

return collectAndSolve(pt);

}

function main

value main()

= picoTests();

Tests

test picoTests

test bool picoTests() {
return runTests([|project://typepal/src/examples/pico/tests.ttl|],
#start[Program],
TModel (Tree t) { return picoTModelForTree(t); },
runName = "Pico");
}