package tc.oc.pgm.xml;
import org.jdom2.Element;
import org.jdom2.Namespace;
import org.jdom2.located.LocatedJDOMFactory;
public class BoundedJDOMFactory extends LocatedJDOMFactory {
@Override
public Element element(int line, int col, String name, Namespace namespace) {
return new BoundedElement(name, namespace);
}
@Override
public Element element(int line, int col, String name) {
return new BoundedElement(name);
}
@Override
public Element element(int line, int col, String name, String uri) {
return new BoundedElement(name, uri);
}
@Override
public Element element(int line, int col, String name, String prefix, String uri) {
return new BoundedElement(name, prefix, uri);
}
}