Name Rascal/Libraries/util/Editors/LineDecoration

Types

public data LineDecoration = 
    info(int lineNumber, str msg)
  | warning(int lineNumber, str msg)
  | error(int lineNumber, str msg)
  | highlight(int lineNumber, str msg)
  | highlight(int lineNumber, str msg, int level)
  ;

Usage import util::Editors;

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]