public class ChessSystemModel
extends java.lang.Object
implements eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
Constructor and Description |
---|
ChessSystemModel() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<?> |
getAllCallEvent(java.lang.Object block) |
java.lang.String |
getAnalysisContextName(java.lang.Object ctx) |
java.lang.String |
getAssertionQualifiedName(java.lang.Object formalProperty) |
java.lang.Object |
getAttributeBlockType(java.lang.String attributeName,
java.lang.Object block) |
org.eclipse.emf.common.util.EList<java.lang.String> |
getAttributesNames(java.lang.Object component) |
java.lang.Object |
getAttributeType(java.lang.Object attribute) |
java.lang.Object |
getAttributeType(java.lang.String attributeName,
java.lang.Object block) |
org.eclipse.emf.common.util.EList<?> |
getBlockTypeAttributes(java.lang.Object component) |
java.lang.String |
getCallEventName(java.lang.Object callEvent) |
java.lang.Object |
getCallEventOperation(java.lang.Object callEvent) |
java.lang.String |
getCallEventOperationName(java.lang.Object callEvent) |
java.lang.Object |
getCallEventParameterType(java.lang.String paramterName,
java.lang.Object callEvent) |
java.lang.String[] |
getComponentInstanceMultiplicityBoundaries(java.lang.Object component) |
java.lang.String |
getComponentInstanceName(java.lang.Object component) |
java.lang.Object |
getComponentInstanceOfContractRefinement(java.lang.Object contractRefinement) |
java.lang.String[] |
getComponentInstanceRangeOfContractRefinement(java.lang.Object contractRefinement) |
java.lang.String |
getComponentInstanceTypeName(java.lang.Object component) |
java.lang.String |
getComponentName(java.lang.Object component) |
java.lang.String |
getComponentQualifiedName(java.lang.Object component) |
java.lang.Object |
getComponentType(java.lang.Object component) |
java.lang.String |
getComponentTypeName(java.lang.Object component) |
org.eclipse.emf.common.util.EList<org.eclipse.uml2.uml.Connector> |
getConnectionsPorts(java.lang.Object component) |
java.lang.String |
getConnectorEndName(java.lang.Object connector) |
java.lang.Object |
getConnectorEndOwner(java.lang.Object connectorEnd) |
java.lang.Object |
getConnectorSource(java.lang.Object connection) |
java.lang.Object |
getConnectorTarget(java.lang.Object connection) |
java.lang.String |
getConstraintQualifiedName(java.lang.Object constraint) |
java.lang.Object |
getContract(java.lang.Object component,
java.lang.String contractName) |
java.lang.String |
getContractDefinitionsText(java.lang.Object component) |
java.lang.String |
getContractInstanceName(java.lang.Object contractProperty) |
java.lang.Object |
getContractInstanceOfContractRefinement(java.lang.Object contractRefinement) |
java.lang.String |
getContractQualifiedName(java.lang.Object contract) |
java.lang.String |
getContractRefinementName(java.lang.Object contractRefinement) |
org.eclipse.emf.common.util.EList<org.polarsys.chess.contracts.profile.chesscontract.ContractRefinement> |
getContractRefinements(java.lang.Object parentContract) |
org.eclipse.emf.common.util.EList<?> |
getContractsOfComponent(java.lang.Object component) |
java.lang.String |
getDefineBody(java.lang.Object define,
java.lang.String language) |
java.lang.String |
getDefineName(java.lang.Object define) |
org.eclipse.emf.common.util.EList<?> |
getDefines(java.lang.Object component) |
org.eclipse.emf.common.util.EList<java.lang.String> |
getEnumValues(java.lang.Object component) |
org.eclipse.emf.common.util.EList<java.lang.String> |
getEnumValuesFromAttributes(java.lang.Object component) |
org.eclipse.emf.common.util.EList<org.eclipse.uml2.uml.Constraint> |
getFormulaConstraints(java.lang.Object component) |
java.lang.String |
getFormulaConstraintText(java.lang.Object formulaConstraint) |
static ChessSystemModel |
getInstance() |
java.lang.String |
getInstantiatedArchitectureConfigurationName(java.lang.Object instantiatedArchitectureConfiguration) |
java.lang.String |
getInterfaceAssertionBody(java.lang.Object interfaceAssertion,
java.lang.String language) |
java.lang.String |
getInterfaceAssertionName(java.lang.Object interfaceAssertion) |
org.eclipse.emf.common.util.EList<?> |
getInterfaceAssertions(java.lang.Object component) |
java.lang.String |
getLocalAttributeName(java.lang.Object attribute) |
org.eclipse.emf.common.util.EList<?> |
getLocalAttributes(java.lang.Object component) |
java.lang.String |
getLocalAttributeType(java.lang.Object attribute) |
java.lang.String |
getLocalAttributeVisibility(java.lang.Object blockTypeAttribute) |
java.lang.String[] |
getLowerUpperBoundsForRangeType(java.lang.Object rangeType) |
java.lang.String |
getModelCheckingAnalysisContextProperty(java.lang.Object ctx) |
java.lang.String |
getModelCheckingAnalysisContextType(java.lang.Object ctx) |
java.lang.String |
getName(java.lang.Object element) |
java.lang.Object |
getNearestOwnerComponent(java.lang.Object element) |
org.eclipse.emf.common.util.EList<org.eclipse.uml2.uml.Port> |
getNonStaticGenericPorts(java.lang.Object component) |
org.eclipse.emf.common.util.EList<org.eclipse.uml2.uml.Port> |
getNonStaticInputPorts(java.lang.Object component) |
org.eclipse.emf.common.util.EList<org.eclipse.uml2.uml.Port> |
getNonStaticOutputPorts(java.lang.Object component) |
org.eclipse.emf.common.util.EList<?> |
getNonStaticPorts(java.lang.Object component) |
java.lang.String |
getOperationBody(java.lang.Object operation,
java.lang.String language) |
org.eclipse.emf.common.util.EList<?> |
getOperationInputTypes(java.lang.Object operation) |
java.lang.String |
getOperationName(java.lang.Object operation) |
java.lang.Object |
getOperationOutputType(java.lang.Object operation) |
java.lang.Object |
getOperationReturnType(java.lang.String operationName,
java.lang.Object block) |
org.eclipse.emf.common.util.EList<?> |
getOperations(java.lang.Object component) |
org.eclipse.emf.common.util.EList<java.lang.String> |
getOperationsNames(java.lang.Object component) |
java.lang.String |
getOwnerName(java.lang.Object element) |
org.eclipse.emf.common.util.EList<?> |
getParameterAssumptions(java.lang.Object component) |
java.lang.String |
getParameterAssumptionsBody(java.lang.Object parameterAssumption,
java.lang.String language) |
org.eclipse.emf.common.util.EList<java.lang.String> |
getParametersListFromInstantiatedArchitectureConfiguration(java.lang.Object instantiatedArchitectureConfiguration) |
java.lang.Object |
getParameterType(int paramIndex,
java.lang.String methodName,
java.lang.Object retrieveBlockType) |
java.lang.Object |
getParameterType(java.lang.String paramName,
java.lang.String methodName,
java.lang.Object retrieveBlockType) |
java.lang.String[] |
getPortMultiplicityBoundaries(java.lang.Object port) |
java.lang.String |
getPortName(java.lang.Object port) |
java.lang.Object |
getPortType(java.lang.Object attribute) |
java.lang.String |
getPortTypeAsStringName(java.lang.Object activePackage,
java.lang.String componentName,
java.lang.String portName)
Returns the type of the given port, as string.
|
java.lang.String |
getQualifiedName(java.lang.Object element) |
java.lang.String |
getRefinementAssertionBody(java.lang.Object refinementAssertion,
java.lang.String language) |
java.lang.String |
getRefinementAssertionName(java.lang.Object refinementAssertion) |
org.eclipse.emf.common.util.EList<?> |
getRefinementAssertions(java.lang.Object component) |
org.eclipse.emf.common.util.EList<?> |
getStaticPorts(java.lang.Object component) |
java.lang.Object |
getSubComponent(java.lang.Object component,
java.lang.String subCompName) |
org.eclipse.emf.common.util.EList<org.eclipse.uml2.uml.Property> |
getSubComponentsInstances(java.lang.Object component) |
java.lang.String[] |
getSubComponentsName(java.lang.Object component) |
org.eclipse.emf.common.util.EList<java.lang.String[]> |
getUninterpretedFunctionInputMultiplicities(java.lang.Object uninterpretedFunction) |
org.eclipse.emf.common.util.EList<?> |
getUninterpretedFunctionInputTypes(java.lang.Object uninterpretedFunction) |
java.lang.String |
getUninterpretedFunctionName(java.lang.Object function) |
java.lang.String[] |
getUninterpretedFunctionOutputMultiplicity(java.lang.Object uninterpretedFunction) |
java.lang.Object |
getUninterpretedFunctionOutputType(java.lang.Object uninterpretedFunction) |
org.eclipse.emf.common.util.EList<?> |
getUninterpretedFunctions(java.lang.Object component) |
java.lang.String |
getValidationPropertyAnalysisContextComponent(java.lang.Object ctx) |
java.lang.String |
getValidationPropertyAnalysisContextExpression(java.lang.Object ctx) |
java.lang.String[] |
getValidationPropertyAnalysisContextSelectedProperties(java.lang.Object ctx) |
java.lang.String |
getValidationPropertyAnalysisContextType(java.lang.Object ctx) |
java.lang.String[] |
getValuesForEnumeratorType(java.lang.Object enumTypePort) |
boolean |
isAssertion(java.lang.Object constraint) |
boolean |
isAttribute(java.lang.String attributeName,
java.lang.Object block) |
boolean |
isBlockType(java.lang.Object type) |
boolean |
isBlockTypeAttribute(java.lang.String attributeName,
java.lang.Object blockAsClass) |
boolean |
isBooleanType(java.lang.Object type) |
boolean |
isCallEvent(java.lang.Object element) |
boolean |
isCommandOperation(java.lang.String methodName,
java.lang.Object block) |
boolean |
isContinuousType(java.lang.Object type) |
boolean |
isContractInstanceOwnerEqualToComponent(java.lang.Object contract,
java.lang.Object component) |
boolean |
isDefine(java.lang.Object element) |
boolean |
isEnumType(java.lang.Object type) |
boolean |
isEnumValue(java.lang.String name,
java.lang.Object enumType) |
boolean |
isEventType(java.lang.Object type) |
boolean |
isInOutPort(java.lang.Object port) |
boolean |
isInputPort(java.lang.Object port) |
boolean |
isInterfaceAssertion(java.lang.Object constraint) |
boolean |
isIntType(java.lang.Object type) |
boolean |
isNumberType(java.lang.Object type) |
boolean |
isOperation(java.lang.String operationName,
java.lang.Object block) |
boolean |
isOutputPort(java.lang.Object port) |
boolean |
isParameterAssumptions(java.lang.Object element) |
boolean |
isRangeType(java.lang.Object type) |
boolean |
isRealType(java.lang.Object type) |
boolean |
isRefinementAssertion(java.lang.Object formalProperty) |
boolean |
isWordType(java.lang.Object type) |
public static ChessSystemModel getInstance()
public java.lang.String[] getLowerUpperBoundsForRangeType(java.lang.Object rangeType)
getLowerUpperBoundsForRangeType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String[] getValuesForEnumeratorType(java.lang.Object enumTypePort)
getValuesForEnumeratorType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getComponentTypeName(java.lang.Object component)
getComponentTypeName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isRangeType(java.lang.Object type)
isRangeType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<?> getContractsOfComponent(java.lang.Object component)
getContractsOfComponent
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getComponentInstanceTypeName(java.lang.Object component)
getComponentInstanceTypeName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getPortName(java.lang.Object port)
getPortName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getConnectorEndName(java.lang.Object connector)
getConnectorEndName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getContractDefinitionsText(java.lang.Object component) throws java.lang.Exception
getContractDefinitionsText
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
java.lang.Exception
public java.lang.String getFormulaConstraintText(java.lang.Object formulaConstraint)
getFormulaConstraintText
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<org.eclipse.uml2.uml.Constraint> getFormulaConstraints(java.lang.Object component)
getFormulaConstraints
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<org.eclipse.uml2.uml.Port> getNonStaticInputPorts(java.lang.Object component)
getNonStaticInputPorts
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<?> getNonStaticPorts(java.lang.Object component)
getNonStaticPorts
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getUninterpretedFunctionName(java.lang.Object function)
getUninterpretedFunctionName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<org.eclipse.uml2.uml.Port> getNonStaticOutputPorts(java.lang.Object component)
getNonStaticOutputPorts
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<org.eclipse.uml2.uml.Port> getNonStaticGenericPorts(java.lang.Object component)
getNonStaticGenericPorts
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getConnectorSource(java.lang.Object connection) throws java.lang.Exception
getConnectorSource
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
java.lang.Exception
public java.lang.Object getConnectorTarget(java.lang.Object connection) throws java.lang.Exception
getConnectorTarget
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
java.lang.Exception
public org.eclipse.emf.common.util.EList<org.eclipse.uml2.uml.Connector> getConnectionsPorts(java.lang.Object component)
getConnectionsPorts
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getConnectorEndOwner(java.lang.Object connectorEnd)
getConnectorEndOwner
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getComponentInstanceName(java.lang.Object component)
getComponentInstanceName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getContract(java.lang.Object component, java.lang.String contractName)
getContract
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getContractInstanceName(java.lang.Object contractProperty) throws java.lang.Exception
getContractInstanceName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
java.lang.Exception
public java.lang.String getComponentName(java.lang.Object component)
getComponentName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getComponentType(java.lang.Object component)
getComponentType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getContractQualifiedName(java.lang.Object contract)
getContractQualifiedName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<org.polarsys.chess.contracts.profile.chesscontract.ContractRefinement> getContractRefinements(java.lang.Object parentContract)
getContractRefinements
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getContractRefinementName(java.lang.Object contractRefinement)
getContractRefinementName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getComponentInstanceOfContractRefinement(java.lang.Object contractRefinement)
getComponentInstanceOfContractRefinement
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getContractInstanceOfContractRefinement(java.lang.Object contractRefinement)
getContractInstanceOfContractRefinement
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<org.eclipse.uml2.uml.Property> getSubComponentsInstances(java.lang.Object component)
getSubComponentsInstances
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isContractInstanceOwnerEqualToComponent(java.lang.Object contract, java.lang.Object component)
isContractInstanceOwnerEqualToComponent
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getOwnerName(java.lang.Object element)
getOwnerName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isInputPort(java.lang.Object port)
isInputPort
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isOutputPort(java.lang.Object port)
isOutputPort
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isInOutPort(java.lang.Object port)
isInOutPort
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getConstraintQualifiedName(java.lang.Object constraint)
getConstraintQualifiedName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getComponentQualifiedName(java.lang.Object component)
getComponentQualifiedName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<?> getStaticPorts(java.lang.Object component)
getStaticPorts
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getInterfaceAssertionBody(java.lang.Object interfaceAssertion, java.lang.String language)
getInterfaceAssertionBody
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<?> getInterfaceAssertions(java.lang.Object component)
getInterfaceAssertions
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getInterfaceAssertionName(java.lang.Object interfaceAssertion)
getInterfaceAssertionName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getRefinementAssertionName(java.lang.Object refinementAssertion)
getRefinementAssertionName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getRefinementAssertionBody(java.lang.Object refinementAssertion, java.lang.String language)
getRefinementAssertionBody
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<?> getRefinementAssertions(java.lang.Object component)
getRefinementAssertions
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getAssertionQualifiedName(java.lang.Object formalProperty)
getAssertionQualifiedName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getDefineName(java.lang.Object define)
getDefineName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getDefineBody(java.lang.Object define, java.lang.String language)
getDefineBody
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isAssertion(java.lang.Object constraint)
isAssertion
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isInterfaceAssertion(java.lang.Object constraint)
isInterfaceAssertion
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<java.lang.String> getEnumValues(java.lang.Object component)
getEnumValues
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<?> getDefines(java.lang.Object component)
getDefines
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isDefine(java.lang.Object element)
isDefine
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getNearestOwnerComponent(java.lang.Object element)
getNearestOwnerComponent
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String[] getSubComponentsName(java.lang.Object component)
getSubComponentsName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getSubComponent(java.lang.Object component, java.lang.String subCompName)
getSubComponent
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<?> getUninterpretedFunctions(java.lang.Object component)
getUninterpretedFunctions
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<java.lang.String> getEnumValuesFromAttributes(java.lang.Object component)
getEnumValuesFromAttributes
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getPortType(java.lang.Object attribute)
getPortType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isBooleanType(java.lang.Object type)
isBooleanType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isContinuousType(java.lang.Object type)
isContinuousType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isEnumType(java.lang.Object type)
isEnumType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isEventType(java.lang.Object type)
isEventType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isIntType(java.lang.Object type)
isIntType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isNumberType(java.lang.Object type)
isNumberType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isRealType(java.lang.Object type)
isRealType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isWordType(java.lang.Object type)
isWordType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getUninterpretedFunctionOutputType(java.lang.Object uninterpretedFunction)
getUninterpretedFunctionOutputType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<?> getUninterpretedFunctionInputTypes(java.lang.Object uninterpretedFunction)
getUninterpretedFunctionInputTypes
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isRefinementAssertion(java.lang.Object formalProperty)
isRefinementAssertion
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String[] getComponentInstanceMultiplicityBoundaries(java.lang.Object component) throws java.lang.Exception
getComponentInstanceMultiplicityBoundaries
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
java.lang.Exception
public java.lang.String[] getPortMultiplicityBoundaries(java.lang.Object port)
getPortMultiplicityBoundaries
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getPortTypeAsStringName(java.lang.Object activePackage, java.lang.String componentName, java.lang.String portName)
getPortTypeAsStringName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<?> getParameterAssumptions(java.lang.Object component)
getParameterAssumptions
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getParameterAssumptionsBody(java.lang.Object parameterAssumption, java.lang.String language)
getParameterAssumptionsBody
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isParameterAssumptions(java.lang.Object element)
isParameterAssumptions
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String[] getUninterpretedFunctionOutputMultiplicity(java.lang.Object uninterpretedFunction)
getUninterpretedFunctionOutputMultiplicity
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<java.lang.String[]> getUninterpretedFunctionInputMultiplicities(java.lang.Object uninterpretedFunction)
getUninterpretedFunctionInputMultiplicities
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String[] getComponentInstanceRangeOfContractRefinement(java.lang.Object contractRefinement)
getComponentInstanceRangeOfContractRefinement
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<?> getLocalAttributes(java.lang.Object component)
getLocalAttributes
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getLocalAttributeName(java.lang.Object attribute)
getLocalAttributeName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getLocalAttributeType(java.lang.Object attribute)
getLocalAttributeType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getAnalysisContextName(java.lang.Object ctx)
getAnalysisContextName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getModelCheckingAnalysisContextType(java.lang.Object ctx)
getModelCheckingAnalysisContextType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getModelCheckingAnalysisContextProperty(java.lang.Object ctx)
getModelCheckingAnalysisContextProperty
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getValidationPropertyAnalysisContextType(java.lang.Object ctx)
getValidationPropertyAnalysisContextType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getValidationPropertyAnalysisContextExpression(java.lang.Object ctx)
getValidationPropertyAnalysisContextExpression
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getValidationPropertyAnalysisContextComponent(java.lang.Object ctx)
getValidationPropertyAnalysisContextComponent
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String[] getValidationPropertyAnalysisContextSelectedProperties(java.lang.Object ctx)
getValidationPropertyAnalysisContextSelectedProperties
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getInstantiatedArchitectureConfigurationName(java.lang.Object instantiatedArchitectureConfiguration)
getInstantiatedArchitectureConfigurationName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<java.lang.String> getParametersListFromInstantiatedArchitectureConfiguration(java.lang.Object instantiatedArchitectureConfiguration)
getParametersListFromInstantiatedArchitectureConfiguration
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<?> getOperations(java.lang.Object component)
getOperations
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getOperationName(java.lang.Object operation)
getOperationName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getOperationOutputType(java.lang.Object operation)
getOperationOutputType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<?> getOperationInputTypes(java.lang.Object operation)
getOperationInputTypes
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getOperationBody(java.lang.Object operation, java.lang.String language)
getOperationBody
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<?> getBlockTypeAttributes(java.lang.Object component)
getBlockTypeAttributes
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getLocalAttributeVisibility(java.lang.Object blockTypeAttribute)
getLocalAttributeVisibility
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getAttributeType(java.lang.Object attribute)
getAttributeType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isBlockTypeAttribute(java.lang.String attributeName, java.lang.Object blockAsClass)
isBlockTypeAttribute
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isBlockType(java.lang.Object type)
public java.lang.Object getAttributeBlockType(java.lang.String attributeName, java.lang.Object block)
getAttributeBlockType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getAttributeType(java.lang.String attributeName, java.lang.Object block)
getAttributeType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isCommandOperation(java.lang.String methodName, java.lang.Object block)
isCommandOperation
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isAttribute(java.lang.String attributeName, java.lang.Object block)
isAttribute
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isOperation(java.lang.String operationName, java.lang.Object block)
isOperation
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isEnumValue(java.lang.String name, java.lang.Object enumType)
isEnumValue
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getQualifiedName(java.lang.Object element)
getQualifiedName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getOperationReturnType(java.lang.String operationName, java.lang.Object block)
getOperationReturnType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getParameterType(int paramIndex, java.lang.String methodName, java.lang.Object retrieveBlockType)
getParameterType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getCallEventOperationName(java.lang.Object callEvent) throws java.lang.Exception
getCallEventOperationName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
java.lang.Exception
public java.lang.String getCallEventName(java.lang.Object callEvent)
getCallEventName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.util.Collection<?> getAllCallEvent(java.lang.Object block)
getAllCallEvent
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.String getName(java.lang.Object element)
getName
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<java.lang.String> getOperationsNames(java.lang.Object component)
getOperationsNames
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public org.eclipse.emf.common.util.EList<java.lang.String> getAttributesNames(java.lang.Object component)
getAttributesNames
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public boolean isCallEvent(java.lang.Object element)
isCallEvent
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getCallEventParameterType(java.lang.String paramterName, java.lang.Object callEvent)
getCallEventParameterType
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
public java.lang.Object getCallEventOperation(java.lang.Object callEvent) throws java.lang.Exception
getCallEventOperation
in interface eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel
java.lang.Exception
public java.lang.Object getParameterType(java.lang.String paramName, java.lang.String methodName, java.lang.Object retrieveBlockType)