module analysis::typepal::TypePal

rascal-0.40.16

typepal-0.14.8

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(), 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)