Skip to main content

module Test

rascal-0.28.2
typepal-0.8.3

Usage​

import examples::aliases::Test;

function aliasesTModelForTree​

TModel aliasesTModelForTree(Tree pt){

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

}

function aliasesTModelFromName​

TModel aliasesTModelFromName(str mname){

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

    return aliasesTModelForTree(pt);

}

function main​

bool main() = aliasesTests();

Tests

test aliasesTests​

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