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)