Constant Field Values

Contents

org.palladiosimulator.*

  • org.palladiosimulator.pcm.allocation.impl.AllocationContextImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.impl.AllocationFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.impl.AllocationImplGen
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.impl.AllocationPackageImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.util.AllocationAdapterFactory
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.util.AllocationResourceFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.util.AllocationResourceImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.util.AllocationSwitch<T>
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.allocation.util.AllocationValidator
    Modifier and Type
    Constant Field
    Value
    protected static final String
    "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
    1
    protected static final String
    "not(self.assemblyContext_AllocationContext.oclIsUndefined()) xor not(self.eventChannel__AllocationContext.oclIsUndefined())"
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
    protected static final int
    1
    public static final String
    "org.palladiosimulator.pcm.allocation"
  • org.palladiosimulator.pcm.core.impl.CoreFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.core.impl.CorePackageImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.core.impl.PCMRandomVariableImplGen
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.impl.DummyClassImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.impl.PCMBaseClassImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.impl.PCMClassImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.impl.PcmFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.impl.PcmPackageImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.impl.CharacterisedVariableImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.impl.ParameterFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.impl.ParameterPackageImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.impl.VariableCharacterisationImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.impl.VariableUsageImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.util.ParameterAdapterFactory
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.util.ParameterResourceFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.util.ParameterResourceImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.parameter.util.ParameterSwitch<T>
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.protocol.impl.ProtocolFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.protocol.impl.ProtocolImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.protocol.impl.ProtocolPackageImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.protocol.util.ProtocolAdapterFactory
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.protocol.util.ProtocolResourceFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.protocol.util.ProtocolResourceImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.protocol.util.ProtocolSwitch<T>
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.qosannotations.qos_reliability.impl.QosReliabilityFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.qosannotations.qos_reliability.impl.QosReliabilityPackageImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.qosannotations.qos_reliability.impl.SpecifiedReliabilityAnnotationImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.BasicComponentImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.CollectionDataTypeImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.CompleteComponentTypeImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.CompositeComponentImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.CompositeDataTypeImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.DataTypeImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.EventGroupImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.EventTypeImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.ExceptionTypeImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.ImplementationComponentTypeImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.InfrastructureInterfaceImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.InfrastructureProvidedRoleImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.InfrastructureRequiredRoleImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.InfrastructureSignatureImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.InnerDeclarationImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.InterfaceImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.OperationInterfaceImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.OperationProvidedRoleImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.OperationRequiredRoleImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.OperationSignatureImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.ParameterImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.PassiveResourceImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.PrimitiveDataTypeImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.ProvidedRoleImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.ProvidesComponentTypeImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.RepositoryComponentImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.RepositoryFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.RepositoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.RepositoryPackageImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.RequiredCharacterisationImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.RequiredRoleImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.RoleImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.SignatureImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.SinkRoleImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.impl.SourceRoleImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.util.RepositoryAdapterFactory
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.util.RepositoryResourceFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.util.RepositoryResourceImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.util.RepositorySwitch<T>
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.repository.util.RepositoryValidator
    Modifier and Type
    Constant Field
    Value
    protected static final String
    "self.providedRoles_InterfaceProvidingEntity->selectByType(InfrastructureProvidedRole).providedInterface__InfrastructureProvidedRole.infrastructureSignatures__InfrastructureInterface->forAll(s | self.serviceEffectSpecifications__BasicComponent->select(service | service.describedService__SEFF=s)->size()>0)"
    protected static final String
    "self.providedRoles_InterfaceProvidingEntity->selectByType(OperationProvidedRole).providedInterface__OperationProvidedRole.signatures__OperationInterface->forAll(s | self.serviceEffectSpecifications__BasicComponent->select(service | service.describedService__SEFF=s)->size()>0)"
    protected static final String
    "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
    "(\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
    "-- 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 2005-2017 by palladiosimulator.org"
    protected static final int
    0
    public static final String
    "org.palladiosimulator.pcm.repository"
    protected static final String
    "-- 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
    "-- 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
    "-- ### 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
    "-- 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
    "-- 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
    "self.protocols__Interface->forAll(p1, p2 |\r\np1.protocolTypeID <> p2.protocolTypeID)\r\n"
    protected static final String
    "-- 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
    "self.parameters__OperationSignature->isUnique(p : Parameter |\r\n\tp.parameterName\r\n)"
    protected static final String
    "self.oclIsTypeOf(ProvidesComponentType)\r\nimplies\r\nself.providedRoles_InterfaceProvidingEntity->size() >= 1"
    protected static final String
    "self.components__Repository->size()<>0 or self.dataTypes__Repository->size()<>0 or self.interfaces__Repository->size()<>0 or self.failureTypes__Repository->size()<>0"
  • org.palladiosimulator.pcm.seff.seff_performance.impl.InfrastructureCallImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "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 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.seff.seff_performance.impl.ResourceCallImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "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 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.seff.seff_performance.impl.SeffPerformancePackageImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "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 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.seff.seff_reliability.impl.RecoveryActionBehaviourImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "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 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.seff.seff_reliability.impl.SeffReliabilityFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "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 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.stochasticexpressions.parser.PCMStoExLexer
    Modifier and Type
    Constant Field
    Value
    public static final int
    49
    public static final int
    4
    public static final int
    45
    public static final int
    34
    public static final int
    38
    public static final int
    26
    public static final int
    53
    public static final int
    46
    public static final int
    47
    public static final int
    16
    public static final int
    22
    public static final int
    33
    public static final int
    30
    public static final int
    31
    public static final int
    -1
    public static final int
    9
    public static final int
    48
    public static final int
    36
    public static final int
    7
    public static final int
    11
    public static final int
    23
    public static final int
    51
    public static final int
    50
    public static final int
    43
    public static final int
    27
    public static final int
    8
    public static final int
    12
    public static final int
    54
    public static final int
    24
    public static final int
    14
    public static final int
    17
    public static final int
    15
    public static final int
    19
    public static final int
    10
    public static final int
    20
    public static final int
    40
    public static final int
    5
    public static final int
    32
    public static final int
    13
    public static final int
    18
    public static final int
    25
    public static final int
    35
    public static final int
    28
    public static final int
    29
    public static final int
    21
    public static final int
    39
    public static final int
    55
    public static final int
    56
    public static final int
    37
    public static final int
    41
    public static final int
    44
    public static final int
    42
    public static final int
    52
    public static final int
    6
  • org.palladiosimulator.pcm.stochasticexpressions.parser.PCMStoExParser
    Modifier and Type
    Constant Field
    Value
    public static final int
    49
    public static final int
    4
    public static final int
    45
    public static final int
    34
    public static final int
    38
    public static final int
    26
    public static final int
    53
    public static final int
    46
    public static final int
    47
    public static final int
    16
    public static final int
    22
    public static final int
    33
    public static final int
    30
    public static final int
    31
    public static final int
    -1
    public static final int
    9
    public static final int
    48
    public static final int
    36
    public static final int
    7
    public static final int
    11
    public static final int
    23
    public static final int
    51
    public static final int
    50
    public static final int
    43
    public static final int
    27
    public static final int
    8
    public static final int
    12
    public static final int
    54
    public static final int
    24
    public static final int
    14
    public static final int
    17
    public static final int
    15
    public static final int
    19
    public static final int
    10
    public static final int
    20
    public static final int
    40
    public static final int
    5
    public static final int
    32
    public static final int
    13
    public static final int
    18
    public static final int
    25
    public static final int
    35
    public static final int
    28
    public static final int
    29
    public static final int
    21
    public static final int
    39
    public static final int
    55
    public static final int
    56
    public static final int
    37
    public static final int
    41
    public static final int
    44
    public static final int
    42
    public static final int
    52
    public static final int
    6
  • org.palladiosimulator.pcm.stoex.ide.contentassist.antlr.internal.InternalPCMStoexLexer
    Modifier and Type
    Constant Field
    Value
    public static final int
    -1
    public static final int
    13
    public static final int
    7
    public static final int
    4
    public static final int
    9
    public static final int
    5
    public static final int
    6
    public static final int
    10
    public static final int
    11
    public static final int
    8
    public static final int
    12
    public static final int
    14
    public static final int
    15
    public static final int
    16
    public static final int
    17
    public static final int
    18
    public static final int
    19
    public static final int
    20
    public static final int
    21
    public static final int
    22
    public static final int
    23
    public static final int
    24
    public static final int
    25
    public static final int
    26
    public static final int
    27
    public static final int
    28
    public static final int
    29
    public static final int
    30
    public static final int
    31
    public static final int
    32
    public static final int
    33
    public static final int
    34
    public static final int
    35
    public static final int
    36
    public static final int
    37
    public static final int
    38
    public static final int
    39
    public static final int
    40
    public static final int
    41
    public static final int
    42
    public static final int
    43
    public static final int
    44
    public static final int
    45
    public static final int
    46
    public static final int
    47
    public static final int
    48
    public static final int
    49
  • org.palladiosimulator.pcm.stoex.ide.contentassist.antlr.internal.InternalPCMStoexParser
    Modifier and Type
    Constant Field
    Value
    public static final int
    -1
    public static final int
    13
    public static final int
    7
    public static final int
    4
    public static final int
    9
    public static final int
    5
    public static final int
    6
    public static final int
    10
    public static final int
    11
    public static final int
    8
    public static final int
    12
    public static final int
    14
    public static final int
    15
    public static final int
    16
    public static final int
    17
    public static final int
    18
    public static final int
    19
    public static final int
    20
    public static final int
    21
    public static final int
    22
    public static final int
    23
    public static final int
    24
    public static final int
    25
    public static final int
    26
    public static final int
    27
    public static final int
    28
    public static final int
    29
    public static final int
    30
    public static final int
    31
    public static final int
    32
    public static final int
    33
    public static final int
    34
    public static final int
    35
    public static final int
    36
    public static final int
    37
    public static final int
    38
    public static final int
    39
    public static final int
    40
    public static final int
    41
    public static final int
    42
    public static final int
    43
    public static final int
    44
    public static final int
    45
    public static final int
    46
    public static final int
    47
    public static final int
    48
    public static final int
    49
  • org.palladiosimulator.pcm.stoex.parser.antlr.internal.InternalPCMStoexLexer
    Modifier and Type
    Constant Field
    Value
    public static final int
    -1
    public static final int
    13
    public static final int
    6
    public static final int
    8
    public static final int
    9
    public static final int
    4
    public static final int
    5
    public static final int
    10
    public static final int
    11
    public static final int
    7
    public static final int
    12
    public static final int
    14
    public static final int
    15
    public static final int
    16
    public static final int
    17
    public static final int
    18
    public static final int
    19
    public static final int
    20
    public static final int
    21
    public static final int
    22
    public static final int
    23
    public static final int
    24
    public static final int
    25
    public static final int
    26
    public static final int
    27
    public static final int
    28
    public static final int
    29
    public static final int
    30
    public static final int
    31
    public static final int
    32
    public static final int
    33
    public static final int
    34
    public static final int
    35
    public static final int
    36
    public static final int
    37
    public static final int
    38
    public static final int
    39
    public static final int
    40
    public static final int
    41
    public static final int
    42
    public static final int
    43
    public static final int
    44
    public static final int
    45
    public static final int
    46
    public static final int
    47
    public static final int
    48
    public static final int
    49
  • org.palladiosimulator.pcm.stoex.parser.antlr.internal.InternalPCMStoexParser
    Modifier and Type
    Constant Field
    Value
    public static final int
    -1
    public static final int
    13
    public static final int
    6
    public static final int
    8
    public static final int
    9
    public static final int
    4
    public static final int
    5
    public static final int
    10
    public static final int
    11
    public static final int
    7
    public static final int
    12
    public static final int
    14
    public static final int
    15
    public static final int
    16
    public static final int
    17
    public static final int
    18
    public static final int
    19
    public static final int
    20
    public static final int
    21
    public static final int
    22
    public static final int
    23
    public static final int
    24
    public static final int
    25
    public static final int
    26
    public static final int
    27
    public static final int
    28
    public static final int
    29
    public static final int
    30
    public static final int
    31
    public static final int
    32
    public static final int
    33
    public static final int
    34
    public static final int
    35
    public static final int
    36
    public static final int
    37
    public static final int
    38
    public static final int
    39
    public static final int
    40
    public static final int
    41
    public static final int
    42
    public static final int
    43
    public static final int
    44
    public static final int
    45
    public static final int
    46
    public static final int
    47
    public static final int
    48
    public static final int
    49
  • org.palladiosimulator.pcm.subsystem.impl.SubsystemFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.subsystem.impl.SubSystemImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.subsystem.impl.SubsystemPackageImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.subsystem.util.SubsystemAdapterFactory
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.subsystem.util.SubsystemResourceFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.subsystem.util.SubsystemResourceImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.subsystem.util.SubsystemSwitch<T>
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.system.impl.SystemFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.system.impl.SystemImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.system.impl.SystemPackageImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.ui.PCMBenchUIPlugin
    Modifier and Type
    Constant Field
    Value
    public static final String
    "org.palladiosimulator.pcm.ui"
  • org.palladiosimulator.pcm.usagemodel.impl.AbstractUserActionImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.BranchImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.BranchTransitionImpl
    Modifier and Type
    Constant Field
    Value
    protected static final double
    0.0
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.ClosedWorkloadImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
    protected static final int
    0
  • org.palladiosimulator.pcm.usagemodel.impl.DelayImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.EntryLevelSystemCallImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
    protected static final int
    0
  • org.palladiosimulator.pcm.usagemodel.impl.LoopImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.OpenWorkloadImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.ScenarioBehaviourImplGen
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.StartImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.StopImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.UsagemodelFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.UsageModelImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.UsagemodelPackageImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.UsageScenarioImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.UserDataImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.usagemodel.impl.WorkloadImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.util.PcmAdapterFactory
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.util.PcmResourceFactoryImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.util.PcmResourceImpl
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"
  • org.palladiosimulator.pcm.util.PcmSwitch<T>
    Modifier and Type
    Constant Field
    Value
    public static final String
    "Copyright 2005-2017 by palladiosimulator.org"