Interface ConditionEvent

    • Method Detail

      • isViolation

        boolean isViolation()
        Returns:
        true if this event represents a violation of an evaluated rule, false otherwise
      • addInvertedTo

        void addInvertedTo​(ConditionEvents events)
        Adds the 'opposite' of the event.
        E.g. The event is a violation, if some conditions A and B are both true?
        -> The 'inverted' event is a violation if either A or B (or both) are not true
        In the most simple case, this is just an equivalent event evaluating isViolation() inverted.
        Parameters:
        events - The events to add the 'inverted self' to
      • getDescriptionLines

        java.util.List<java.lang.String> getDescriptionLines()
        Returns:
        A textual description of this event as a list of lines
      • handleWith

        @PublicAPI(usage=INHERITANCE,
                   state=EXPERIMENTAL)
        void handleWith​(ConditionEvent.Handler handler)
        Supplies the corresponding objects and description to the supplied handler.

        The term "corresponding objects" refers to the objects involved in the evaluation of this rule. E.g. the rule checks for illegal field accesses, then this object might be a single field access checked by the rule.
        May also be a collection of objects, if the evaluation of the rule depends on sets of objects. E.g. the rule checks that some access to another class happened? The rule can only be violated, by a whole set (all accesses from a class) of objects, but not by a single one (if there is more than one).
        Parameters:
        handler - The handler to supply the data of this event to.