Class ItemChecker.ItemCheckerElaborator

Enclosing class:
ItemChecker

public static class ItemChecker.ItemCheckerElaborator extends PullElaborator
Elaborator for a treat as expression, which is usually system-generated by the type checking phase of the compiler
  • Constructor Details

    • ItemCheckerElaborator

      public ItemCheckerElaborator()
  • Method Details

    • 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
    • elaborateForItem

      public ItemEvaluator elaborateForItem()
      Description copied from class: Elaborator
      Get a function that evaluates the underlying expression in the form of a Item. This must only be called for expressions whose result has cardinality zero or one.
      Overrides:
      elaborateForItem in class PullElaborator
      Returns:
      an evaluator for the expression that returns an Item, or null to represent an empty sequence.
    • 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