Skip to main content

module Test

rascal-0.28.2
typepal-0.8.3

Usage

import examples::fixedMembers::Test;

function fixedMembersTModelForTree

TModel fixedMembersTModelForTree(Tree pt){

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

}

function fixedMembersTModelFromName

TModel fixedMembersTModelFromName(str mname){

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

return fixedMembersTModelForTree(pt);

}

function main

bool main() = fixedMembersTests();

Tests

test fixedMembersTests

test bool fixedMembersTests() {
return runTests([|project://typepal/src/examples/fixedMembers/fixedMembers.ttl|],
#start[Program],
TModel (Tree t) { return fixedMembersTModelForTree(t); },
runName = "fixedMembers");
}