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:
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 Summary

    Modifier and Type
    Method
    Description
    org.palladiosimulator.indirections.repository.DataChannel
    getDataChannel()
    Returns the value of the 'Data Channel' reference.
    EList<org.palladiosimulator.indirections.repository.DataSinkRole>
    getDataSinks()
    Returns the value of the 'Data Sinks' reference list.
    EList<org.palladiosimulator.indirections.repository.DataSourceRole>
    getDataSources()
    Returns the value of the 'Data Sources' reference list.
    EList<BehaviourReuse>
    getReusedBehaviours()
    Returns the value of the 'Reused Behaviours' containment reference list.
    EList<org.palladiosimulator.pcm.parameter.VariableUsage>
    getVariableUsages()
    Returns the value of the 'Variable Usages' containment reference list.
    void
    setDataChannel(org.palladiosimulator.indirections.repository.DataChannel value)
    Sets the value of the 'Data Channel' reference.

    Methods inherited from interface org.eclipse.emf.cdo.CDOObject

    cdoConflict, cdoDirectResource, cdoHistory, cdoID, cdoInvalid, cdoLockState, cdoPermission, cdoPrefetch, cdoReadLock, cdoReload, cdoResource, cdoRevision, cdoRevision, cdoState, cdoView, cdoWriteLock, cdoWriteOption

    Methods inherited from interface org.eclipse.emf.ecore.EObject

    eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

    Methods inherited from interface de.uka.ipd.sdq.identifier.Identifier

    getId, setId

    Methods inherited from interface org.palladiosimulator.pcm.core.entity.NamedElement

    getEntityName, setEntityName

    Methods inherited from interface org.eclipse.emf.common.notify.Notifier

    eAdapters, eDeliver, eNotify, eSetDeliver

  • Method Details

    • getDataChannel

      org.palladiosimulator.indirections.repository.DataChannel getDataChannel()
      Returns the value of the 'Data Channel' reference.
      Returns:
      the value of the 'Data Channel' reference.
      See Also:
      Generated class or method.
      EMF model class or method.
      required="true"

    • 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:
      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:
      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:
      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:
      Generated class or method.
      EMF model class or method.
      containment="true"

    • getReusedBehaviours

      EList<BehaviourReuse> getReusedBehaviours()
      Returns the value of the 'Reused Behaviours' containment reference list. The list contents are of type BehaviourReuse.
      Returns:
      the value of the 'Reused Behaviours' containment reference list.
      See Also:
      Generated class or method.
      EMF model class or method.
      containment="true"