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.Objectobject - 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.