parser.absconparseur.tools
Class DocumentModifier

java.lang.Object
  extended by parser.absconparseur.tools.DocumentModifier

public class DocumentModifier
extends Object


Constructor Summary
DocumentModifier()
           
 
Method Summary
static boolean areOrderedChilds(Document document, String tagName1, String tagName2)
           
static boolean isPresentChild(Document document, String tagName)
           
static Document modifyDocumentFrom(InstanceCheckerEngine logic, Document document, InstanceCheckerParser problem)
           
static Document setCanonicalFormOf(InstanceCheckerEngine logic, Document document, boolean canonicalNames, int maxConstraintArity)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DocumentModifier

public DocumentModifier()
Method Detail

isPresentChild

public static boolean isPresentChild(Document document,
                                     String tagName)

areOrderedChilds

public static boolean areOrderedChilds(Document document,
                                       String tagName1,
                                       String tagName2)

modifyDocumentFrom

public static Document modifyDocumentFrom(InstanceCheckerEngine logic,
                                          Document document,
                                          InstanceCheckerParser problem)

setCanonicalFormOf

public static Document setCanonicalFormOf(InstanceCheckerEngine logic,
                                          Document document,
                                          boolean canonicalNames,
                                          int maxConstraintArity)


Copyright © 2012. All Rights Reserved.