| java.lang.Object net.sf.saxon.event.SequenceReceiver net.sf.saxon.event.ProxyReceiver net.sf.saxon.event.TypeCheckingFilter
TypeCheckingFilter | public class TypeCheckingFilter extends ProxyReceiver (Code) | | A filter on the push pipeline that performs type checking, both of the item type and the
cardinality.
Note that the TypeCheckingFilter cannot currently check document node tests of the form
document-node(element(X,Y)), so it is not invoked in such cases. This isn't a big problem, because most
instructions that return document nodes materialize them anyway.
|
Method Summary | |
public void | append(Item item, int locationId, int copyNamespaces) | public void | attribute(int nameCode, int typeCode, CharSequence value, int locationId, int properties) Notify an attribute. | public void | characters(CharSequence chars, int locationId, int properties) | public void | close() | public void | comment(CharSequence chars, int locationId, int properties) | public void | endDocument() | public void | endElement() | public void | namespace(int namespaceCode, int properties) Notify a namespace. | public void | processingInstruction(String target, CharSequence data, int locationId, int properties) | public void | setRequiredType(ItemType type, int cardinality, RoleLocator role) | public void | startDocument(int properties) Start of a document node. | public void | startElement(int nameCode, int typeCode, int locationId, int properties) |
append | public void append(Item item, int locationId, int copyNamespaces) throws XPathException(Code) | | Output an item (atomic value or node) to the sequence
|
attribute | public void attribute(int nameCode, int typeCode, CharSequence value, int locationId, int properties) throws XPathException(Code) | | Notify an attribute. Attributes are notified after the startElement event, and before any
children. Namespaces and attributes may be intermingled.
Parameters: nameCode - The name of the attribute, as held in the name pool Parameters: typeCode - The type of the attribute, as held in the name pool Parameters: properties - Bit significant value. The following bits are defined:DISABLE_ESCAPING Disable escaping for this attributeNO_SPECIAL_CHARACTERS Attribute value contains no special characters throws: IllegalStateException - : attempt to output an attribute when there is no open elementstart tag |
namespace | public void namespace(int namespaceCode, int properties) throws XPathException(Code) | | Notify a namespace. Namespaces are notified after the startElement event, and before
any children for the element. The namespaces that are reported are only required
to include those that are different from the parent element; however, duplicates may be reported.
A namespace must not conflict with any namespaces already used for element or attribute names.
Parameters: namespaceCode - an integer: the top half is a prefix code, the bottom half a URI code.These may be translated into an actual prefix and URI using the name pool. A prefix code ofzero represents the empty prefix (that is, the default namespace). A URI code of zero representsa URI of "", that is, a namespace undeclaration. throws: IllegalStateException - : attempt to output a namespace when there is no open elementstart tag |
startDocument | public void startDocument(int properties) throws XPathException(Code) | | Start of a document node.
|
startElement | public void startElement(int nameCode, int typeCode, int locationId, int properties) throws XPathException(Code) | | Notify the start of an element
Parameters: nameCode - integer code identifying the name of the element within the name pool. Parameters: typeCode - integer code identifying the element's type within the name pool. Parameters: properties - properties of the element node |
Methods inherited from net.sf.saxon.event.ProxyReceiver | public void attribute(int nameCode, int typeCode, CharSequence value, int locationId, int properties) throws XPathException(Code)(Java Doc) public void characters(CharSequence chars, int locationId, int properties) throws XPathException(Code)(Java Doc) public void close() throws XPathException(Code)(Java Doc) public void comment(CharSequence chars, int locationId, int properties) throws XPathException(Code)(Java Doc) public void endDocument() throws XPathException(Code)(Java Doc) public void endElement() throws XPathException(Code)(Java Doc) public Configuration getConfiguration()(Code)(Java Doc) public LocationProvider getDocumentLocator()(Code)(Java Doc) public NamePool getNamePool()(Code)(Java Doc) public String getSystemId()(Code)(Java Doc) public Receiver getUnderlyingReceiver()(Code)(Java Doc) public void namespace(int namespaceCode, int properties) throws XPathException(Code)(Java Doc) public void open() throws XPathException(Code)(Java Doc) public void processingInstruction(String target, CharSequence data, int locationId, int properties) throws XPathException(Code)(Java Doc) public void setPipelineConfiguration(PipelineConfiguration config)(Code)(Java Doc) public void setSystemId(String systemId)(Code)(Java Doc) public void setUnderlyingReceiver(Receiver receiver)(Code)(Java Doc) public void setUnparsedEntity(String name, String uri, String publicId) throws XPathException(Code)(Java Doc) public void startContent() throws XPathException(Code)(Java Doc) public void startDocument(int properties) throws XPathException(Code)(Java Doc) public void startElement(int nameCode, int typeCode, int locationId, int properties) throws XPathException(Code)(Java Doc)
|
|
|