CardinalityChecker.CardinalityCheckerElaborator

java.lang.Object
- net.sf.saxon.expr.elab.Elaborator
- - net.sf.saxon.expr.elab.PullElaborator
  - - net.sf.saxon.expr.CardinalityChecker.CardinalityCheckerElaborator

Enclosing class:

CardinalityChecker
```
public static class CardinalityChecker.CardinalityCheckerElaborator
extends PullElaborator
```
Elaborator for a treat as expression, which is usually system-generated by the type checking phase of the compiler

Constructor Summary

Constructors
Constructor Description

CardinalityCheckerElaborator()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`PullEvaluator`	`elaborateForPull()`	Get a function that evaluates the underlying expression in the form of a `SequenceIterator`
`PushEvaluator`	`elaborateForPush()`	Get a function that evaluates the underlying expression in push mode, by writing events to an `Outputter`

Methods inherited from class net.sf.saxon.expr.elab.PullElaborator
eagerly, elaborateForBoolean, elaborateForItem, elaborateForUnicodeString

Methods inherited from class net.sf.saxon.expr.elab.Elaborator
elaborateForString, elaborateForUpdate, getConfiguration, getExpression, handleNullString, handleNullUnicodeString, handlePossiblyNullString, handlePossiblyNullUnicodeString, lazily, setExpression

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - CardinalityCheckerElaborator
```
public CardinalityCheckerElaborator()
```
- Method Detail
  - elaborateForPull
```
public PullEvaluator elaborateForPull()
```
    Description copied from class: Elaborator
    
    Get a function that evaluates the underlying expression in the form of a SequenceIterator
    
    Specified by:
    
    elaborateForPull in class PullElaborator
    
    Returns:
    
    an evaluator for the expression that returns a SequenceIterator
  - elaborateForPush
```
public PushEvaluator elaborateForPush()
```
    Description copied from class: Elaborator
    
    Get a function that evaluates the underlying expression in push mode, by writing events to an Outputter
    
    Overrides:
    
    elaborateForPush in class PullElaborator
    
    Returns:
    
    an evaluator for the expression in push mode