|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectnet.sf.saxon.event.SequenceReceiver
net.sf.saxon.event.ProxyReceiver
net.sf.saxon.event.TypeCheckingFilter
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.
| Field Summary |
| Fields inherited from class net.sf.saxon.event.ProxyReceiver |
nextReceiver |
| Fields inherited from class net.sf.saxon.event.SequenceReceiver |
pipelineConfiguration, previousAtomic, systemId |
| Fields inherited from interface javax.xml.transform.Result |
PI_DISABLE_OUTPUT_ESCAPING, PI_ENABLE_OUTPUT_ESCAPING |
| Constructor Summary | |
TypeCheckingFilter()
|
|
| Method Summary | |
void |
append(Item item,
int locationId,
int copyNamespaces)
Output an item (atomic value or node) to the sequence |
void |
attribute(int nameCode,
int typeCode,
java.lang.CharSequence value,
int locationId,
int properties)
Notify an attribute. |
void |
characters(java.lang.CharSequence chars,
int locationId,
int properties)
Character data |
void |
close()
End of event stream |
void |
comment(java.lang.CharSequence chars,
int locationId,
int properties)
Output a comment |
void |
endDocument()
Notify the end of a document node |
void |
endElement()
End of element |
void |
namespace(int namespaceCode,
int properties)
Notify a namespace. |
void |
processingInstruction(java.lang.String target,
java.lang.CharSequence data,
int locationId,
int properties)
Processing Instruction |
void |
setRequiredType(ItemType type,
int cardinality,
RoleLocator role)
|
void |
startDocument(int properties)
Start of a document node. |
void |
startElement(int nameCode,
int typeCode,
int locationId,
int properties)
Notify the start of an element |
| Methods inherited from class net.sf.saxon.event.ProxyReceiver |
getConfiguration, getDocumentLocator, getNamePool, getUnderlyingReceiver, open, setPipelineConfiguration, setSystemId, setUnderlyingReceiver, setUnparsedEntity, startContent |
| Methods inherited from class net.sf.saxon.event.SequenceReceiver |
getPipelineConfiguration, getSystemId |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public TypeCheckingFilter()
| Method Detail |
public void setRequiredType(ItemType type,
int cardinality,
RoleLocator role)
public void attribute(int nameCode,
int typeCode,
java.lang.CharSequence value,
int locationId,
int properties)
throws XPathException
attribute in interface Receiverattribute in class ProxyReceivernameCode - The name of the attribute, as held in the name pooltypeCode - The type of the attribute, as held in the name poolproperties - Bit significant value. The following bits are defined:
IllegalStateException: - attempt to output an attribute when there is no open element
start tag
XPathException
public void characters(java.lang.CharSequence chars,
int locationId,
int properties)
throws XPathException
characters in interface Receivercharacters in class ProxyReceiverXPathException
public void comment(java.lang.CharSequence chars,
int locationId,
int properties)
throws XPathException
comment in interface Receivercomment in class ProxyReceiverXPathException
public void namespace(int namespaceCode,
int properties)
throws XPathException
namespace in interface Receivernamespace in class ProxyReceivernamespaceCode - 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 of
zero represents the empty prefix (that is, the default namespace). A URI code of zero represents
a URI of "", that is, a namespace undeclaration.
IllegalStateException: - attempt to output a namespace when there is no open element
start tag
XPathException
public void processingInstruction(java.lang.String target,
java.lang.CharSequence data,
int locationId,
int properties)
throws XPathException
processingInstruction in interface ReceiverprocessingInstruction in class ProxyReceiverXPathException
public void startDocument(int properties)
throws XPathException
startDocument in interface ReceiverstartDocument in class ProxyReceiverXPathException
public void startElement(int nameCode,
int typeCode,
int locationId,
int properties)
throws XPathException
startElement in interface ReceiverstartElement in class ProxyReceivernameCode - integer code identifying the name of the element within the name pool.typeCode - integer code identifying the element's type within the name pool.properties - properties of the element node
XPathException
public void endDocument()
throws XPathException
endDocument in interface ReceiverendDocument in class ProxyReceiverXPathException
public void endElement()
throws XPathException
endElement in interface ReceiverendElement in class ProxyReceiverXPathException
public void close()
throws XPathException
close in interface Receiverclose in class ProxyReceiverXPathException
public void append(Item item,
int locationId,
int copyNamespaces)
throws XPathException
append in class SequenceReceiverXPathException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||