Skip to main content

module examples::dataModel::Test

rascal-0.40.16
typepal-0.14.8

Usage​

import examples::dataModel::Test;

Source code​

http://github.com/usethesource/typepal/src/examples/dataModel/Test.rsc

Dependencies​

import examples::dataModel::Syntax;
extend examples::dataModel::Checker;
extend analysis::typepal::TestFramework;

function dmTModelForTree​

TModel dmTModelForTree(Tree pt){
    return collectAndSolve(pt, config = dmConfig());
}

function dmTModelFromName​

TModel dmTModelFromName(str mname){
    pt = parse(#start[Program], |project://typepal/src/examples/dataModel/<mname>.dm|).top;
    return dmTModelForTree(pt);
}

function main​

value main() {
    tm = dmTModelFromName("example1");
    //iprintln(tm, lineLimit=10000);
    return tm.messages;
}