Skip to main content

module Test

rascal-0.28.2
typepal-0.8.3

Usage​

import examples::fun::Test;

function funSample​

private Fun funSample(str name) = parse(#Fun, |project://typepal/src/examples/fun/<name>.fun|);

function funTModel​

TModel funTModel(str name){

   return funTModelForTree(funSample(name));

}

function funTModelForTree​

TModel funTModelForTree(Tree pt){

    return collectAndSolve(pt);

}

function funTModelFromStr​

TModel funTModelFromStr(str text){

    pt = parse(#start[Fun], text).top;

    return funTModelForTree(pt);

}

function funCheck​

list[Message] funCheck(str name) {

    tm = funTModel(name);

    return tm.messages;

}

function main​

value main() = funTests();

Tests

test funTests​

test bool funTests() 
    =  runTests([|project://typepal/src/examples/fun/tests.ttl|], #Fun, funTModelForTree, runName="Fun");