Constant Field Values

Contents

de.uka.*

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"
    protected static final String ONE_ASSEMBLY_CONTEXT_OR_ONE_EVENT_CHANNEL_SHOULD_BE_REFERRED__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "not(self.assemblyContext_AllocationContext.oclIsUndefined()) xor not(self.eventChannel__AllocationContext.oclIsUndefined())"
  • 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.AllocationImpl 
    Modifier and Type Constant Field Value
    protected static final String COMMUNICATING_SERVERS_HAVE_TO_BE_CONNECTED_BY_LINKING_RESOURCE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "self.allocationContexts_Allocation->forAll(a | self.allocationContexts_Allocation->forAll(b | \n --- if a and b are not on the same server\n (a.resourceContainer_AllocationContext <> b.resourceContainer_AllocationContext \n and\n -- and if the assembly contexts of a and b are connected\n self.system_Allocation.connectors__ComposedStructure->select(conn | conn.oclIsTypeOf(pcm::core::composition::AssemblyConnector)).oclAsType(pcm::core::composition::AssemblyConnector)->exists(conn | \n (conn.providingAssemblyContext_AssemblyConnector = a.assemblyContext_AllocationContext \n and \n conn.requiringAssemblyContext_AssemblyConnector = b.assemblyContext_AllocationContext )\n or \n (conn.providingAssemblyContext_AssemblyConnector = b.assemblyContext_AllocationContext \n and \n conn.requiringAssemblyContext_AssemblyConnector = a.assemblyContext_AllocationContext )\n )\n )\n -- then the servers have to be connected by a linking resource\n implies \n self.targetResourceEnvironment_Allocation.linkingResources__ResourceEnvironment->exists(l | \n -- l connects the two\n l.connectedResourceContainers_LinkingResource->includes(a.resourceContainer_AllocationContext)\n and \n l.connectedResourceContainers_LinkingResource->includes(b.resourceContainer_AllocationContext)\n )\n ))"
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
    protected static final String EACH_ASSEMBLY_CONTEXT_WITHIN_SYSTEM_HAS_TO_BE_ALLOCATED_EXACTLY_ONCE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "-- Get all AssemblyContexts used by this system, that is \n-- 1) the AssemblyContexts directly used in the system and \nself.system_Allocation.assemblyContexts__ComposedStructure\n-- 2) the AssemblyContexts used by SubSystems in the System. Note that if a SubSystem also contains other Subsystems,\n-- we need to get those AssemblyContexts too: Thus, we use a closure here\n->union(self.system_Allocation.assemblyContexts__ComposedStructure->closure(\nencapsulatedComponent__AssemblyContext->select(composites|composites.oclIsTypeOf(pcm::subsystem::SubSystem)).oclAsType(pcm::subsystem::SubSystem)\n.assemblyContexts__ComposedStructure))\n--Now, after we collected all AssemblyContexts somehow used, we check whether they need to be allocated \n--and if yes, if they are allocated.\n->forAll(assemblyCtx|\n--AssemblyContexts that contain SubSystems do not need to be allocated\nassemblyCtx.encapsulatedComponent__AssemblyContext.oclIsTypeOf(pcm::subsystem::SubSystem) or\n--All others need to be allocated. \nself.allocationContexts_Allocation->select(allocationCtx|\nallocationCtx.assemblyContext_AllocationContext = assemblyCtx)->size() = 1)"
  • 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.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"
    protected static final String NO_SEFF_TYPE_USED_TWICE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "self.serviceEffectSpecifications__BasicComponent->forAll(p1, p2 |\n p1 <> p2 implies (p1.describedService__SEFF = p2.describedService__SEFF implies p1.seffTypeID <> p2.seffTypeID))"
  • 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
    protected static final String AT_LEAST_ONE_INTERFACE_HAS_TO_BE_PROVIDED_OR_REQUIRED_BY_AUSEFULL_COMPLETE_COMPONENT_TYPE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "(\n\tself.oclIsTypeOf(CompleteComponentType)\n\tor\n\tself.oclIsTypeOf(ImplementationComponentType)\n\tor\n\tself.oclIsTypeOf(CompositeComponent)\n\tor\n\tself.oclIsTypeOf(BasicComponent)\n)\nimplies\n(\n\tself.providedRoles_InterfaceProvidingEntity->size() >= 1\n\tor\n\tself.requiredRoles_InterfaceRequiringEntity->size() >= 1\n)"
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
    protected static final String PROVIDED_INTERFACES_HAVE_TO_CONFORM_TO_PROVIDED_TYPE2__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "-- CompleteTypes provided Interfaces have to be a superset\n-- of ProvidesComponentType provided Interfaces #\n--\n-- ACCx are used to accumulate Sets/Bags; usually only the very inner ACCx is used at all.\n--\n-- Recursive Query for parent Interface IDs\n-- see \'lpar2005.pdf\' (Second-order principles in specification languages for Object-Oriented Programs; Beckert, Tretelman) pp. 11 #\n--let parentInterfaces : Bag(Interface) =\n--\tself.providedRoles->iterate(r : ProvidedRole; acc2 : Bag(Interface) = Bag{} |\n--\t\tacc2->union(r.providedInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\n--\t) in\n--let anchestorInterfaces : Bag(Interface) =\n--\tself.providedRoles->iterate(r : ProvidedRole; acc4 : Bag(Interface) = Bag{} |\n--\t\tacc4->union(r.providedInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\n--\t)->union( -- union with anchestors found in former recursion #\n--\t\tself.providedRoles->iterate(r : ProvidedRole; acc6 : Bag(Interface) = Bag{} |\n--\t\t\tacc6->union(r.providedInterface.parentInterface.anchestorInterfaces) --already Set/Bag\n--\t\t)\n--\t) in\n--\t-- Directly provided anchestorInterfaces need to be a superset of provided interfaces of Supertype #\n--\tanchestorInterfaces.identifier.id->includesAll(\n--\t\tself.parentProvidesComponentTypes->iterate(pt : ProvidesComponentType; acc1 : Bag(String) = Bag{} |\n--\t\t\tpt.providedRoles->iterate(r : ProvidedRole; acc2 : Bag(String) = Bag{} |\n--\t\t\t\tacc2->union(r.providedInterface.identifier.id->asBag()) -- asBag required to allow Set operations #\n--\t\t\t)\n--\t\t)\n--\t)\ntrue"
  • org.palladiosimulator.pcm.repository.impl.CompositeComponentImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
    protected static final String PROVIDE_SAME_OR_MORE_INTERFACES_AS_COMPLETE_COMPONENT_TYPE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "-- ImplementationComponent has to provide the same or more interfaces like the CompleteComponentType (if set) #\n\tif\n\t\t -- apply constraint only for non-empty CompleteComponentTypes #\n\t\tself.parentCompleteComponentTypes->notEmpty()\n\tthen\n\t\tlet\n\t\t\t--own interfaces:\n\t\t\townInterfaces : Set(OperationInterface)\n\t\t\t = self.providedRoles_InterfaceProvidingEntity->select(pr|pr.oclIsTypeOf(OperationProvidedRole))->collect(pr : ProvidedRole | pr.oclAsType (OperationProvidedRole).providedInterface__OperationProvidedRole)->asSet()\n in \n \t--complete type interfaces:\n \tself.parentCompleteComponentTypes->forAll\n ( p : CompleteComponentType |\n (\n \tp.providedRoles_InterfaceProvidingEntity->select(pr|pr.oclIsTypeOf(OperationProvidedRole))->collect(pr : ProvidedRole | pr.oclAsType (OperationProvidedRole).providedInterface__OperationProvidedRole)->asSet()\n \t-\n \townInterfaces\n \t)->isEmpty()\n \t)\n\telse\n\t\ttrue\n\tendif"
    protected static final String PROVIDED_INTERFACE_HAVE_TO_CONFORM_TO_COMPONENT_TYPE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "-- assures that InfrastructureComponents only have InfrastructureInterfaces and that BusinessComponents only have OperationInterfaces or EventGroups\nif self.componentType = ComponentType::INFRASTRUCTURE_COMPONENT then\n\tself.providedRoles_InterfaceProvidingEntity->select(role | role.oclIsTypeOf(OperationInterface) or role.oclIsTypeOf(EventGroup))->size() = 0\nelse if self.componentType = ComponentType::BUSINESS_COMPONENT then\n\tself.providedRoles_InterfaceProvidingEntity->select(role | role.oclIsTypeOf(InfrastructureInterface))->size() = 0\nelse\n\t1 = 0\nendif\nendif"
    protected static final String PROVIDED_INTERFACES_HAVE_TO_CONFORM_TO_COMPLETE_TYPE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "-- ### EXACT COPY FROM ABOVE ###\n-- ImplementationComponentTypes provided Interfaces have to be a superset\n-- of CompleteComponentType provided Interfaces #\n--\n-- ACCx are used to accumulate Sets/Bags; usually only the very inner ACCx is used at all.\n--\n-- Recursive Query for parent Interface IDs\n-- see \'lpar2005.pdf\' (Second-order principles in specification languages for Object-Oriented Programs; Beckert, Tretelman) pp. 11 #\n--let parentInterfaces : Bag(Interface) =\n--\tself.providedRoles->iterate(r : ProvidedRole; acc2 : Bag(Interface) = Bag{} |\n--\t\tacc2->union(r.providedInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\n--\t) in\n--let anchestorInterfaces : Bag(Interface) =\n--\tself.providedRoles->iterate(r : ProvidedRole; acc4 : Bag(Interface) = Bag{} |\n--\t\tacc4->union(r.providedInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\n--\t)->union( -- union with anchestors found in former recursion #\n--\t\tself.providedRoles->iterate(r : ProvidedRole; acc6 : Bag(Interface) = Bag{} |\n--\t\t\tacc6->union(r.providedInterface.parentInterface.anchestorInterfaces) --already Set/Bag\n--\t\t)\n--\t) in\n\t-- Directly provided anchestorInterfaces need to be a superset of provided interfaces of Supertype #\n--\tanchestorInterfaces.identifier.id->includesAll(\n--\t\tself.parentProvidesComponentTypes->iterate(pt : ProvidesComponentType; acc1 : Bag(String) = Bag{} |\n--\t\t\tpt.providedRoles->iterate(r : ProvidedRole; acc2 : Bag(String) = Bag{} |\n--\t\t\t\tacc2->union(r.providedInterface.identifier.id->asBag()) -- asBag required to allow Set operations #\n--\t\t\t)\n--\t\t)\n--\t)\ntrue"
    protected static final String REQUIRE_SAME_OR_FEWER_INTERFACES_AS_COMPLETE_COMPONENT_TYPE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "-- ImplementationComponent has to require the same or fewer interfaces like the CompleteComponentType (if set) #\n\tif\n\t\t-- apply constraint only for non-empty CompleteComponentTypes #\n\t\tself.parentCompleteComponentTypes->notEmpty()\n\tthen\n\t let\n\t --own interfaces:\n\t ownInterfaces : Set(OperationInterface) \n\t = self.requiredRoles_InterfaceRequiringEntity->select(rr|rr.oclIsTypeOf(OperationRequiredRole))->collect(rr : RequiredRole | rr.oclAsType (OperationRequiredRole).requiredInterface__OperationRequiredRole)->asSet()\n\t in\n\t --complete type interfaces:\n\t self.parentCompleteComponentTypes->forAll\n\t ( p : CompleteComponentType |\n\t \t(\n\t\t \townInterfaces\n\t\t -\n\t\t p.requiredRoles_InterfaceRequiringEntity->select(rr|rr.oclIsTypeOf(OperationRequiredRole))->collect(rr : RequiredRole | rr.oclAsType (OperationRequiredRole).requiredInterface__OperationRequiredRole)->asSet()\n\t \t)->isEmpty()\n\t \t)\n\telse\n\t\ttrue\n\tendif"
    protected static final String REQUIRED_INTERFACES_HAVE_TO_CONFORM_TO_COMPLETE_TYPE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "-- ImplementationTypes required Interfaces have to be a subset\n-- of CompleteComponentType required Interfaces #\n--\n-- ACCx are used to accumulate Sets/Bags; usually only the very inner ACCx is used at all.\n--\n-- Recursive Query for parent Interface IDs\n-- see \'lpar2005.pdf\' (Second-order principles in specification languages for Object-Oriented Programs; Beckert, Tretelman) pp. 11 #\n--let parentInterfaces : Bag(Interface) =\n--\tself.parentCompleteComponentTypes->iterate(pt : CompleteComponentType; acc1 : Bag(Interface) = Bag{} |\n--\t\tacc1->union(pt.requiredRoles->iterate(r : RequiredRole; acc2 : Bag(Interface) = Bag{} |\n--\t\t\tacc2->union(r.requiredInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\n--\t\t))\n--\t) in\n--let anchestorInterfaces : Bag(Interface) =\n--\tself.parentCompleteComponentTypes->iterate(pt : CompleteComponentType; acc3 : Bag(Interface) = Bag{} |\n--\t\tacc3->union(pt.requiredRoles->iterate(r : RequiredRole; acc4 : Bag(Interface) = Bag{} |\n--\t\t\tacc4->union(r.requiredInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\n--\t\t))\n--\t)->union( -- union with anchestors found in former recursion #\n--\t\tself.parentCompleteComponentTypes->iterate(pt : CompleteComponentType; acc5 : Bag(Interface) = Bag{} |\n--\t\t\tacc5->union(pt.requiredRoles->iterate(r : RequiredRole; acc6 : Bag(Interface) = Bag{} |\n--\t\t\t\tacc6->union(r.requiredInterface.parentInterface.anchestorInterfaces) --already Set/Bag\n--\t\t\t))\n--\t\t)\n--\t) in\n-- Directly required interfaces need to be a subset of required anchestorInterfaces of Supertype #\n--anchestorInterfaces.identifier.id->includesAll(\n--\tself.requiredRoles->iterate(p : RequiredRole; acc7 : Bag(String) = Bag{} |\n--\t\tacc7->union(p.requiredInterface.identifier.id->asBag())\n--\t)\t\n--)\ntrue"
  • 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"
    protected static final String PROVIDE_SAME_OR_MORE_INTERFACES_AS_COMPLETE_COMPONENT_TYPE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "-- ImplementationComponent has to provide the same or more interfaces like the CompleteComponentType (if set) #\n\tif\n\t\t -- apply constraint only for non-empty CompleteComponentTypes #\n\t\tself.parentCompleteComponentTypes->notEmpty()\n\tthen\n\t\tlet\n\t\t\t--own interfaces:\n\t\t\townInterfaces : Set(OperationInterface)\n\t\t\t = self.providedRoles_InterfaceProvidingEntity->select(pr|pr.oclIsTypeOf(OperationProvidedRole))->collect(pr : ProvidedRole | pr.oclAsType (OperationProvidedRole).providedInterface__OperationProvidedRole)->asSet()\n in \n \t--complete type interfaces:\n \tself.parentCompleteComponentTypes->forAll\n ( p : CompleteComponentType |\n (\n \tp.providedRoles_InterfaceProvidingEntity->select(pr|pr.oclIsTypeOf(OperationProvidedRole))->collect(pr : ProvidedRole | pr.oclAsType (OperationProvidedRole).providedInterface__OperationProvidedRole)->asSet()\n \t-\n \townInterfaces\n \t)->isEmpty()\n \t)\n\telse\n\t\ttrue\n\tendif"
    protected static final String PROVIDED_INTERFACE_HAVE_TO_CONFORM_TO_COMPONENT_TYPE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "-- assures that InfrastructureComponents only have InfrastructureInterfaces and that BusinessComponents only have OperationInterfaces or EventGroups\nif self.componentType = ComponentType::INFRASTRUCTURE_COMPONENT then\n\tself.providedRoles_InterfaceProvidingEntity->select(role | role.oclIsTypeOf(OperationInterface) or role.oclIsTypeOf(EventGroup))->size() = 0\nelse if self.componentType = ComponentType::BUSINESS_COMPONENT then\n\tself.providedRoles_InterfaceProvidingEntity->select(role | role.oclIsTypeOf(InfrastructureInterface))->size() = 0\nelse\n\t1 = 0\nendif\nendif"
    protected static final String PROVIDED_INTERFACES_HAVE_TO_CONFORM_TO_COMPLETE_TYPE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "-- ### EXACT COPY FROM ABOVE ###\n-- ImplementationComponentTypes provided Interfaces have to be a superset\n-- of CompleteComponentType provided Interfaces #\n--\n-- ACCx are used to accumulate Sets/Bags; usually only the very inner ACCx is used at all.\n--\n-- Recursive Query for parent Interface IDs\n-- see \'lpar2005.pdf\' (Second-order principles in specification languages for Object-Oriented Programs; Beckert, Tretelman) pp. 11 #\n--let parentInterfaces : Bag(Interface) =\n--\tself.providedRoles->iterate(r : ProvidedRole; acc2 : Bag(Interface) = Bag{} |\n--\t\tacc2->union(r.providedInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\n--\t) in\n--let anchestorInterfaces : Bag(Interface) =\n--\tself.providedRoles->iterate(r : ProvidedRole; acc4 : Bag(Interface) = Bag{} |\n--\t\tacc4->union(r.providedInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\n--\t)->union( -- union with anchestors found in former recursion #\n--\t\tself.providedRoles->iterate(r : ProvidedRole; acc6 : Bag(Interface) = Bag{} |\n--\t\t\tacc6->union(r.providedInterface.parentInterface.anchestorInterfaces) --already Set/Bag\n--\t\t)\n--\t) in\n\t-- Directly provided anchestorInterfaces need to be a superset of provided interfaces of Supertype #\n--\tanchestorInterfaces.identifier.id->includesAll(\n--\t\tself.parentProvidesComponentTypes->iterate(pt : ProvidesComponentType; acc1 : Bag(String) = Bag{} |\n--\t\t\tpt.providedRoles->iterate(r : ProvidedRole; acc2 : Bag(String) = Bag{} |\n--\t\t\t\tacc2->union(r.providedInterface.identifier.id->asBag()) -- asBag required to allow Set operations #\n--\t\t\t)\n--\t\t)\n--\t)\ntrue"
    protected static final String REQUIRE_SAME_OR_FEWER_INTERFACES_AS_COMPLETE_COMPONENT_TYPE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "-- ImplementationComponent has to require the same or fewer interfaces like the CompleteComponentType (if set) #\n\tif\n\t\t-- apply constraint only for non-empty CompleteComponentTypes #\n\t\tself.parentCompleteComponentTypes->notEmpty()\n\tthen\n\t let\n\t --own interfaces:\n\t ownInterfaces : Set(OperationInterface) \n\t = self.requiredRoles_InterfaceRequiringEntity->select(rr|rr.oclIsTypeOf(OperationRequiredRole))->collect(rr : RequiredRole | rr.oclAsType (OperationRequiredRole).requiredInterface__OperationRequiredRole)->asSet()\n\t in\n\t --complete type interfaces:\n\t self.parentCompleteComponentTypes->forAll\n\t ( p : CompleteComponentType |\n\t \t(\n\t\t \townInterfaces\n\t\t -\n\t\t p.requiredRoles_InterfaceRequiringEntity->select(rr|rr.oclIsTypeOf(OperationRequiredRole))->collect(rr : RequiredRole | rr.oclAsType (OperationRequiredRole).requiredInterface__OperationRequiredRole)->asSet()\n\t \t)->isEmpty()\n\t \t)\n\telse\n\t\ttrue\n\tendif"
    protected static final String REQUIRED_INTERFACES_HAVE_TO_CONFORM_TO_COMPLETE_TYPE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "-- ImplementationTypes required Interfaces have to be a subset\n-- of CompleteComponentType required Interfaces #\n--\n-- ACCx are used to accumulate Sets/Bags; usually only the very inner ACCx is used at all.\n--\n-- Recursive Query for parent Interface IDs\n-- see \'lpar2005.pdf\' (Second-order principles in specification languages for Object-Oriented Programs; Beckert, Tretelman) pp. 11 #\n--let parentInterfaces : Bag(Interface) =\n--\tself.parentCompleteComponentTypes->iterate(pt : CompleteComponentType; acc1 : Bag(Interface) = Bag{} |\n--\t\tacc1->union(pt.requiredRoles->iterate(r : RequiredRole; acc2 : Bag(Interface) = Bag{} |\n--\t\t\tacc2->union(r.requiredInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\n--\t\t))\n--\t) in\n--let anchestorInterfaces : Bag(Interface) =\n--\tself.parentCompleteComponentTypes->iterate(pt : CompleteComponentType; acc3 : Bag(Interface) = Bag{} |\n--\t\tacc3->union(pt.requiredRoles->iterate(r : RequiredRole; acc4 : Bag(Interface) = Bag{} |\n--\t\t\tacc4->union(r.requiredInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\n--\t\t))\n--\t)->union( -- union with anchestors found in former recursion #\n--\t\tself.parentCompleteComponentTypes->iterate(pt : CompleteComponentType; acc5 : Bag(Interface) = Bag{} |\n--\t\t\tacc5->union(pt.requiredRoles->iterate(r : RequiredRole; acc6 : Bag(Interface) = Bag{} |\n--\t\t\t\tacc6->union(r.requiredInterface.parentInterface.anchestorInterfaces) --already Set/Bag\n--\t\t\t))\n--\t\t)\n--\t) in\n-- Directly required interfaces need to be a subset of required anchestorInterfaces of Supertype #\n--anchestorInterfaces.identifier.id->includesAll(\n--\tself.requiredRoles->iterate(p : RequiredRole; acc7 : Bag(String) = Bag{} |\n--\t\tacc7->union(p.requiredInterface.identifier.id->asBag())\n--\t)\t\n--)\ntrue"
  • 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"
    protected static final String NO_PROTOCOL_TYPE_ID_USED_TWICE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "self.protocols__Interface->forAll(p1, p2 |\np1.protocolTypeID <> p2.protocolTypeID)\n"
  • org.palladiosimulator.pcm.repository.impl.OperationInterfaceImpl 
    Modifier and Type Constant Field Value
    public static final String copyright "Copyright 2005-2017 by palladiosimulator.org"
    protected static final String SIGNATURES_HAVE_TO_BE_UNIQUE_FOR_AN_INTERFACE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "-- full signature has to be unique \n-- (use of ocl-tupels) #\nlet sigs : Bag(\n\t-- parameters: Sequence of DataType, NOT name #\n\t-- exceptions have not to be considered #\n\tTuple(returnType : DataType, serviceName : String, parameters : Sequence(DataType) ) \n) = \nself.signatures__OperationInterface->collect(sig : OperationSignature |\n\tTuple{\n\t\treturnType : DataType = sig.returnType__OperationSignature,\n\t\tserviceName : String = sig.entityName,\n\t\tparameters : Sequence(DataType) = sig.parameters__OperationSignature.dataType__Parameter\n\t}\n)\nin\nsigs->isUnique(s|s)"
  • 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"
    protected static final String PARAMETER_NAMES_HAVE_TO_BE_UNIQUE_FOR_ASIGNATURE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "self.parameters__OperationSignature->isUnique(p : Parameter |\n\tp.parameterName\n)"
  • 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
    protected static final String AT_LEAST_ONE_INTERFACE_HAS_TO_BE_PROVIDED_BY_AUSEFULL_PROVIDES_COMPONENT_TYPE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "self.oclIsTypeOf(ProvidesComponentType)\nimplies\nself.providedRoles_InterfaceProvidingEntity->size() >= 1"
    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.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"
    protected static final String MULTIPLE_CONNECTORS_CONSTRAINT__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "self.connectors__ComposedStructure->select(conn | conn.oclIsTypeOf(pcm::core::composition::ProvidedDelegationConnector)).oclAsType(pcm::core::composition::ProvidedDelegationConnector)->forAll( c1, c2 | c1 <> c2 implies c1.outerProvidedRole_ProvidedDelegationConnector <> c2.outerProvidedRole_ProvidedDelegationConnector)\n"
    protected static final String MULTIPLE_CONNECTORS_CONSTRAINT_FOR_ASSEMBLY_CONNECTORS__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "self.connectors__ComposedStructure->select(conn | conn.oclIsTypeOf(pcm::core::composition::AssemblyConnector)).oclAsType(AssemblyConnector)->forAll( c1, c2 | ( (c1 <> c2) and ( c1.requiringAssemblyContext_AssemblyConnector = c2.requiringAssemblyContext_AssemblyConnector ) ) implies c1.requiredRole_AssemblyConnector <> c2.requiredRole_AssemblyConnector )\n"
    protected static final String PROVIDED_ROLES_MUST_BE_BOUND__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "self.providedRoles_InterfaceProvidingEntity->forAll(role|self.connectors__ComposedStructure->select(conn | conn.oclIsTypeOf(pcm::core::composition::ProvidedDelegationConnector)).oclAsType(pcm::core::composition::ProvidedDelegationConnector)->exists(connector|connector.outerProvidedRole_ProvidedDelegationConnector = role))\n\n"
    protected static final String SYSTEM_MUST_HAVE_AT_LEAST_ONE_PROVIDED_ROLE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP "not self.providedRoles_InterfaceProvidingEntity->isEmpty()"
  • 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.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"