Constant Field Values

Contents

org.palladiosimulator.*

  • org.palladiosimulator.pcm.allocation.impl.AllocationContextImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.impl.AllocationFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.impl.AllocationImplGen 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.impl.AllocationPackageImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.util.AllocationAdapterFactory 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.util.AllocationResourceFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.util.AllocationResourceImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.util.AllocationSwitch<T> 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.util.AllocationValidator 
    Modifier and Type Constant Field Value
    protected static final String ALLOCATION__COMMUNICATING_SERVERS_HAVE_TO_BE_CONNECTED_BY_LINKING_RESOURCE__EEXPRESSION "self.allocationContexts_Allocation->forAll(a | self.allocationContexts_Allocation->forAll(b | \r\n --- if a and b are not on the same server\r\n (a.resourceContainer_AllocationContext <> b.resourceContainer_AllocationContext \r\n and\r\n -- and if the assembly contexts of a and b are connected\r\n self.system_Allocation.connectors__ComposedStructure->select(conn | conn.oclIsTypeOf(pcm::core::composition::AssemblyConnector)).oclAsType(pcm::core::composition::AssemblyConnector)->exists(conn | \r\n (conn.providingAssemblyContext_AssemblyConnector = a.assemblyContext_AllocationContext \r\n and \r\n conn.requiringAssemblyContext_AssemblyConnector = b.assemblyContext_AllocationContext )\r\n or \r\n (conn.providingAssemblyContext_AssemblyConnector = b.assemblyContext_AllocationContext \r\n and \r\n conn.requiringAssemblyContext_AssemblyConnector = a.assemblyContext_AllocationContext )\r\n )\r\n )\r\n -- then the servers have to be connected by a linking resource\r\n implies \r\n self.targetResourceEnvironment_Allocation.linkingResources__ResourceEnvironment->exists(l | \r\n -- l connects the two\r\n l.connectedResourceContainers_LinkingResource->includes(a.resourceContainer_AllocationContext)\r\n and \r\n l.connectedResourceContainers_LinkingResource->includes(b.resourceContainer_AllocationContext)\r\n )\r\n ))"
    public static final int ALLOCATION__VALIDATE_EACH_ASSEMBLY_CONTEXT_WITHIN_SYSTEM_HAS_TO_BE_ALLOCATED_EXACTLY_ONCE 1
    protected static final String ALLOCATION_CONTEXT__ONE_ASSEMBLY_CONTEXT_OR_ONE_EVENT_CHANNEL_SHOULD_BE_REFERRED__EEXPRESSION "not(self.assemblyContext_AllocationContext.oclIsUndefined()) xor not(self.eventChannel__AllocationContext.oclIsUndefined())"
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
    protected static final int DIAGNOSTIC_CODE_COUNT 1
    public static final String DIAGNOSTIC_SOURCE "org.palladiosimulator.pcm.allocation"
  • org.palladiosimulator.pcm.core.entity.util.EntityAdapterFactory 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.core.entity.util.EntityResourceFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.core.entity.util.EntityResourceImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.core.entity.util.EntitySwitch<T> 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.core.entity.util.EntityValidator 
    Modifier and Type Constant Field Value
    protected static final String COMPOSED_PROVIDING_REQUIRING_ENTITY__OPERATION_PROVIDED_ROLES_MUST_BE_BOUND__EEXPRESSION "self.providedRoles_InterfaceProvidingEntity->selectByKind(pcm::repository::OperationProvidedRole)->forAll(role|self.connectors__ComposedStructure->select(conn | conn.oclIsTypeOf(pcm::core::composition::ProvidedDelegationConnector)).oclAsType(pcm::core::composition::ProvidedDelegationConnector)->exists(connector|connector.outerProvidedRole_ProvidedDelegationConnector = role))"
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
    protected static final int DIAGNOSTIC_CODE_COUNT 0
    public static final String DIAGNOSTIC_SOURCE "org.palladiosimulator.pcm.core.entity"
  • org.palladiosimulator.pcm.core.impl.CoreFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.core.impl.CorePackageImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.core.impl.PCMRandomVariableImplGen 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.impl.DummyClassImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.impl.PcmFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.impl.PcmPackageImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.impl.CharacterisedVariableImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.impl.ParameterFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.impl.ParameterPackageImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.impl.VariableCharacterisationImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.impl.VariableUsageImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.util.ParameterAdapterFactory 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.util.ParameterResourceFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.util.ParameterResourceImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.util.ParameterSwitch<T> 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.protocol.impl.ProtocolFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.protocol.impl.ProtocolImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.protocol.impl.ProtocolPackageImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.protocol.util.ProtocolAdapterFactory 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.protocol.util.ProtocolResourceFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.protocol.util.ProtocolResourceImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.protocol.util.ProtocolSwitch<T> 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.BasicComponentImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.CollectionDataTypeImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.CompleteComponentTypeImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.CompositeComponentImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.CompositeDataTypeImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.DataTypeImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.EventGroupImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.EventTypeImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.ExceptionTypeImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.ImplementationComponentTypeImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.InfrastructureInterfaceImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.InfrastructureProvidedRoleImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.InfrastructureRequiredRoleImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.InfrastructureSignatureImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.InnerDeclarationImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.InterfaceImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.OperationInterfaceImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.OperationProvidedRoleImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.OperationRequiredRoleImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.OperationSignatureImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.ParameterImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.PassiveResourceImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.PrimitiveDataTypeImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.ProvidedRoleImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.ProvidesComponentTypeImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.RepositoryComponentImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.RepositoryFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.RepositoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.RepositoryPackageImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.RequiredCharacterisationImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.RequiredRoleImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.RoleImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.SignatureImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.SinkRoleImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.SourceRoleImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.util.RepositoryAdapterFactory 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.util.RepositoryResourceFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.util.RepositoryResourceImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.util.RepositorySwitch<T> 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.util.RepositoryValidator 
    Modifier and Type Constant Field Value
    protected static final String BASIC_COMPONENT__NO_SEFF_TYPE_USED_TWICE__EEXPRESSION "self.serviceEffectSpecifications__BasicComponent->forAll(p1, p2 |\r\n p1 <> p2 implies (p1.describedService__SEFF = p2.describedService__SEFF implies p1.seffTypeID <> p2.seffTypeID))"
    protected static final String COMPLETE_COMPONENT_TYPE__AT_LEAST_ONE_INTERFACE_HAS_TO_BE_PROVIDED_OR_REQUIRED_BY_AUSEFULL_COMPLETE_COMPONENT_TYPE__EEXPRESSION "(\r\n\tself.oclIsTypeOf(CompleteComponentType)\r\n\tor\r\n\tself.oclIsTypeOf(ImplementationComponentType)\r\n\tor\r\n\tself.oclIsTypeOf(CompositeComponent)\r\n\tor\r\n\tself.oclIsTypeOf(BasicComponent)\r\n)\r\nimplies\r\n(\r\n\tself.providedRoles_InterfaceProvidingEntity->size() >= 1\r\n\tor\r\n\tself.requiredRoles_InterfaceRequiringEntity->size() >= 1\r\n)"
    protected static final String COMPLETE_COMPONENT_TYPE__PROVIDED_INTERFACES_HAVE_TO_CONFORM_TO_PROVIDED_TYPE2__EEXPRESSION "-- CompleteTypes provided Interfaces have to be a superset\r\n-- of ProvidesComponentType provided Interfaces #\r\n--\r\n-- ACCx are used to accumulate Sets/Bags; usually only the very inner ACCx is used at all.\r\n--\r\n-- Recursive Query for parent Interface IDs\r\n-- see \"lpar2005.pdf\" (Second-order principles in specification languages for Object-Oriented Programs; Beckert, Tretelman) pp. 11 #\r\n--let parentInterfaces : Bag(Interface) =\r\n--\tself.providedRoles->iterate(r : ProvidedRole; acc2 : Bag(Interface) = Bag{} |\r\n--\t\tacc2->union(r.providedInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\r\n--\t) in\r\n--let anchestorInterfaces : Bag(Interface) =\r\n--\tself.providedRoles->iterate(r : ProvidedRole; acc4 : Bag(Interface) = Bag{} |\r\n--\t\tacc4->union(r.providedInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\r\n--\t)->union( -- union with anchestors found in former recursion #\r\n--\t\tself.providedRoles->iterate(r : ProvidedRole; acc6 : Bag(Interface) = Bag{} |\r\n--\t\t\tacc6->union(r.providedInterface.parentInterface.anchestorInterfaces) --already Set/Bag\r\n--\t\t)\r\n--\t) in\r\n--\t-- Directly provided anchestorInterfaces need to be a superset of provided interfaces of Supertype #\r\n--\tanchestorInterfaces.identifier.id->includesAll(\r\n--\t\tself.parentProvidesComponentTypes->iterate(pt : ProvidesComponentType; acc1 : Bag(String) = Bag{} |\r\n--\t\t\tpt.providedRoles->iterate(r : ProvidedRole; acc2 : Bag(String) = Bag{} |\r\n--\t\t\t\tacc2->union(r.providedInterface.identifier.id->asBag()) -- asBag required to allow Set operations #\r\n--\t\t\t)\r\n--\t\t)\r\n--\t)\r\ntrue"
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
    protected static final int DIAGNOSTIC_CODE_COUNT 0
    public static final String DIAGNOSTIC_SOURCE "org.palladiosimulator.pcm.repository"
    protected static final String IMPLEMENTATION_COMPONENT_TYPE__PROVIDE_SAME_OR_MORE_INTERFACES_AS_COMPLETE_COMPONENT_TYPE__EEXPRESSION "-- ImplementationComponent has to provide the same or more interfaces like the CompleteComponentType (if set) #\r\n\tif\r\n\t\t -- apply constraint only for non-empty CompleteComponentTypes #\r\n\t\tself.parentCompleteComponentTypes->notEmpty()\r\n\tthen\r\n\t\tlet\r\n\t\t\t--own interfaces:\r\n\t\t\townInterfaces : Set(OperationInterface)\r\n\t\t\t = self.providedRoles_InterfaceProvidingEntity->select(pr|pr.oclIsTypeOf(OperationProvidedRole))->collect(pr : ProvidedRole | pr.oclAsType (OperationProvidedRole).providedInterface__OperationProvidedRole)->asSet()\r\n in \r\n \t--complete type interfaces:\r\n \tself.parentCompleteComponentTypes->forAll\r\n ( p : CompleteComponentType |\r\n (\r\n \tp.providedRoles_InterfaceProvidingEntity->select(pr|pr.oclIsTypeOf(OperationProvidedRole))->collect(pr : ProvidedRole | pr.oclAsType (OperationProvidedRole).providedInterface__OperationProvidedRole)->asSet()\r\n \t-\r\n \townInterfaces\r\n \t)->isEmpty()\r\n \t)\r\n\telse\r\n\t\ttrue\r\n\tendif"
    protected static final String IMPLEMENTATION_COMPONENT_TYPE__PROVIDED_INTERFACE_HAVE_TO_CONFORM_TO_COMPONENT_TYPE__EEXPRESSION "-- assures that InfrastructureComponents only have InfrastructureInterfaces and that BusinessComponents only have OperationInterfaces or EventGroups\r\nif self.componentType = ComponentType::INFRASTRUCTURE_COMPONENT then\r\n\tself.providedRoles_InterfaceProvidingEntity->select(role | role.oclIsTypeOf(OperationInterface) or role.oclIsTypeOf(EventGroup))->size() = 0\r\nelse if self.componentType = ComponentType::BUSINESS_COMPONENT then\r\n\tself.providedRoles_InterfaceProvidingEntity->select(role | role.oclIsTypeOf(InfrastructureInterface))->size() = 0\r\nelse\r\n\t1 = 0\r\nendif\r\nendif"
    protected static final String IMPLEMENTATION_COMPONENT_TYPE__PROVIDED_INTERFACES_HAVE_TO_CONFORM_TO_COMPLETE_TYPE__EEXPRESSION "-- ### EXACT COPY FROM ABOVE ###\r\n-- ImplementationComponentTypes provided Interfaces have to be a superset\r\n-- of CompleteComponentType provided Interfaces #\r\n--\r\n-- ACCx are used to accumulate Sets/Bags; usually only the very inner ACCx is used at all.\r\n--\r\n-- Recursive Query for parent Interface IDs\r\n-- see \'lpar2005.pdf\' (Second-order principles in specification languages for Object-Oriented Programs; Beckert, Tretelman) pp. 11 #\r\n--let parentInterfaces : Bag(Interface) =\r\n--\tself.providedRoles->iterate(r : ProvidedRole; acc2 : Bag(Interface) = Bag{} |\r\n--\t\tacc2->union(r.providedInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\r\n--\t) in\r\n--let anchestorInterfaces : Bag(Interface) =\r\n--\tself.providedRoles->iterate(r : ProvidedRole; acc4 : Bag(Interface) = Bag{} |\r\n--\t\tacc4->union(r.providedInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\r\n--\t)->union( -- union with anchestors found in former recursion #\r\n--\t\tself.providedRoles->iterate(r : ProvidedRole; acc6 : Bag(Interface) = Bag{} |\r\n--\t\t\tacc6->union(r.providedInterface.parentInterface.anchestorInterfaces) --already Set/Bag\r\n--\t\t)\r\n--\t) in\r\n\t-- Directly provided anchestorInterfaces need to be a superset of provided interfaces of Supertype #\r\n--\tanchestorInterfaces.identifier.id->includesAll(\r\n--\t\tself.parentProvidesComponentTypes->iterate(pt : ProvidesComponentType; acc1 : Bag(String) = Bag{} |\r\n--\t\t\tpt.providedRoles->iterate(r : ProvidedRole; acc2 : Bag(String) = Bag{} |\r\n--\t\t\t\tacc2->union(r.providedInterface.identifier.id->asBag()) -- asBag required to allow Set operations #\r\n--\t\t\t)\r\n--\t\t)\r\n--\t)\r\ntrue"
    protected static final String IMPLEMENTATION_COMPONENT_TYPE__REQUIRE_SAME_OR_FEWER_INTERFACES_AS_COMPLETE_COMPONENT_TYPE__EEXPRESSION "-- ImplementationComponent has to require the same or fewer interfaces like the CompleteComponentType (if set) #\r\n\tif\r\n\t\t-- apply constraint only for non-empty CompleteComponentTypes #\r\n\t\tself.parentCompleteComponentTypes->notEmpty()\r\n\tthen\r\n\t let\r\n\t --own interfaces:\r\n\t ownInterfaces : Set(OperationInterface) \r\n\t = self.requiredRoles_InterfaceRequiringEntity->select(rr|rr.oclIsTypeOf(OperationRequiredRole))->collect(rr : RequiredRole | rr.oclAsType (OperationRequiredRole).requiredInterface__OperationRequiredRole)->asSet()\r\n\t in\r\n\t --complete type interfaces:\r\n\t self.parentCompleteComponentTypes->forAll\r\n\t ( p : CompleteComponentType |\r\n\t \t(\r\n\t\t \townInterfaces\r\n\t\t -\r\n\t\t p.requiredRoles_InterfaceRequiringEntity->select(rr|rr.oclIsTypeOf(OperationRequiredRole))->collect(rr : RequiredRole | rr.oclAsType (OperationRequiredRole).requiredInterface__OperationRequiredRole)->asSet()\r\n\t \t)->isEmpty()\r\n\t \t)\r\n\telse\r\n\t\ttrue\r\n\tendif"
    protected static final String IMPLEMENTATION_COMPONENT_TYPE__REQUIRED_INTERFACES_HAVE_TO_CONFORM_TO_COMPLETE_TYPE__EEXPRESSION "-- ImplementationTypes required Interfaces have to be a subset\r\n-- of CompleteComponentType required Interfaces #\r\n--\r\n-- ACCx are used to accumulate Sets/Bags; usually only the very inner ACCx is used at all.\r\n--\r\n-- Recursive Query for parent Interface IDs\r\n-- see \'lpar2005.pdf\' (Second-order principles in specification languages for Object-Oriented Programs; Beckert, Tretelman) pp. 11 #\r\n--let parentInterfaces : Bag(Interface) =\r\n--\tself.parentCompleteComponentTypes->iterate(pt : CompleteComponentType; acc1 : Bag(Interface) = Bag{} |\r\n--\t\tacc1->union(pt.requiredRoles->iterate(r : RequiredRole; acc2 : Bag(Interface) = Bag{} |\r\n--\t\t\tacc2->union(r.requiredInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\r\n--\t\t))\r\n--\t) in\r\n--let anchestorInterfaces : Bag(Interface) =\r\n--\tself.parentCompleteComponentTypes->iterate(pt : CompleteComponentType; acc3 : Bag(Interface) = Bag{} |\r\n--\t\tacc3->union(pt.requiredRoles->iterate(r : RequiredRole; acc4 : Bag(Interface) = Bag{} |\r\n--\t\t\tacc4->union(r.requiredInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\r\n--\t\t))\r\n--\t)->union( -- union with anchestors found in former recursion #\r\n--\t\tself.parentCompleteComponentTypes->iterate(pt : CompleteComponentType; acc5 : Bag(Interface) = Bag{} |\r\n--\t\t\tacc5->union(pt.requiredRoles->iterate(r : RequiredRole; acc6 : Bag(Interface) = Bag{} |\r\n--\t\t\t\tacc6->union(r.requiredInterface.parentInterface.anchestorInterfaces) --already Set/Bag\r\n--\t\t\t))\r\n--\t\t)\r\n--\t) in\r\n-- Directly required interfaces need to be a subset of required anchestorInterfaces of Supertype #\r\n--anchestorInterfaces.identifier.id->includesAll(\r\n--\tself.requiredRoles->iterate(p : RequiredRole; acc7 : Bag(String) = Bag{} |\r\n--\t\tacc7->union(p.requiredInterface.identifier.id->asBag())\r\n--\t)\t\r\n--)\r\ntrue"
    protected static final String INTERFACE__NO_PROTOCOL_TYPE_ID_USED_TWICE__EEXPRESSION "self.protocols__Interface->forAll(p1, p2 |\r\np1.protocolTypeID <> p2.protocolTypeID)\r\n"
    protected static final String OPERATION_INTERFACE__SIGNATURES_HAVE_TO_BE_UNIQUE_FOR_AN_INTERFACE__EEXPRESSION "-- full signature has to be unique \r\n-- (use of ocl-tupels) #\r\nlet sigs : Bag(\r\n\t-- parameters: Sequence of DataType, NOT name #\r\n\t-- exceptions have not to be considered #\r\n\tTuple(returnType : DataType, serviceName : String, parameters : Sequence(DataType) ) \r\n) = \r\nself.signatures__OperationInterface->collect(sig : OperationSignature |\r\n\tTuple{\r\n\t\treturnType : DataType = sig.returnType__OperationSignature,\r\n\t\tserviceName : String = sig.entityName,\r\n\t\tparameters : Sequence(DataType) = sig.parameters__OperationSignature.dataType__Parameter\r\n\t}\r\n)\r\nin\r\nsigs->isUnique(s|s)"
    protected static final String OPERATION_SIGNATURE__PARAMETER_NAMES_HAVE_TO_BE_UNIQUE_FOR_ASIGNATURE__EEXPRESSION "self.parameters__OperationSignature->isUnique(p : Parameter |\r\n\tp.parameterName\r\n)"
    protected static final String PROVIDES_COMPONENT_TYPE__AT_LEAST_ONE_INTERFACE_HAS_TO_BE_PROVIDED_BY_AUSEFULL_PROVIDES_COMPONENT_TYPE__EEXPRESSION "self.oclIsTypeOf(ProvidesComponentType)\r\nimplies\r\nself.providedRoles_InterfaceProvidingEntity->size() >= 1"
  • org.palladiosimulator.pcm.seff.seff_performance.impl.InfrastructureCallImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.seff.seff_performance.impl.ParametricResourceDemandImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.seff.seff_performance.impl.ResourceCallImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.seff.seff_performance.impl.SeffPerformanceFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.seff.seff_performance.impl.SeffPerformancePackageImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.seff.seff_reliability.impl.FailureHandlingEntityImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.seff.seff_reliability.impl.RecoveryActionBehaviourImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.seff.seff_reliability.impl.RecoveryActionImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.seff.seff_reliability.impl.SeffReliabilityFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.seff.seff_reliability.impl.SeffReliabilityPackageImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.stochasticexpressions.parser.PCMStoExLexer 
    Modifier and Type Constant Field Value
    public static final int ALPHA 49
    public static final int AND 4
    public static final int BOOL 45
    public static final int BOOLPMF 34
    public static final int BYTESIZE 38
    public static final int COLON 26
    public static final int COMMENT 53
    public static final int DEFINITION 46
    public static final int DIGIT 47
    public static final int DIV 16
    public static final int DOT 22
    public static final int DOUBLEPDF 33
    public static final int DOUBLEPMF 30
    public static final int ENUMPMF 31
    public static final int EOF -1
    public static final int EQUAL 9
    public static final int Exponent 48
    public static final int FALSE 36
    public static final int GREATER 7
    public static final int GREATEREQUAL 11
    public static final int ID 23
    public static final int IDPART 51
    public static final int IDSTART 50
    public static final int INNER 43
    public static final int INTPMF 27
    public static final int LESS 8
    public static final int LESSEQUAL 12
    public static final int LINE_COMMENT 54
    public static final int LPAREN 24
    public static final int MINUS 14
    public static final int MOD 17
    public static final int MUL 15
    public static final int NOT 19
    public static final int NOTEQUAL 10
    public static final int NUMBER 20
    public static final int NUMBER_OF_ELEMENTS 40
    public static final int OR 5
    public static final int ORDERED_DEF 32
    public static final int PLUS 13
    public static final int POW 18
    public static final int RPAREN 25
    public static final int SEMI 35
    public static final int SQUARE_PAREN_L 28
    public static final int SQUARE_PAREN_R 29
    public static final int STRING_LITERAL 21
    public static final int STRUCTURE 39
    public static final int T__55 55
    public static final int T__56 56
    public static final int TRUE 37
    public static final int TYPE 41
    public static final int UNIT 44
    public static final int VALUE 42
    public static final int WS 52
    public static final int XOR 6
  • org.palladiosimulator.pcm.stochasticexpressions.parser.PCMStoExParser 
    Modifier and Type Constant Field Value
    public static final int ALPHA 49
    public static final int AND 4
    public static final int BOOL 45
    public static final int BOOLPMF 34
    public static final int BYTESIZE 38
    public static final int COLON 26
    public static final int COMMENT 53
    public static final int DEFINITION 46
    public static final int DIGIT 47
    public static final int DIV 16
    public static final int DOT 22
    public static final int DOUBLEPDF 33
    public static final int DOUBLEPMF 30
    public static final int ENUMPMF 31
    public static final int EOF -1
    public static final int EQUAL 9
    public static final int Exponent 48
    public static final int FALSE 36
    public static final int GREATER 7
    public static final int GREATEREQUAL 11
    public static final int ID 23
    public static final int IDPART 51
    public static final int IDSTART 50
    public static final int INNER 43
    public static final int INTPMF 27
    public static final int LESS 8
    public static final int LESSEQUAL 12
    public static final int LINE_COMMENT 54
    public static final int LPAREN 24
    public static final int MINUS 14
    public static final int MOD 17
    public static final int MUL 15
    public static final int NOT 19
    public static final int NOTEQUAL 10
    public static final int NUMBER 20
    public static final int NUMBER_OF_ELEMENTS 40
    public static final int OR 5
    public static final int ORDERED_DEF 32
    public static final int PLUS 13
    public static final int POW 18
    public static final int RPAREN 25
    public static final int SEMI 35
    public static final int SQUARE_PAREN_L 28
    public static final int SQUARE_PAREN_R 29
    public static final int STRING_LITERAL 21
    public static final int STRUCTURE 39
    public static final int T__55 55
    public static final int T__56 56
    public static final int TRUE 37
    public static final int TYPE 41
    public static final int UNIT 44
    public static final int VALUE 42
    public static final int WS 52
    public static final int XOR 6
  • org.palladiosimulator.pcm.subsystem.impl.SubsystemFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.subsystem.impl.SubSystemImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.subsystem.impl.SubsystemPackageImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.subsystem.util.SubsystemAdapterFactory 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.subsystem.util.SubsystemResourceFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.subsystem.util.SubsystemResourceImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.subsystem.util.SubsystemSwitch<T> 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.system.impl.SystemFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.system.impl.SystemImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.system.impl.SystemPackageImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.AbstractUserActionImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.BranchImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.BranchTransitionImpl 
    Modifier and Type Constant Field Value
    protected static final double BRANCH_PROBABILITY_EDEFAULT 0.0
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.ClosedWorkloadImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
    protected static final int POPULATION_EDEFAULT 0
  • org.palladiosimulator.pcm.usagemodel.impl.DelayImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.EntryLevelSystemCallImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
    protected static final int PRIORITY_EDEFAULT 0
  • org.palladiosimulator.pcm.usagemodel.impl.LoopImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.OpenWorkloadImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.ScenarioBehaviourImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.StartImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.StopImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.UsagemodelFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.UsageModelImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.UsagemodelPackageImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.UsageScenarioImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.UserDataImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.WorkloadImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.util.PcmAdapterFactory 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.util.PcmResourceFactoryImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.util.PcmResourceImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.util.PcmSwitch<T> 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"