Skip to main content

module analysis::typepal::TypePal

rascal-0.41.2
org.rascalmpl.typepal-0.15.5

Usage​

import analysis::typepal::TypePal;

Dependencies​

import ParseTree;
import Message;
extend analysis::typepal::Solver;
extend analysis::typepal::Version;

function collectAndSolve​

TModel collectAndSolve(Tree pt, TypePalConfig config = tconfig(), str modelName = "no-name")

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)