Skip to main content

module analysis::typepal::Messenger

rascal-0.40.16
typepal-0.14.8

Usage​

import analysis::typepal::Messenger;

Source code​

http://github.com/usethesource/typepal/src/analysis/typepal/Messenger.rsc

Dependencies​

import ParseTree;
import Message;
import Exception;
import String;
import Set;
import List;
import Location;
import util::IDEServices;
extend analysis::typepal::AType;
extend analysis::typepal::Exception;

function sortMostPrecise​

list[Message] sortMostPrecise(list[Message] messages)

function alreadyReported​

bool alreadyReported(list[Message] messages, loc src)

function intercalateAnd​

str intercalateAnd(list[str] strs)

function intercalateOr​

str intercalateOr(list[str] strs)

alias TypeProvider​

AType(Tree)

function defaultGetType​

AType defaultGetType(Tree t)

function fmt1​

str fmt1(AType t, TypeProvider _)

str fmt1(str s, TypeProvider _)

str fmt1(int n, TypeProvider _)

str fmt1(list[value] vals, TypeProvider getType)

str fmt1(set[value] vals, TypeProvider getType)

str fmt1(Tree t, TypeProvider getType)

default str fmt1(value v, TypeProvider _)

function interpolate​

str interpolate(str msg, TypeProvider getType, list[value] args)

function fmt​

Message fmt(str severity, value subject, str msg, TypeProvider getType, list[value] args, list[CodeAction] fixes = [])

function toMessage​

Message toMessage(fm_error(value src, str msg, list[value] args, fixes=list[CodeAction] fixes), TypeProvider getType)

Message toMessage(fm_warning(value src, str msg, list[value] args, fixes=list[CodeAction] fixes), TypeProvider getType)

Message toMessage(fm_info(value src, str msg, list[value] args, fixes=list[CodeAction] fixes), TypeProvider getType)