|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use BasicEditorable | |
|---|---|
| edu.utep.cs.utjml.canica.jmleditor | Contains the source code to provide a JML editor, using MDI functionality. |
| Uses of BasicEditorable in edu.utep.cs.utjml.canica.jmleditor |
|---|
| Classes in edu.utep.cs.utjml.canica.jmleditor that implement BasicEditorable | |
|---|---|
class |
BasicEditing
This class implements the services provided in the BasicEditorable class. |
| Methods in edu.utep.cs.utjml.canica.jmleditor that return BasicEditorable | |
|---|---|
BasicEditorable |
JMLEditorMDI.getBasicEditorable()
|
BasicEditorable |
JMLEditorable.getBasicEditorable()
It returns the interface that will handle the basic editing (copy, paste, undo, redo, select all, delete, delete line, etc) in the JML editor. |
|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||