Skip to main content

module analysis::typepal::Messenger

rascal-0.34.0
typepal-0.8.10

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;
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)

function toMessage​

Message toMessage(_error(value src, str msg, list[value] args), TypeProvider getType)

Message toMessage(_warning(value src, str msg, list[value] args), TypeProvider getType)

Message toMessage(_info(value src, str msg, list[value] args), TypeProvider getType)