Interface ConsiderIgnoreFragment

    • Method Detail

      • getMessage

        NamedElement getMessage​(String name,
                                boolean ignoreCase,
                                org.eclipse.emf.ecore.EClass eClass)
        Retrieves the first NamedElement with the specified 'Name' from the ' Message' reference list.
        Parameters:
        name - The 'Name' of the NamedElement to retrieve, or null.
        ignoreCase - Whether to ignore case in String comparisons.
        eClass - The Ecore class of the NamedElement to retrieve, or null.
        Returns:
        The first NamedElement with the specified 'Name', or null.
        See Also:
        getMessages()
      • validateConsiderOrIgnore

        boolean validateConsiderOrIgnore​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         Map context)
        The interaction operator of a ConsiderIgnoreFragment must be either 'consider' or 'ignore'. (interactionOperator = #consider) or (interactionOperator = #ignore)
      • validateType

        boolean validateType​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                             Map context)
        The NamedElements must be of a type of element that identifies a message (e.g., an Operation, Reception, or a Signal). message->forAll(m | m.oclIsKindOf(Operation) or m.oclIsKindOf(Reception) or m.oclIsKindOf(Signal))