Skip to main content

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");
}