Skip to main content

module Test

rascal-0.28.2
typepal-0.8.3

Usage

import examples::staticFields::Test;

function staticFieldsTModelForTree

TModel staticFieldsTModelForTree(Tree pt){

return collectAndSolve(pt, config=staticFieldsConfig());

}

function staticFieldsTModelFromName

TModel staticFieldsTModelFromName(str mname){

pt = parse(#start[Program], |project://typepal/src/examples/staticFields/<mname>.struct|).top;

return staticFieldsTModelForTree(pt);

}

function main

value main()

= staticFieldsTests();

Tests

test staticFieldsTests

test bool staticFieldsTests() {
return runTests([|project://typepal/src/examples/staticFields/tests.ttl|],
#start[Program],
TModel (Tree t) { return staticFieldsTModelForTree(t); },
runName = "StaticFields");
}