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