module Test
rascal-0.28.2
typepal-0.8.3
Usage
import examples::structParameters::Test;
function structParametersTModelForTree
TModel structParametersTModelForTree(Tree pt){
return collectAndSolve(pt, config = structParametersConfig());
}
function structParametersTModelFromName
TModel structParametersTModelFromName(str mname){
pt = parse(#start[Program], |project://typepal/src/examples/structParameters/<mname>.struct|).top;
return structParametersTModelForTree(pt);
}
function main
value main()
= structParametersTests();
Tests
test structParametersTests
test bool structParametersTests() {
return runTests([|project://typepal/src/examples/structParameters/tests.ttl|],
#start[Program],
TModel (Tree t) { return structParametersTModelForTree(t); },
runName = "StructParameters");
}