Class NarrowMasksVisitor


  • public class NarrowMasksVisitor
    extends Visitor
    A visitor which removes all child masks of a node except the first one, attaches them to a new empty pattern and attaches that pattern (if it is not empty) to the first mask.

    This is necessary to represent the fact that if no pattern matches an input, the next mask (and its associated patterns) is tried.

    • Constructor Detail

      • NarrowMasksVisitor

        public NarrowMasksVisitor()