parser.absconparseur.tools
Class DocumentModifier
java.lang.Object
parser.absconparseur.tools.DocumentModifier
public class DocumentModifier
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DocumentModifier
public DocumentModifier()
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.