Class SimpleConditionEvent

    • Constructor Detail

      • SimpleConditionEvent

        public SimpleConditionEvent​(java.lang.Object correspondingObject,
                                    boolean conditionSatisfied,
                                    java.lang.String message)
    • Method Detail

      • isViolation

        public boolean isViolation()
        Specified by:
        isViolation in interface ConditionEvent
        Returns:
        true, IFF this event represents a violation of an evaluated rule.
      • addInvertedTo

        public void addInvertedTo​(ConditionEvents events)
        Description copied from interface: ConditionEvent
        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 ConditionEvent.isViolation() inverted.
        Specified by:
        addInvertedTo in interface ConditionEvent
        Parameters:
        events - The events to add the 'inverted self' to
      • handleWith

        public void handleWith​(ConditionEvent.Handler handler)
        Description copied from interface: ConditionEvent
        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).
        Specified by:
        handleWith in interface ConditionEvent
        Parameters:
        handler - The handler to supply the data of this event to.
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • violated

        public static ConditionEvent violated​(java.lang.Object correspondingObject,
                                              java.lang.String message)
      • satisfied

        public static ConditionEvent satisfied​(java.lang.Object correspondingObject,
                                               java.lang.String message)