Class DocumentValidator

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void checkConflictingAttributes​(Document document, java.lang.Object attr1, java.lang.Object attr2, java.lang.String attr1Name, java.lang.String attr2Name)
      Self-beating attributes are two attributes, that should not be present inside their parent at the same time.
      void checkDeprecatedAttributes​(Document document)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • DocumentValidator

        public DocumentValidator()
    • Method Detail

      • checkConflictingAttributes

        public void checkConflictingAttributes​(Document document,
                                               java.lang.Object attr1,
                                               java.lang.Object attr2,
                                               java.lang.String attr1Name,
                                               java.lang.String attr2Name)
                                        throws BeatingAttributesException
        Description copied from interface: IDocumentValidator
        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.
        Specified by:
        checkConflictingAttributes in interface IDocumentValidator
        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