Constant Field Values

Contents

org.palladiosimulator.*

  • org.palladiosimulator.dataflow.confidentiality.pcm.model.characterizedActions.util.CharacterizedActionsValidator 
    Modifier and Type Constant Field Value
    protected static final String ASSIGNMENT__CHARACTERISTIC_WILDCARD_HAS_TO_BE_ON_LHS_AND_RHS__EEXPRESSION "not self.rhs.oclIsKindOf(DataDictionaryCharacterized::expressions::CharacteristicReference) or\n(\n\tself.rhs.oclAsType(DataDictionaryCharacterized::expressions::CharacteristicReference).characteristicType.oclIsUndefined()\n\tand\n\tself.lhs.characteristicType.oclIsUndefined()\n)\nor\n(\n\tnot self.rhs.oclAsType(DataDictionaryCharacterized::expressions::CharacteristicReference).characteristicType.oclIsUndefined()\n\tand\n\tnot self.lhs.characteristicType.oclIsUndefined()\n)"
    protected static final String ASSIGNMENT__RHS_ONLY_CONTAINS_CONTAINER_OR_RETURN_OR_SEFF_PARAMETER_CHARACTERISTIC_REFERENCES__EEXPRESSION "self.rhs.oclAsType(ecore::EObject)->closure(e : ecore::EObject |\n\te.eContents()->selectByKind(ecore::EObject)\n)->including(self.rhs.oclAsType(ecore::EObject))->selectByKind(DataDictionaryCharacterized::expressions::CharacteristicReference)->forAll(r |\n\tr.oclIsKindOf(DataDictionaryCharacterized::expressions::ContainerCharacteristicReference) or\n\tr.oclIsKindOf(expressions::SeffParameterCharacteristicReference) or\n\tr.oclIsKindOf(expressions::ReturnCharacteristicReference)\n)"
    protected static final int DIAGNOSTIC_CODE_COUNT 0
    public static final String DIAGNOSTIC_SOURCE "org.palladiosimulator.dataflow.confidentiality.pcm.model.characterizedActions"
    protected static final String SEFF_RETURN_ASSIGNMENT__SEFF_HAS_TO_HAVE_RETURN_TYPE__EEXPRESSION "self.oclAsType(ecore::EObject).eContainer().oclAsType(CharacterizedResourceDemandingSEFF).describedService__SEFF.oclIsKindOf(pcm::repository::OperationSignature) and not self.oclAsType(ecore::EObject).eContainer().oclAsType(CharacterizedResourceDemandingSEFF).describedService__SEFF.oclAsType(pcm::repository::OperationSignature).returnType__OperationSignature.oclIsUndefined()"