SAXParserFactory (JML and MultiJava documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

javax.xml.parsers
Class SAXParserFactory

java.lang.Object
  javax.xml.parsers.SAXParserFactory

public abstract class SAXParserFactory
extends Object

Class Specifications

Specifications inherited from class Object

represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT;
public represents _getClass <- \typeof(this);

Model Field Summary

Model fields inherited from class java.lang.Object

_getClass, objectState, theString

Ghost Field Summary

Ghost fields inherited from class java.lang.Object

objectTimesFinalized, owner

Constructor Summary

protected SAXParserFactory()


Model Method Summary

Model methods inherited from class java.lang.Object

hashValue

Method Summary

abstract boolean getFeature(non_null String name)


boolean isNamespaceAware()


boolean isValidating()


static SAXParserFactory newInstance()


abstract SAXParser newSAXParser()


abstract void setFeature(non_null String name, boolean value)


void setNamespaceAware(boolean awareness)


void setValidating(boolean validating)


Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SAXParserFactory

protected SAXParserFactory()

Method Detail

newInstance

public static SAXParserFactory newInstance()
                                    throws FactoryConfigurationError

Throws:: FactoryConfigurationError

Specifications: non_null

newSAXParser

public abstract SAXParser newSAXParser()
                                throws ParserConfigurationException,
                                       SAXException

Throws:: ParserConfigurationException; SAXException

Specifications: non_null

setNamespaceAware

public void setNamespaceAware(boolean awareness)

setValidating

public void setValidating(boolean validating)

isNamespaceAware

public boolean isNamespaceAware()

isValidating

public boolean isValidating()

setFeature

public abstract void setFeature(non_null String name,
                                boolean value)
                         throws ParserConfigurationException,
                                SAXNotRecognizedException,
                                SAXNotSupportedException

Throws:: ParserConfigurationException; SAXNotRecognizedException; SAXNotSupportedException

getFeature

public abstract boolean getFeature(non_null String name)
                            throws ParserConfigurationException,
                                   SAXNotRecognizedException,
                                   SAXNotSupportedException

Throws:: ParserConfigurationException; SAXNotRecognizedException; SAXNotSupportedException