Interface IDocumentValidator

    • Method Detail

      • checkDeprecatedAttributes

        void checkDeprecatedAttributes​(Document document)
      • checkConflictingAttributes

        void checkConflictingAttributes​(Document document,
                                        java.lang.Object attr1,
                                        java.lang.Object attr2,
                                        java.lang.String attr1Name,
                                        java.lang.String attr2Name)
                                 throws BeatingAttributesException
        Self-beating attributes are two attributes, that should not be present inside their parent at the same time. E.g.: if user defines in transition, the tag will be disabled, however, additional tags can be still added.
        Parameters:
        document - the model of PetriNet
        attr1 - first element to be compared
        attr2 - second element to be compared
        attr1Name - the name of first element
        attr2Name - the name of second element
        Throws:
        BeatingAttributesException - is thrown when there are two attributes with different type but same goal