edu.princeton.toy
public static class TProgramDocument.WarningInfoStruct extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
boolean |
hasFatalError |
int[] |
selectionEnd |
int[] |
selectionStart |
int |
warningCount |
java.lang.String[] |
warnings |
Constructor and Description |
---|
TProgramDocument.WarningInfoStruct()
Creates a new WarningInfoStruct.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object object)
Returns wheter or not this WarningInfoStruct conveys the same information as another.
|
boolean |
selectionsEqual(TProgramDocument.WarningInfoStruct warningInfo)
Returns wheter or not this WarningInfoStruct conveys the same information as another
(except possibly warnings).
|
boolean |
warningsEqual(TProgramDocument.WarningInfoStruct warningInfo)
Returns wheter or not this WarningInfoStruct conveys the same information as another
(except possibly selectionStart and selectionEnd).
|
public boolean hasFatalError
public int warningCount
public final java.lang.String[] warnings
public final int[] selectionStart
public final int[] selectionEnd
public TProgramDocument.WarningInfoStruct()
public boolean equals(java.lang.Object object)
equals
in class java.lang.Object
object
- The other object to compare this WarningInfoStruct to.public boolean selectionsEqual(TProgramDocument.WarningInfoStruct warningInfo)
warningInfo
- The other WarningInfoStruct to compare this WarningInfoStruct to.public boolean warningsEqual(TProgramDocument.WarningInfoStruct warningInfo)
warningInfo
- The other WarningInfoStruct to compare this WarningInfoStruct to.