|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.core.runtime.Plugin
org.eclipse.ui.plugin.AbstractUIPlugin
de.cau.cs.kieler.sim.validator.ValidatorPlugin
public class ValidatorPlugin
The activator class controls the plug-in life cycle.
Field Summary | |
---|---|
static String |
PLUGIN_ID
The Constant PLUGIN_ID. |
Fields inherited from class org.eclipse.core.runtime.Plugin |
---|
PLUGIN_PREFERENCE_SCOPE, PREFERENCES_DEFAULT_OVERRIDE_BASE_NAME, PREFERENCES_DEFAULT_OVERRIDE_FILE_NAME |
Constructor Summary | |
---|---|
ValidatorPlugin()
The constructor of the validator plugin. |
Method Summary | |
---|---|
static boolean |
existsInputFileWithExtension(String extension,
int fileIndex)
Exists input file with extension. |
static ValidatorPlugin |
getDefault()
Returns the shared instance. |
static org.eclipse.gmf.runtime.diagram.ui.parts.DiagramEditor |
getEditor(String kiemEditorProperty)
Gets the editor. |
static String |
getEditorProperty()
Gets the reditorProperty. |
static org.eclipse.gmf.runtime.diagram.ui.parts.DiagramEditor |
getInputEditor()
|
static String |
getInputModel()
Gets the input model. |
static EObject |
getInputModelEObject(org.eclipse.gmf.runtime.diagram.ui.parts.DiagramEditor diagramEditor)
Gets the input model e object. |
static ResourceSet |
getInputResourceSet()
Gets the input resource set. |
static boolean |
getTrainingModeProperty()
Gets the training mode property. |
static boolean |
isAsked()
Checks whether asked is true. |
static InputStream |
openInputFile(String fileString)
Open input file. |
static InputStream |
openInputFileWithExtension(String extension,
int fileIndex)
Open input file with extension. |
static OutputStream |
openOutputFile(String fileString)
Open output file. |
static OutputStream |
openOutputFileWithExtension(String extension)
|
static KiemProperty[] |
provideProperties()
Provide properties. |
static void |
setAsked(boolean askedParam)
Sets the asked. |
static void |
setEditorProperty(String editorPropertyParam)
Sets the editor property. |
static void |
setTrainingModeProperty(boolean trainingModeParam)
Sets the training mode property. |
static JSONObject |
sort(JSONObject jSONObject)
Sort. |
void |
start(org.osgi.framework.BundleContext context)
|
void |
stop(org.osgi.framework.BundleContext context)
|
Methods inherited from class org.eclipse.ui.plugin.AbstractUIPlugin |
---|
createImageRegistry, getDialogSettings, getImageRegistry, getPreferenceStore, getWorkbench, imageDescriptorFromPlugin, initializeDefaultPluginPreferences, initializeDefaultPreferences, initializeImageRegistry, loadDialogSettings, loadPreferenceStore, refreshPluginActions, saveDialogSettings, savePreferenceStore, shutdown, startup |
Methods inherited from class org.eclipse.core.runtime.Plugin |
---|
find, find, getBundle, getDescriptor, getLog, getPluginPreferences, getStateLocation, internalInitializeDefaultPluginPreferences, isDebugging, openStream, openStream, savePluginPreferences, setDebugging, toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final String PLUGIN_ID
Constructor Detail |
---|
public ValidatorPlugin()
Method Detail |
---|
public static boolean isAsked()
public static void setAsked(boolean askedParam)
askedParam
- the new askedpublic static String getEditorProperty()
public static void setEditorProperty(String editorPropertyParam)
editorPropertyParam
- the new editor propertypublic static boolean getTrainingModeProperty()
public static void setTrainingModeProperty(boolean trainingModeParam)
trainingModeParam
- the new training mode propertypublic void start(org.osgi.framework.BundleContext context) throws Exception
start
in interface org.osgi.framework.BundleActivator
start
in class AbstractUIPlugin
Exception
public void stop(org.osgi.framework.BundleContext context) throws Exception
stop
in interface org.osgi.framework.BundleActivator
stop
in class AbstractUIPlugin
Exception
public static ValidatorPlugin getDefault()
public static KiemProperty[] provideProperties()
public static org.eclipse.gmf.runtime.diagram.ui.parts.DiagramEditor getInputEditor()
public static String getInputModel()
public static EObject getInputModelEObject(org.eclipse.gmf.runtime.diagram.ui.parts.DiagramEditor diagramEditor)
diagramEditor
- the diagram editor
public static ResourceSet getInputResourceSet()
public static org.eclipse.gmf.runtime.diagram.ui.parts.DiagramEditor getEditor(String kiemEditorProperty)
kiemEditorProperty
- the kiem editor property
public static InputStream openInputFile(String fileString) throws IOException
fileString
- the file string
IOException
- Signals that an I/O exception has occurred.public static OutputStream openOutputFile(String fileString) throws IOException
fileString
- the file string
IOException
- Signals that an I/O exception has occurred.public static OutputStream openOutputFileWithExtension(String extension)
public static boolean existsInputFileWithExtension(String extension, int fileIndex)
extension
- the extensionfileIndex
- the file index
public static InputStream openInputFileWithExtension(String extension, int fileIndex)
extension
- the extensionfileIndex
- the file index
public static JSONObject sort(JSONObject jSONObject)
jSONObject
- the j son object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |