public class Lint.Kind
extends java.lang.Object
Constructor and Description |
---|
Kind(java.lang.String name,
java.lang.String message) |
Modifier and Type | Method and Description |
---|---|
IMessage.Kind |
getKind() |
java.lang.String |
getName() |
boolean |
isEnabled() |
void |
setKind(IMessage.Kind kind) |
void |
setSuppressed(boolean shouldBeSuppressed) |
void |
signal(java.lang.String[] infos,
ISourceLocation location,
ISourceLocation[] extraLocations) |
void |
signal(java.lang.String info,
ISourceLocation location) |
public void setSuppressed(boolean shouldBeSuppressed)
public boolean isEnabled()
public java.lang.String getName()
public IMessage.Kind getKind()
public void setKind(IMessage.Kind kind)
public void signal(java.lang.String info, ISourceLocation location)
public void signal(java.lang.String[] infos, ISourceLocation location, ISourceLocation[] extraLocations)