Skip to main content

module analysis::typepal::Solver

rascal-0.43.0
org.rascalmpl.typepal-0.17.2

Usage​

import analysis::typepal::Solver;

Dependencies​

extend analysis::typepal::Collector;
extend analysis::typepal::Messenger;
import Exception;
import IO;
import List;
import Location;
import Map;
import Message;
import Node;
import ParseTree;
import Set;
import String;
import Type;
import analysis::typepal::StringSimilarity;
import util::IDEServices;

function checkAllTypesAvailable​

void checkAllTypesAvailable(TModel tm)

function assertValidDefines​

void assertValidDefines(TModel tm)

function assertValidUseDef​

void assertValidUseDef(TModel tm, Solver solver)

function newSolver​

Solver newSolver(Tree pt, TModel tm)

Solver newSolver(map[str,Tree] namedTrees, TModel tm)

function undefinedNameProposals​

list[CodeAction] undefinedNameProposals(Use u, TModel tm)