Package org.palladiosimulator.reliability.sensitivity.util

Class SensitivityValidator

java.lang.Object
org.eclipse.emf.ecore.util.EObjectValidator
org.palladiosimulator.reliability.sensitivity.util.SensitivityValidator
All Implemented Interfaces:
EValidator
public class SensitivityValidator extends EObjectValidator
The Validator for the model.
See Also:
Generated class or method.

  • Field Details

    • INSTANCE

      public static final SensitivityValidator INSTANCE
      The cached model package
      Generated class or method.

    • DIAGNOSTIC_SOURCE

      public static final String DIAGNOSTIC_SOURCE
      A constant for the source of diagnostic codes from this package.
      See Also:
      Generated class or method.

    • COMPONENT_RELIABILITY_PARAMETER__COMPONENT_RELIABILITY_PARAMETER_MUST_HAVE_DOUBLE_VARIATION

      public static final int COMPONENT_RELIABILITY_PARAMETER__COMPONENT_RELIABILITY_PARAMETER_MUST_HAVE_DOUBLE_VARIATION
      The code for constraint 'Component Reliability Parameter Must Have Double Variation' of 'Component Reliability Parameter'.
      See Also:
      Generated class or method.

    • INTERNAL_ACTION_RELIABILITY_PARAMETER__INTERNAL_ACTION_RELIABILITY_PARAMETER_MUST_HAVE_DOUBLE_VARIATION

      public static final int INTERNAL_ACTION_RELIABILITY_PARAMETER__INTERNAL_ACTION_RELIABILITY_PARAMETER_MUST_HAVE_DOUBLE_VARIATION
      The code for constraint 'Internal Action Reliability Parameter Must Have Double Variation' of 'Internal Action Reliability Parameter'.
      See Also:
      Generated class or method.

    • PROBABILISTIC_BRANCH_PARAMETER__PROBABILISTIC_BRANCH_PARAMETER_MUST_HAVE_DOUBLE_VARIATION

      public static final int PROBABILISTIC_BRANCH_PARAMETER__PROBABILISTIC_BRANCH_PARAMETER_MUST_HAVE_DOUBLE_VARIATION
      The code for constraint 'Probabilistic Branch Parameter Must Have Double Variation' of 'Probabilistic Branch Parameter'.
      See Also:
      Generated class or method.

    • HARDWARE_MTTF_PARAMETER__HARDWARE_MTTF_PARAMETER_MUST_HAVE_DOUBLE_VARIATION

      public static final int HARDWARE_MTTF_PARAMETER__HARDWARE_MTTF_PARAMETER_MUST_HAVE_DOUBLE_VARIATION
      The code for constraint 'Hardware MTTF Parameter Must Have Double Variation' of 'Hardware MTTF Parameter'.
      See Also:
      Generated class or method.

    • HARDWARE_MTTR_PARAMETER__HARDWARE_MTTR_PARAMETER_MUST_HAVE_DOUBLE_VARIATION

      public static final int HARDWARE_MTTR_PARAMETER__HARDWARE_MTTR_PARAMETER_MUST_HAVE_DOUBLE_VARIATION
      The code for constraint 'Hardware MTTR Parameter Must Have Double Variation' of 'Hardware MTTR Parameter'.
      See Also:
      Generated class or method.

    • RESOURCE_MTTF_PARAMETER__RESOURCE_MTTF_PARAMETER_MUST_HAVE_DOUBLE_VARIATION

      public static final int RESOURCE_MTTF_PARAMETER__RESOURCE_MTTF_PARAMETER_MUST_HAVE_DOUBLE_VARIATION
      The code for constraint 'Resource MTTF Parameter Must Have Double Variation' of 'Resource MTTF Parameter'.
      See Also:
      Generated class or method.

    • RESOURCE_MTTR_PARAMETER__RESOURCE_MTTR_PARAMETER_MUST_HAVE_DOUBLE_VARIATION

      public static final int RESOURCE_MTTR_PARAMETER__RESOURCE_MTTR_PARAMETER_MUST_HAVE_DOUBLE_VARIATION
      The code for constraint 'Resource MTTR Parameter Must Have Double Variation' of 'Resource MTTR Parameter'.
      See Also:
      Generated class or method.

    • NETWORK_RELIABILITY_PARAMETER__NETWORK_RELIABILITY_PARAMETER_MUST_HAVE_DOUBLE_VARIATION

      public static final int NETWORK_RELIABILITY_PARAMETER__NETWORK_RELIABILITY_PARAMETER_MUST_HAVE_DOUBLE_VARIATION
      The code for constraint 'Network Reliability Parameter Must Have Double Variation' of 'Network Reliability Parameter'.
      See Also:
      Generated class or method.

    • COMMUNICATION_LINK_RELIABILITY_PARAMETER__COMMUNICATION_LINK_PARAMETER_MUST_HAVE_DOUBLE_VARIATION

      public static final int COMMUNICATION_LINK_RELIABILITY_PARAMETER__COMMUNICATION_LINK_PARAMETER_MUST_HAVE_DOUBLE_VARIATION
      The code for constraint 'Communication Link Parameter Must Have Double Variation' of 'Communication Link Reliability Parameter'.
      See Also:
      Generated class or method.

    • SOFTWARE_RELIABILITY_PARAMETER__SOFTWARE_RELIABILITY_PARAMETER_MUST_HAVE_DOUBLE_VARIATION

      public static final int SOFTWARE_RELIABILITY_PARAMETER__SOFTWARE_RELIABILITY_PARAMETER_MUST_HAVE_DOUBLE_VARIATION
      The code for constraint 'Software Reliability Parameter Must Have Double Variation' of 'Software Reliability Parameter'.
      See Also:
      Generated class or method.

    • VARIABLE_USAGE_PARAMETER__SYSTEM_CALL_PARAMETER_MUST_HAVE_STRING_SEQUENCE

      public static final int VARIABLE_USAGE_PARAMETER__SYSTEM_CALL_PARAMETER_MUST_HAVE_STRING_SEQUENCE
      The code for constraint 'System Call Parameter Must Have String Sequence' of 'Variable Usage Parameter'.
      See Also:
      Generated class or method.

    • USAGE_BRANCH_PARAMETER__USAGE_BRANCH_PARAMETER_MUST_HAVE_DOUBLE_VARIATION

      public static final int USAGE_BRANCH_PARAMETER__USAGE_BRANCH_PARAMETER_MUST_HAVE_DOUBLE_VARIATION
      The code for constraint 'Usage Branch Parameter Must Have Double Variation' of 'Usage Branch Parameter'.
      See Also:
      Generated class or method.

    • SOFTWARE_FAILURE_TYPES_PARAMETER__SOFTWARE_FAILURE_TYPE_RELIABILITY_PARAMETER_MUST_HAVE_DOUBLE_VARIATION

      public static final int SOFTWARE_FAILURE_TYPES_PARAMETER__SOFTWARE_FAILURE_TYPE_RELIABILITY_PARAMETER_MUST_HAVE_DOUBLE_VARIATION
      The code for constraint 'Software Failure Type Reliability Parameter Must Have Double Variation' of 'Software Failure Types Parameter'.
      See Also:
      Generated class or method.

    • DIAGNOSTIC_CODE_COUNT

      protected static final int DIAGNOSTIC_CODE_COUNT
      A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.
      See Also:
      Generated class or method.

  • Constructor Details

    • SensitivityValidator

      public SensitivityValidator()
      Creates an instance of the switch.
      Generated class or method.

  • Method Details

    • getEPackage

      protected EPackage getEPackage()
      Returns the package of this validator switch.
      Overrides:
      getEPackage in class EObjectValidator
      Generated class or method.

    • validate

      protected boolean validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object,Object> context)
      Calls validateXXX for the corresponding classifier of the model.
      Overrides:
      validate in class EObjectValidator
      Generated class or method.

    • validateSensitivityConfiguration

      public boolean validateSensitivityConfiguration(SensitivityConfiguration sensitivityConfiguration, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateSensitivityParameter

      public boolean validateSensitivityParameter(SensitivityParameter sensitivityParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateCombinedSensitivityParameter

      public boolean validateCombinedSensitivityParameter(CombinedSensitivityParameter combinedSensitivityParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateSensitivityResultSpecification

      public boolean validateSensitivityResultSpecification(SensitivityResultSpecification sensitivityResultSpecification, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateSingleSensitivityParameter

      public boolean validateSingleSensitivityParameter(SingleSensitivityParameter singleSensitivityParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateSensitivityParameterVariation

      public boolean validateSensitivityParameterVariation(SensitivityParameterVariation sensitivityParameterVariation, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateComponentReliabilityParameter

      public boolean validateComponentReliabilityParameter(ComponentReliabilityParameter componentReliabilityParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateComponentReliabilityParameter_ComponentReliabilityParameterMustHaveDoubleVariation

      public boolean validateComponentReliabilityParameter_ComponentReliabilityParameterMustHaveDoubleVariation(ComponentReliabilityParameter componentReliabilityParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the ComponentReliabilityParameterMustHaveDoubleVariation constraint of ' Component Reliability Parameter'.
      Generated class or method.

    • validateDoubleParameterVariation

      public boolean validateDoubleParameterVariation(DoubleParameterVariation doubleParameterVariation, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateStringParameterSequence

      public boolean validateStringParameterSequence(StringParameterSequence stringParameterSequence, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateDoubleParameterRange

      public boolean validateDoubleParameterRange(DoubleParameterRange doubleParameterRange, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateDoubleParameterSequence

      public boolean validateDoubleParameterSequence(DoubleParameterSequence doubleParameterSequence, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateDoubleParameterFunction

      public boolean validateDoubleParameterFunction(DoubleParameterFunction doubleParameterFunction, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateInternalActionReliabilityParameter

      public boolean validateInternalActionReliabilityParameter(InternalActionReliabilityParameter internalActionReliabilityParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateInternalActionReliabilityParameter_InternalActionReliabilityParameterMustHaveDoubleVariation

      public boolean validateInternalActionReliabilityParameter_InternalActionReliabilityParameterMustHaveDoubleVariation(InternalActionReliabilityParameter internalActionReliabilityParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the InternalActionReliabilityParameterMustHaveDoubleVariation constraint of ' Internal Action Reliability Parameter'.
      Generated class or method.

    • validateProbabilisticBranchParameter

      public boolean validateProbabilisticBranchParameter(ProbabilisticBranchParameter probabilisticBranchParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateProbabilisticBranchParameter_ProbabilisticBranchParameterMustHaveDoubleVariation

      public boolean validateProbabilisticBranchParameter_ProbabilisticBranchParameterMustHaveDoubleVariation(ProbabilisticBranchParameter probabilisticBranchParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the ProbabilisticBranchParameterMustHaveDoubleVariation constraint of ' Probabilistic Branch Parameter'.
      Generated class or method.

    • validateHardwareMTTFParameter

      public boolean validateHardwareMTTFParameter(HardwareMTTFParameter hardwareMTTFParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateHardwareMTTFParameter_HardwareMTTFParameterMustHaveDoubleVariation

      public boolean validateHardwareMTTFParameter_HardwareMTTFParameterMustHaveDoubleVariation(HardwareMTTFParameter hardwareMTTFParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the HardwareMTTFParameterMustHaveDoubleVariation constraint of ' Hardware MTTF Parameter'.
      Generated class or method.

    • validateHardwareMTTRParameter

      public boolean validateHardwareMTTRParameter(HardwareMTTRParameter hardwareMTTRParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateHardwareMTTRParameter_HardwareMTTRParameterMustHaveDoubleVariation

      public boolean validateHardwareMTTRParameter_HardwareMTTRParameterMustHaveDoubleVariation(HardwareMTTRParameter hardwareMTTRParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the HardwareMTTRParameterMustHaveDoubleVariation constraint of ' Hardware MTTR Parameter'.
      Generated class or method.

    • validateResourceMTTFParameter

      public boolean validateResourceMTTFParameter(ResourceMTTFParameter resourceMTTFParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateResourceMTTFParameter_ResourceMTTFParameterMustHaveDoubleVariation

      public boolean validateResourceMTTFParameter_ResourceMTTFParameterMustHaveDoubleVariation(ResourceMTTFParameter resourceMTTFParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the ResourceMTTFParameterMustHaveDoubleVariation constraint of ' Resource MTTF Parameter'.
      Generated class or method.

    • validateResourceMTTRParameter

      public boolean validateResourceMTTRParameter(ResourceMTTRParameter resourceMTTRParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateResourceMTTRParameter_ResourceMTTRParameterMustHaveDoubleVariation

      public boolean validateResourceMTTRParameter_ResourceMTTRParameterMustHaveDoubleVariation(ResourceMTTRParameter resourceMTTRParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the ResourceMTTRParameterMustHaveDoubleVariation constraint of ' Resource MTTR Parameter'.
      Generated class or method.

    • validateNetworkReliabilityParameter

      public boolean validateNetworkReliabilityParameter(NetworkReliabilityParameter networkReliabilityParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateNetworkReliabilityParameter_NetworkReliabilityParameterMustHaveDoubleVariation

      public boolean validateNetworkReliabilityParameter_NetworkReliabilityParameterMustHaveDoubleVariation(NetworkReliabilityParameter networkReliabilityParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the NetworkReliabilityParameterMustHaveDoubleVariation constraint of ' Network Reliability Parameter'.
      Generated class or method.

    • validateCommunicationLinkReliabilityParameter

      public boolean validateCommunicationLinkReliabilityParameter(CommunicationLinkReliabilityParameter communicationLinkReliabilityParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateCommunicationLinkReliabilityParameter_CommunicationLinkParameterMustHaveDoubleVariation

      public boolean validateCommunicationLinkReliabilityParameter_CommunicationLinkParameterMustHaveDoubleVariation(CommunicationLinkReliabilityParameter communicationLinkReliabilityParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the CommunicationLinkParameterMustHaveDoubleVariation constraint of ' Communication Link Reliability Parameter'.
      Generated class or method.

    • validateSoftwareReliabilityParameter

      public boolean validateSoftwareReliabilityParameter(SoftwareReliabilityParameter softwareReliabilityParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateSoftwareReliabilityParameter_SoftwareReliabilityParameterMustHaveDoubleVariation

      public boolean validateSoftwareReliabilityParameter_SoftwareReliabilityParameterMustHaveDoubleVariation(SoftwareReliabilityParameter softwareReliabilityParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the SoftwareReliabilityParameterMustHaveDoubleVariation constraint of ' Software Reliability Parameter'.
      Generated class or method.

    • validateVariableUsageParameter

      public boolean validateVariableUsageParameter(VariableUsageParameter variableUsageParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateVariableUsageParameter_SystemCallParameterMustHaveStringSequence

      public boolean validateVariableUsageParameter_SystemCallParameterMustHaveStringSequence(VariableUsageParameter variableUsageParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the SystemCallParameterMustHaveStringSequence constraint of ' Variable Usage Parameter'.
      Generated class or method.

    • validateUsageBranchParameter

      public boolean validateUsageBranchParameter(UsageBranchParameter usageBranchParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateUsageBranchParameter_UsageBranchParameterMustHaveDoubleVariation

      public boolean validateUsageBranchParameter_UsageBranchParameterMustHaveDoubleVariation(UsageBranchParameter usageBranchParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the UsageBranchParameterMustHaveDoubleVariation constraint of ' Usage Branch Parameter'.
      Generated class or method.

    • validateDoubleOffsetSequence

      public boolean validateDoubleOffsetSequence(DoubleOffsetSequence doubleOffsetSequence, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateSoftwareFailureTypesParameter

      public boolean validateSoftwareFailureTypesParameter(SoftwareFailureTypesParameter softwareFailureTypesParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateSoftwareFailureTypesParameter_SoftwareFailureTypeReliabilityParameterMustHaveDoubleVariation

      public boolean validateSoftwareFailureTypesParameter_SoftwareFailureTypeReliabilityParameterMustHaveDoubleVariation(SoftwareFailureTypesParameter softwareFailureTypesParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the SoftwareFailureTypeReliabilityParameterMustHaveDoubleVariation constraint of ' Software Failure Types Parameter'.
      Generated class or method.

    • validateFailureTypeResultSpecification

      public boolean validateFailureTypeResultSpecification(FailureTypeResultSpecification failureTypeResultSpecification, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateFailureDimensionResultSpecification

      public boolean validateFailureDimensionResultSpecification(FailureDimensionResultSpecification failureDimensionResultSpecification, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateVariableUsageType

      public boolean validateVariableUsageType(VariableUsageType variableUsageType, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateDoubleOffsetType

      public boolean validateDoubleOffsetType(DoubleOffsetType doubleOffsetType, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateFailureDimension

      public boolean validateFailureDimension(FailureDimension failureDimension, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • getResourceLocator

      public ResourceLocator getResourceLocator()
      Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
      Overrides:
      getResourceLocator in class EObjectValidator
      Generated class or method.