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 Detail

      • ItemCheckerElaborator

        public ItemCheckerElaborator()
    • Method Detail

      • 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