public class FileNamesUtil
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
FEI_EXT |
static java.lang.String |
FILES_FOLD |
static java.lang.String |
OCRA_FOLD |
static java.lang.String |
OSS_EXT |
static java.lang.String |
RES_FOLD |
static java.lang.String |
SMV_EXT |
static java.lang.String |
TEMP_FOLD |
static java.lang.String |
UML_EXT |
static java.lang.String |
XSAP_FOLD |
Constructor and Description |
---|
FileNamesUtil() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
computeContractCompositeImplementationFileName(org.eclipse.uml2.uml.Class systemComponent)
Computes the file name for the Composite Contract Implementation
analysis.
|
java.lang.String |
computeContractFaultTreeFileName(org.eclipse.uml2.uml.Class systemComponent)
Computes the file name for the Contract-based fault tree analysis.
|
java.lang.String |
computeContractPropertyValidationFileName(org.eclipse.uml2.uml.Class systemComponent)
Computes the file name for the Contract Property Validation analysis.
|
java.lang.String |
computeContractRefinementFileName(org.eclipse.uml2.uml.Class systemComponent)
Computes the file name for the Contract refinement analysis.
|
java.lang.String |
computeExpandedFeiFileName(org.eclipse.ui.IEditorPart editor,
java.lang.String modelSystemName)
Computes the absolute file name for the expanded FEI.
|
java.lang.String |
computeExtendedSmvFileName(org.eclipse.ui.IEditorPart editor,
java.lang.String modelSystemName)
Computes the absolute file name for the extended SMV.
|
java.lang.String |
computeFeiFileName(org.eclipse.ui.IEditorPart editor,
java.lang.String modelSystemName)
Computes the absolute file name of the FEI.
|
java.lang.String |
computeFileTargetFolder(org.eclipse.ui.IEditorPart editor)
Computes the target folder for files.
|
java.lang.String |
computeFmeaFileName(org.eclipse.ui.IEditorPart editor,
java.lang.String modelSystemName)
Computes the absolute file name for the FMEA table.
|
java.lang.String |
computeFmsFileName(org.eclipse.ui.IEditorPart editor,
java.lang.String modelSystemName)
Computes the absolute file name for the fms.
|
java.lang.String |
computeFtFileName(org.eclipse.ui.IEditorPart editor,
java.lang.String modelSystemName,
int index)
Computes the absolute file name for the fault tree.
|
java.lang.String |
computeModelCheckingFileName(org.eclipse.uml2.uml.Class systemComponent)
Computes the file name for the Model Checking analysis.
|
java.lang.String |
computePropertyValidationFileName(org.eclipse.uml2.uml.Class systemComponent)
Computes the file name for the Property Validation analysis.
|
java.lang.String |
computeSmvFileName(org.eclipse.ui.IEditorPart editor,
java.lang.String modelSystemName)
Computes the absolute file name of the SMV.
|
org.eclipse.core.resources.IFolder |
computeXSapFolder(org.eclipse.ui.IEditorPart editor)
Computes the folder for xSAP material.
|
static FileNamesUtil |
getInstance() |
public static final java.lang.String UML_EXT
public static final java.lang.String OSS_EXT
public static final java.lang.String SMV_EXT
public static final java.lang.String FEI_EXT
public static final java.lang.String OCRA_FOLD
public static final java.lang.String XSAP_FOLD
public static final java.lang.String RES_FOLD
public static final java.lang.String FILES_FOLD
public static final java.lang.String TEMP_FOLD
public static FileNamesUtil getInstance()
public org.eclipse.core.resources.IFolder computeXSapFolder(org.eclipse.ui.IEditorPart editor)
editor
- the active editorpublic java.lang.String computeFtFileName(org.eclipse.ui.IEditorPart editor, java.lang.String modelSystemName, int index)
editor
- the active editormodelSystemName
- the model nameindex
- an index to differentiate the generated filepublic java.lang.String computeFmeaFileName(org.eclipse.ui.IEditorPart editor, java.lang.String modelSystemName)
editor
- the active editormodelSystemName
- the model namepublic java.lang.String computeExtendedSmvFileName(org.eclipse.ui.IEditorPart editor, java.lang.String modelSystemName)
editor
- the active editormodelSystemName
- the model namepublic java.lang.String computeExpandedFeiFileName(org.eclipse.ui.IEditorPart editor, java.lang.String modelSystemName)
editor
- the active editormodelSystemName
- the model namepublic java.lang.String computeFmsFileName(org.eclipse.ui.IEditorPart editor, java.lang.String modelSystemName)
editor
- the active editormodelSystemName
- the model namepublic java.lang.String computeFileTargetFolder(org.eclipse.ui.IEditorPart editor)
editor
- the active editorpublic java.lang.String computeSmvFileName(org.eclipse.ui.IEditorPart editor, java.lang.String modelSystemName)
editor
- the active editormodelSystemName
- the model namepublic java.lang.String computeFeiFileName(org.eclipse.ui.IEditorPart editor, java.lang.String modelSystemName)
editor
- the active editormodelSystemName
- the model namepublic java.lang.String computeContractFaultTreeFileName(org.eclipse.uml2.uml.Class systemComponent)
systemComponent
- the root component of the analysispublic java.lang.String computeContractRefinementFileName(org.eclipse.uml2.uml.Class systemComponent)
systemComponent
- the root component of the analysispublic java.lang.String computeContractCompositeImplementationFileName(org.eclipse.uml2.uml.Class systemComponent)
systemComponent
- the root component of the analysispublic java.lang.String computePropertyValidationFileName(org.eclipse.uml2.uml.Class systemComponent)
systemComponent
- the root component of the analysispublic java.lang.String computeContractPropertyValidationFileName(org.eclipse.uml2.uml.Class systemComponent)
systemComponent
- the root component of the analysispublic java.lang.String computeModelCheckingFileName(org.eclipse.uml2.uml.Class systemComponent)
systemComponent
- the root component of the analysis