Skip to main content

module analysis::typepal::FailMessage

rascal-0.41.2
org.rascalmpl.typepal-0.15.5

Usage​

import analysis::typepal::FailMessage;

Dependencies​

import Message;
import String;
import util::IDEServices;

data FailMessage​

data FailMessage (list[CodeAction] fixes = [], list[Message] causes=[]) 
     = fm_error(value src, str msg, list[value] args)
     | fm_warning(value src, str msg, list[value] args)
     | fm_info(value src, str msg, list[value] args)
     ;

function error​

FailMessage error(value src, str msg, value args..., list[CodeAction] fixes=[], list[Message] causes=[])

function warning​

FailMessage warning(value src, str msg, value args..., list[CodeAction] fixes=[], list[Message] causes=[])

function info​

FailMessage info(value src, str msg, value args..., list[CodeAction] fixes=[], list[Message] causes=[])

function escapePercent​

str escapePercent(str s)

function convert​

FailMessage convert(m: error(str msg, loc at))

FailMessage convert(m: warning(str msg, loc at))

FailMessage convert(m:info(str msg, loc at))