Package org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.behaviour

Interface DataChannelBehaviour

  • All Superinterfaces:
    org.eclipse.emf.cdo.CDOObject, org.eclipse.emf.cdo.common.id.CDOWithID, org.palladiosimulator.pcm.core.entity.Entity, EObject, de.uka.ipd.sdq.identifier.Identifier, org.palladiosimulator.pcm.core.entity.NamedElement, Notifier, org.palladiosimulator.pcm.PCMBaseClass, org.palladiosimulator.pcm.PCMClass
    All Known Implementing Classes:
    DataChannelBehaviourImpl
    public interface DataChannelBehaviour
extends org.palladiosimulator.pcm.core.entity.Entity
    A representation of the model object 'Data Channel Behaviour'.

    The following features are supported:

    See Also:
    BehaviourPackage.getDataChannelBehaviour()
    Generated class or method.
    EMF model class or method.
    annotation="http://www.eclipse.org/emf/2002/Ecore constraints='variableUsagesReferToValidSourceRoleParameter variableReferencesReferToValidSinkRoleParameter reusedBehavioursOnlyBindValidVariables'" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/LPG variableUsagesReferToValidSourceRoleParameter='self.variableUsages->forAll(usage |\n\tself.dataSources->collect(\n\t\trole | role.entityName.concat(\'.\').concat(role.dataInterface.dataSignature.parameter.parameterName)\t\t\n\t)->includes(usage.namedReference__VariableUsage.referenceName)\n)' variableReferencesReferToValidSinkRoleParameter='self.variableUsages.variableCharacterisation_VariableUsage->selectByKind(confidentiality::ConfidentialityVariableCharacterisation)->forAll(characterisation |\n\tcharacterisation.rhs.oclAsType(ecore::EObject)->closure(eContents()->selectByKind(ecore::EObject))->selectByKind(stoex::VariableReference)->forAll(reference |\n\t\tself.dataSinks->collect(\n\t\t\trole | role.entityName.concat(\'.\').concat(role.dataInterface.dataSignature.parameter.parameterName)\n\t\t)->includes(reference.referenceName)\n\t)\n)' reusedBehavioursOnlyBindValidVariables='let validSourceNames : Set(String) = self.dataSources->collect(\n\trole | role.entityName.concat(\'.\').concat(role.dataInterface.dataSignature.parameter.parameterName)\n)->asSet() in\n\n let validSinkNames : Set(String) = self.dataSinks->collect(\n role | role.entityName.concat(\'.\').concat(role.dataInterface.dataSignature.parameter.parameterName)\n )->asSet() in\n\n let validReferenceNames : Set(String) = validSourceNames->union(validSinkNames) in\n\n let usedReferenceNames : Set(String) = self.reusedBehaviours->collect(variableBindings)->flatten()->collect(boundValue.referenceName)->asSet() in\n\n validReferenceNames->includesAll(usedReferenceNames)'"

    • Field Summary

      • Fields inherited from interface org.palladiosimulator.pcm.core.entity.Entity

        copyright

    • Method Detail

      • setDataChannel

        void setDataChannel​(org.palladiosimulator.indirections.repository.DataChannel value)
        Sets the value of the 'Data Channel' reference.
        Parameters:
        value - the new value of the 'Data Channel' reference.
        See Also:
        getDataChannel()
        Generated class or method.

      • getDataSources

        EList<org.palladiosimulator.indirections.repository.DataSourceRole> getDataSources()
        Returns the value of the 'Data Sources' reference list. The list contents are of type DataSourceRole.
        Returns:
        the value of the 'Data Sources' reference list.
        See Also:
        BehaviourPackage.getDataChannelBehaviour_DataSources()
        Generated class or method.
        EMF model class or method.
        transient="true" changeable="false" volatile="true" derived="true" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/LPG derivation='self.dataChannel.dataSourceRoles'"

      • getDataSinks

        EList<org.palladiosimulator.indirections.repository.DataSinkRole> getDataSinks()
        Returns the value of the 'Data Sinks' reference list. The list contents are of type DataSinkRole.
        Returns:
        the value of the 'Data Sinks' reference list.
        See Also:
        BehaviourPackage.getDataChannelBehaviour_DataSinks()
        Generated class or method.
        EMF model class or method.
        transient="true" changeable="false" volatile="true" derived="true" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/LPG derivation='self.dataChannel.dataSinkRoles'"

      • getVariableUsages

        EList<org.palladiosimulator.pcm.parameter.VariableUsage> getVariableUsages()
        Returns the value of the 'Variable Usages' containment reference list. The list contents are of type VariableUsage.
        Returns:
        the value of the 'Variable Usages' containment reference list.
        See Also:
        BehaviourPackage.getDataChannelBehaviour_VariableUsages()
        Generated class or method.
        EMF model class or method.
        containment="true"