|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DocumentEditCondition | |
---|---|
edu.rice.cs.drjava.plugins.eclipse.util.text | |
edu.rice.cs.util.text |
Uses of DocumentEditCondition in edu.rice.cs.drjava.plugins.eclipse.util.text |
---|
Fields in edu.rice.cs.drjava.plugins.eclipse.util.text declared as DocumentEditCondition | |
---|---|
protected DocumentEditCondition |
SWTDocumentAdapter._condition
Determines which edits are legal on this document. |
protected DocumentEditCondition |
SWTDocumentAdapter._condition
Determines which edits are legal on this document. |
Methods in edu.rice.cs.drjava.plugins.eclipse.util.text that return DocumentEditCondition | |
---|---|
DocumentEditCondition |
SWTDocumentAdapter.getEditCondition()
Gets the object which can determine whether an insert or remove edit should be applied, based on the inputs. |
DocumentEditCondition |
SWTDocumentAdapter.getEditCondition()
Gets the object which can determine whether an insert or remove edit should be applied, based on the inputs. |
Methods in edu.rice.cs.drjava.plugins.eclipse.util.text with parameters of type DocumentEditCondition | |
---|---|
void |
SWTDocumentAdapter.setEditCondition(DocumentEditCondition condition)
Provides an object which can determine whether an insert or remove edit should be applied, based on the inputs. |
void |
SWTDocumentAdapter.setEditCondition(DocumentEditCondition condition)
Provides an object which can determine whether an insert or remove edit should be applied, based on the inputs. |
Uses of DocumentEditCondition in edu.rice.cs.util.text |
---|
Fields in edu.rice.cs.util.text declared as DocumentEditCondition | |
---|---|
protected DocumentEditCondition |
SwingDocument._condition
Determines which edits are legal on this document. |
Methods in edu.rice.cs.util.text that return DocumentEditCondition | |
---|---|
DocumentEditCondition |
SwingDocument.getEditCondition()
Gets the object which can determine whether an insert or remove edit should be applied, based on the inputs. |
DocumentEditCondition |
EditDocumentInterface.getEditCondition()
Gets the object which can determine whether an insert or remove edit should be applied, based on the inputs. |
DocumentEditCondition |
ConsoleDocument.getEditCondition()
Gets the object which determines whether an insert/remove edit should be applied based on the inputs. |
Methods in edu.rice.cs.util.text with parameters of type DocumentEditCondition | |
---|---|
void |
SwingDocument.setEditCondition(DocumentEditCondition condition)
Provides an object which can determine whether an insert or remove edit should be applied, based on the inputs. |
void |
EditDocumentInterface.setEditCondition(DocumentEditCondition condition)
Provides an object which can determine whether an insert or remove edit should be applied, based on the inputs. |
void |
ConsoleDocument.setEditCondition(DocumentEditCondition condition)
Provides an object which can determine whether an insert or remove edit should be applied, based on the inputs. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |