module analysis::typepal::TypePal
rascal-0.34.0
typepal-0.8.10
Usage
import analysis::typepal::TypePal;
Source code
http://github.com/usethesource/typepal/src/analysis/typepal/TypePal.rsc
Dependencies
import ParseTree;
import Message;
extend analysis::typepal::Solver;
extend analysis::typepal::Version;
function collectAndSolve
TModel collectAndSolve(Tree pt, TypePalConfig config = tconfig())
function getUseDef
rel[loc, loc] getUseDef(TModel tm)
function getVocabulary
set[str] getVocabulary(TModel tm)
function getFacts
map[loc, AType] getFacts(TModel tm)
function getMessages
list[Message] getMessages(TModel tm)