Skip to main content

module examples::fixedMembers::Checker

rascal-0.34.0
typepal-0.8.10

Usage​

import examples::fixedMembers::Checker;

Source code​

http://github.com/usethesource/typepal/src/examples/fixedMembers/Checker.rsc

Dependencies​

import examples::fixedMembers::Syntax;
extend analysis::typepal::TypePal;

data AType​

data AType  
     = moduleType(str name)
     | functionType(str name)
     ;

data PathRole​

data PathRole  
     = importPath()
     ;

data IdRole​

data IdRole  
     = moduleId()
     | functionId()
     ;

function prettyAType​

str prettyAType(functionType(name)) = "function <name>";

str prettyAType(moduleType(name)) = "module <name>";

function fixedMembersGetTypeNamesAndRole​

tuple[list[str] typeNames, set[IdRole] idRoles] fixedMembersGetTypeNamesAndRole(moduleType(str name)){
    return <[name], {moduleId()}>;
}

default tuple[list[str] typeNames, set[IdRole] idRoles] fixedMembersGetTypeNamesAndRole(AType t){
    return <[], {}>;
}

function fixedMembersConfig​

TypePalConfig fixedMembersConfig() =
    tconfig(getTypeNamesAndRole = fixedMembersGetTypeNamesAndRole);

function collect​

void collect(current: (Program) `<Module* modules>`, Collector c){
    c.enterScope(current);
        collect(modules, c);
    c.leaveScope(current);
}

void collect(current:(Module)`module <Id modId> <Import* imports> { <Function* funs> <Stmt* stmts>}`, Collector c) {
    c.define("<modId>", moduleId(), current, defType(moduleType("<modId>")));
    c.enterScope(current);
        collect(imports, c);
        collect(funs, c);
        collect(stmts, c);
    c.leaveScope(current);
}

void collect(current:(Import)`import <Id modId>;`, Collector c) {
   c.addPathToDef(modId, {moduleId()}, importPath());
}

void collect(current:(Function)`fun <Id id> { }`, Collector c) {
    c.define("<id>", functionId(), current, defType(functionType("<id>")));
}

void collect(current:(Stmt)`<Id modId>.<Id funId> ();`, Collector c) {
    c.use(modId, { moduleId() });
    c.useViaType(modId, funId, {functionId()});
}