Math2mat
|
Public Member Functions | |
Shell | getShell () |
void | createPartControl (final Composite parent) |
void | copy () |
void | cut () |
void | paste () |
void | selectAll () |
void | delete () |
void | undo () |
void | redo () |
void | comUncom () |
void | comment () |
void | uncomment () |
void | setFocus () |
void | doSaveAs () |
void | doSave () |
void | setModified (boolean modif) |
void | init (IEditorSite site, IEditorInput input) throws PartInitException |
boolean | isDirty () |
boolean | isSaveAsAllowed () |
M2MProject | getM2MProject () |
void | saveProject () |
File | getInputFile () |
String | getText () |
boolean | getParseDone () |
void | setOptimisationProperties (OptimisationProperties optimProp) |
void | setSimulationProperties (SimulationProperties simProp) |
void | setParseDone (boolean bool) |
void | setModel (Model model) |
Model | getModel () |
StyledText | getStyledText () |
String | getFilePath () |
int | promptToSaveOnClose () |
void | doSave (IProgressMonitor monitor) |
Static Public Attributes | |
static final String | ID = "m2mgui.editor" |
Static Protected Attributes | |
static final int | UNDO_LIMIT = 200 |
Definition at line 85 of file Editor.java.
void m2m.frontend.view.Editor.comment | ( | ) |
Definition at line 441 of file Editor.java.
void m2m.frontend.view.Editor.comUncom | ( | ) |
Definition at line 405 of file Editor.java.
void m2m.frontend.view.Editor.copy | ( | ) |
Definition at line 340 of file Editor.java.
void m2m.frontend.view.Editor.createPartControl | ( | final Composite | parent | ) |
Create the editor
Definition at line 111 of file Editor.java.
void m2m.frontend.view.Editor.cut | ( | ) |
Definition at line 344 of file Editor.java.
void m2m.frontend.view.Editor.delete | ( | ) |
Definition at line 356 of file Editor.java.
void m2m.frontend.view.Editor.doSave | ( | IProgressMonitor | monitor | ) |
Definition at line 750 of file Editor.java.
void m2m.frontend.view.Editor.doSave | ( | ) |
Define save action.
Definition at line 549 of file Editor.java.
void m2m.frontend.view.Editor.doSaveAs | ( | ) |
Define "Save as..." action.
Definition at line 504 of file Editor.java.
String m2m.frontend.view.Editor.getFilePath | ( | ) |
Get the file path of the editor.
Definition at line 723 of file Editor.java.
File m2m.frontend.view.Editor.getInputFile | ( | ) |
M2MProject m2m.frontend.view.Editor.getM2MProject | ( | ) |
Get the M2MProject attribute of the editor.
Definition at line 627 of file Editor.java.
Model m2m.frontend.view.Editor.getModel | ( | ) |
Get the graphical model of the editor.
Definition at line 707 of file Editor.java.
boolean m2m.frontend.view.Editor.getParseDone | ( | ) |
Tells if the parsing has been done.
Definition at line 662 of file Editor.java.
Shell m2m.frontend.view.Editor.getShell | ( | ) |
Definition at line 104 of file Editor.java.
StyledText m2m.frontend.view.Editor.getStyledText | ( | ) |
Get the styled text of the editor.
Definition at line 715 of file Editor.java.
String m2m.frontend.view.Editor.getText | ( | ) |
Get the content of the editor.
Definition at line 652 of file Editor.java.
void m2m.frontend.view.Editor.init | ( | IEditorSite | site, |
IEditorInput | input | ||
) | throws PartInitException |
Initialisation of the editor.
Definition at line 587 of file Editor.java.
boolean m2m.frontend.view.Editor.isDirty | ( | ) |
Definition at line 614 of file Editor.java.
boolean m2m.frontend.view.Editor.isSaveAsAllowed | ( | ) |
Definition at line 619 of file Editor.java.
void m2m.frontend.view.Editor.paste | ( | ) |
Definition at line 348 of file Editor.java.
int m2m.frontend.view.Editor.promptToSaveOnClose | ( | ) |
Define promptToSaveOnClose action.
Definition at line 732 of file Editor.java.
void m2m.frontend.view.Editor.redo | ( | ) |
Definition at line 385 of file Editor.java.
void m2m.frontend.view.Editor.saveProject | ( | ) |
Save the project properties.
Definition at line 634 of file Editor.java.
void m2m.frontend.view.Editor.selectAll | ( | ) |
Definition at line 352 of file Editor.java.
void m2m.frontend.view.Editor.setFocus | ( | ) |
Definition at line 494 of file Editor.java.
void m2m.frontend.view.Editor.setModel | ( | Model | model | ) |
Set the graphical model of the editor.
model | the graphical model to the editor to set |
Definition at line 699 of file Editor.java.
void m2m.frontend.view.Editor.setModified | ( | boolean | modif | ) |
Definition at line 573 of file Editor.java.
void m2m.frontend.view.Editor.setOptimisationProperties | ( | OptimisationProperties | optimProp | ) |
Set optimisation properties.
optimProp | Optimisation properties. |
Definition at line 671 of file Editor.java.
void m2m.frontend.view.Editor.setParseDone | ( | boolean | bool | ) |
Update the boolean that tells if the parsing has been done.
bool | Value to set. |
Definition at line 688 of file Editor.java.
void m2m.frontend.view.Editor.setSimulationProperties | ( | SimulationProperties | simProp | ) |
Set simulation properties.
simProp | Simulation properties. |
Definition at line 679 of file Editor.java.
void m2m.frontend.view.Editor.uncomment | ( | ) |
Definition at line 466 of file Editor.java.
void m2m.frontend.view.Editor.undo | ( | ) |
Definition at line 362 of file Editor.java.
final String m2m.frontend.view.Editor.ID = "m2mgui.editor" [static] |
Definition at line 88 of file Editor.java.
final int m2m.frontend.view.Editor.UNDO_LIMIT = 200 [static, protected] |
Definition at line 89 of file Editor.java.