| Constructor and Description |
|---|
Error() |
| Modifier and Type | Method and Description |
|---|---|
Location |
getEnd()
Returns the end of this error's extent as a
Location.
|
Locatable |
getExtent()
Returns this error's extent as a Locatable.
|
java.lang.String |
getLabel()
Returns the string that labels this error's printed form (default = "Error: ").
|
java.lang.String |
getMsg()
Returns the string of this error's message (default = "an error happened").
|
java.lang.String |
getPrefix()
Returns the string that starts this error's printed form (default = "*** ").
|
java.lang.String |
getSee()
Returns the string indicating this error's extent (default = " - see ").
|
Location |
getStart()
Returns the start of this error's extent as a
Location.
|
boolean |
isWarning()
Returns true if this error in only a warning.
|
java.lang.String |
locationString()
Returns an explicit String describing the location of this error's extent.
|
Error |
makeWarning()
Qualifies this error as only a warning, and returns this error.
|
Locatable |
setEnd(Location location)
Sets the end of this error's extent to the specified
Location and returns this.
|
Error |
setExtent(Locatable extent)
Sets this error's extent to the specified
Locatable, and returns this error.
|
Error |
setLabel(java.lang.String label)
Sets this error's label to the specified String, and returns this error.
|
Error |
setMsg(java.lang.String msg)
Sets this error's message to the specified String, and returns this error.
|
Error |
setPrefix(java.lang.String prefix)
Sets this error's prefix to the specified String, and returns this error.
|
Error |
setSee(java.lang.String see)
Sets this error's the string indicating this error's extent the specified String,
and returns this error.
|
Locatable |
setStart(Location location)
Sets the start of this error's extent to the specified
Location and returns this.
|
java.lang.String |
toString()
Returns a String composed of all the elements of this error in the form:
getPrefix()+getLabel()+getMsg()+getSee()+locationString().
|
public final java.lang.String getPrefix()
public final Error setPrefix(java.lang.String prefix)
public final java.lang.String getLabel()
public final Error setLabel(java.lang.String label)
public final java.lang.String getMsg()
public final Error setMsg(java.lang.String msg)
public final java.lang.String getSee()
public final Error setSee(java.lang.String see)
public final Error setExtent(Locatable extent)
public final boolean isWarning()
public final Error makeWarning()
public final Locatable setStart(Location location)
public final Locatable setEnd(Location location)
public java.lang.String locationString()
locationString in interface Locatablepublic java.lang.String toString()
toString in class java.lang.Object