public class CompilationUtils
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ERROR_ABSTRACTION |
static java.lang.String |
ERROR_BOOLEAN_TO_EVENTS |
static java.lang.String |
ERROR_BOOLEANIZING |
static java.lang.String |
ERROR_C_GENERATION |
static java.lang.String |
ERROR_CLOCK_ANALYSIS_ARRAYS_ITERATE |
static java.lang.String |
ERROR_CLOCK_CALCULUS |
static java.lang.String |
ERROR_CODE_GENERATION |
static java.lang.String |
ERROR_CPP_GENERATION |
static java.lang.String |
ERROR_CYCLE_DETECTION |
static java.lang.String |
ERROR_DELAY_TREE_GENERATION |
static java.lang.String |
ERROR_EVENTS_TO_BOOLEANS |
static java.lang.String |
ERROR_EVENTS_TO_BOOLEANS_BOOLEANIZING |
static java.lang.String |
ERROR_FILE_EXTENSION |
static java.lang.String |
ERROR_FLATTENING |
static java.lang.String |
ERROR_GENERATION |
static java.lang.String |
ERROR_GRAPH |
static java.lang.String |
ERROR_INVALID_MODEL |
static java.lang.String |
ERROR_JAVA_GENERATION |
static java.lang.String |
ERROR_LUSTRE_GENERATION |
static java.lang.String |
ERROR_MORE_THAN_ONE_ROOT_ELEMENT |
static java.lang.String |
ERROR_NO_FILE_SELECTED |
static java.lang.String |
ERROR_NO_ROOT_MODEL |
static java.lang.String |
ERROR_NO_SCENARIO_SELECTED |
static java.lang.String |
ERROR_NOT_IMPLEMENTED |
static java.lang.String |
ERROR_PROFILING |
static java.lang.String |
ERROR_RETIMING |
static java.lang.String |
ERROR_SCENARIO |
static java.lang.String |
ERROR_SEQUENTIALIZING |
static java.lang.String |
ERROR_SIGALI_GENERATION |
static java.lang.String |
ERROR_SIGNAL_ABSTRACTION_GENERATION |
static java.lang.String |
ERROR_SIGNAL_GENERATION |
static java.lang.String |
ERROR_SIGNAL_MODEL_GENERATION |
static java.lang.String |
ERROR_SIGNAL_UNIFICATION |
static java.lang.String |
ERROR_SIGNALTOOLBOX_NOT_LOADED |
static java.lang.String |
ERROR_SYNDEX_GENERATION |
static java.lang.String |
ERROR_TREE |
static java.lang.String |
EXTENSION_SIGNAL_EMF_MODEL |
static java.lang.String |
EXTENSION_SIGNAL_TEXTUAL_FILE |
static java.lang.String |
INFO_SIGNALTOOLBOX_NOT_LOADED |
static java.lang.String |
INFO_WAITED_VERSION |
static java.lang.String |
WARNING_CLUSTERING_TEXT |
static java.lang.String |
WARNING_CLUSTERING_TITLE |
static java.lang.String |
WARNING_SEQUENTIALIZING_TEXT |
static java.lang.String |
WARNING_SEQUENTIALIZING_TITLE |
Constructor and Description |
---|
CompilationUtils() |
Modifier and Type | Method and Description |
---|---|
void |
addPathSignalLibraryPath(org.eclipse.core.runtime.IPath dir)
This method adds the given path to the Signal Library Path
|
Scenario |
checkFile(java.io.File file)
This method returns the Scenario contained in a file
|
java.lang.String |
getPluginPath(java.lang.String pluginName)
With this method, we obtain the path of the workspace of a given plugin.
|
java.util.List<org.eclipse.core.resources.IResource> |
getResources() |
java.lang.String |
getSaveLibraryPath() |
void |
printBanner()
Method displaying the version information
|
void |
refreshContent()
This method refreshes the contents of the resources List.
|
void |
refreshErrors(org.eclipse.core.resources.IFile file)
This method refreshes errors on a selected file
|
void |
setResources(java.util.List<org.eclipse.core.resources.IResource> resources) |
void |
setSaveLibraryPath(java.lang.String saveLibraryPath) |
boolean |
validModel(org.eclipse.emf.ecore.resource.Resource resource)
Validate a model through EMF
|
public static final java.lang.String EXTENSION_SIGNAL_EMF_MODEL
public static final java.lang.String EXTENSION_SIGNAL_TEXTUAL_FILE
public static final java.lang.String ERROR_SIGNALTOOLBOX_NOT_LOADED
public static final java.lang.String ERROR_GENERATION
public static final java.lang.String ERROR_SCENARIO
public static final java.lang.String ERROR_CODE_GENERATION
public static final java.lang.String ERROR_NO_FILE_SELECTED
public static final java.lang.String ERROR_NO_SCENARIO_SELECTED
public static final java.lang.String ERROR_FILE_EXTENSION
public static final java.lang.String ERROR_MORE_THAN_ONE_ROOT_ELEMENT
public static final java.lang.String ERROR_NO_ROOT_MODEL
public static final java.lang.String ERROR_INVALID_MODEL
public static final java.lang.String ERROR_TREE
public static final java.lang.String ERROR_GRAPH
public static final java.lang.String ERROR_NOT_IMPLEMENTED
public static final java.lang.String ERROR_ABSTRACTION
public static final java.lang.String ERROR_BOOLEAN_TO_EVENTS
public static final java.lang.String ERROR_CLOCK_CALCULUS
public static final java.lang.String ERROR_BOOLEANIZING
public static final java.lang.String ERROR_CYCLE_DETECTION
public static final java.lang.String ERROR_EVENTS_TO_BOOLEANS
public static final java.lang.String ERROR_FLATTENING
public static final java.lang.String ERROR_RETIMING
public static final java.lang.String ERROR_SEQUENTIALIZING
public static final java.lang.String ERROR_SIGNAL_UNIFICATION
public static final java.lang.String ERROR_C_GENERATION
public static final java.lang.String ERROR_CPP_GENERATION
public static final java.lang.String ERROR_JAVA_GENERATION
public static final java.lang.String ERROR_LUSTRE_GENERATION
public static final java.lang.String ERROR_PROFILING
public static final java.lang.String ERROR_SIGALI_GENERATION
public static final java.lang.String ERROR_SIGNAL_GENERATION
public static final java.lang.String ERROR_SIGNAL_ABSTRACTION_GENERATION
public static final java.lang.String ERROR_SIGNAL_MODEL_GENERATION
public static final java.lang.String ERROR_SYNDEX_GENERATION
public static final java.lang.String ERROR_DELAY_TREE_GENERATION
public static final java.lang.String ERROR_EVENTS_TO_BOOLEANS_BOOLEANIZING
public static final java.lang.String ERROR_CLOCK_ANALYSIS_ARRAYS_ITERATE
public static final java.lang.String WARNING_CLUSTERING_TITLE
public static final java.lang.String WARNING_CLUSTERING_TEXT
public static final java.lang.String WARNING_SEQUENTIALIZING_TITLE
public static final java.lang.String WARNING_SEQUENTIALIZING_TEXT
public static final java.lang.String INFO_WAITED_VERSION
public static final java.lang.String INFO_SIGNALTOOLBOX_NOT_LOADED
public java.lang.String getSaveLibraryPath()
public void setSaveLibraryPath(java.lang.String saveLibraryPath)
public java.util.List<org.eclipse.core.resources.IResource> getResources()
public void setResources(java.util.List<org.eclipse.core.resources.IResource> resources)
public void refreshContent()
public void refreshErrors(org.eclipse.core.resources.IFile file)
file
- the file whose compilation has failedpublic Scenario checkFile(java.io.File file)
file
- the file containing the scenariopublic java.lang.String getPluginPath(java.lang.String pluginName)
pluginName
- the name of the plugin whose path we wantpublic void addPathSignalLibraryPath(org.eclipse.core.runtime.IPath dir)
dir
- the path to addpublic boolean validModel(org.eclipse.emf.ecore.resource.Resource resource)
resource
- the resource to validatepublic void printBanner()