Skip to main content

module TypePal

rascal-0.28.2
typepal-0.8.3

Usage​

import analysis::typepal::TypePal;

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)