Package org.palladiosimulator.analyzer.quality.qualityannotation

Interface PCMRECategory

    • Method Detail

      • NextLowerHierarchyLevelIsPCMREInfrastructureInterfaceForCategoryInfrastructure

        boolean NextLowerHierarchyLevelIsPCMREInfrastructureInterfaceForCategoryInfrastructure​(DiagnosticChain diagnostics,
                                                                                       Map<Object,​Object> context)
        Parameters:
        diagnostics - The chain of diagnostics to which problems are to be appended.
        context - The cache of context-specific information.
        Generated class or method.
        EMF model class or method.
        annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='self.category = PCMRERequestCategory::Infrastructure implies self.childREs->forAll(child | child.oclIsTypeOf(PCMREInfrastructureInterface))'"

      • ExistingREPrecisionCallParameterMustBeNoPrecisionDueToTheNonExistenceOfParametersForCategoryResourceDemand

        boolean ExistingREPrecisionCallParameterMustBeNoPrecisionDueToTheNonExistenceOfParametersForCategoryResourceDemand​(DiagnosticChain diagnostics,
                                                                                                                   Map<Object,​Object> context)
        Parameters:
        diagnostics - The chain of diagnostics to which problems are to be appended.
        context - The cache of context-specific information.
        Generated class or method.
        EMF model class or method.
        annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='(self.precision->size() > 0 and category = PCMRERequestCategory::ResourceDemand) implies self.precision.defaultPrecisionCallParameter.oclIsTypeOf(NoPrecision)\r\n'"

      • NextLowerHierarchyLevelIsPCMREResourceInterfaceForCategoryResource

        boolean NextLowerHierarchyLevelIsPCMREResourceInterfaceForCategoryResource​(DiagnosticChain diagnostics,
                                                                           Map<Object,​Object> context)
        Parameters:
        diagnostics - The chain of diagnostics to which problems are to be appended.
        context - The cache of context-specific information.
        Generated class or method.
        EMF model class or method.
        annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='self.category = PCMRERequestCategory::Resource implies self.childREs->forAll(child | child.oclIsTypeOf(PCMREResourceInterface))'"

      • NextLowerHierarchyLevelIsPCMREInterfaceForCategoryComponent

        boolean NextLowerHierarchyLevelIsPCMREInterfaceForCategoryComponent​(DiagnosticChain diagnostics,
                                                                    Map<Object,​Object> context)
        Parameters:
        diagnostics - The chain of diagnostics to which problems are to be appended.
        context - The cache of context-specific information.
        Generated class or method.
        EMF model class or method.
        annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='self.category = PCMRERequestCategory::Component implies self.childREs->forAll(child | child.oclIsTypeOf(PCMREInterface))'"

      • NextLowerHierarchyLevelIsPCMREResourceForCategoryResourceDemand

        boolean NextLowerHierarchyLevelIsPCMREResourceForCategoryResourceDemand​(DiagnosticChain diagnostics,
                                                                        Map<Object,​Object> context)
        Parameters:
        diagnostics - The chain of diagnostics to which problems are to be appended.
        context - The cache of context-specific information.
        Generated class or method.
        EMF model class or method.
        annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='self.category = PCMRERequestCategory::ResourceDemand implies self.childREs->forAll(child | child.oclIsTypeOf(PCMREResource))'"

      • NextLowerHierarchyLevelIsPCMRECIBehaviorForCategoryComponentInternal

        boolean NextLowerHierarchyLevelIsPCMRECIBehaviorForCategoryComponentInternal​(DiagnosticChain diagnostics,
                                                                             Map<Object,​Object> context)
        Parameters:
        diagnostics - The chain of diagnostics to which problems are to be appended.
        context - The cache of context-specific information.
        Generated class or method.
        EMF model class or method.
        annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='self.category = PCMRERequestCategory::ComponentInternal implies self.childREs->forAll(child | child.oclIsTypeOf(PCMRECIBehavior))'"

      • EachCategoryExactlyOnceIfSpecified

        boolean EachCategoryExactlyOnceIfSpecified​(DiagnosticChain diagnostics,
                                           Map<Object,​Object> context)
        Parameters:
        diagnostics - The chain of diagnostics to which problems are to be appended.
        context - The cache of context-specific information.
        Generated class or method.
        EMF model class or method.
        annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='self.qualityAnnotation.stipulatedREPrecisions->select(pcmre | pcmre.oclIsTypeOf(PCMRECategory) and pcmre.oclAsType(PCMRECategory).category = self.category)->size() = 1'"