Class Quantifier.ForEach

  • All Implemented Interfaces:
    Bindable, Correlated<Quantifier>
    Enclosing class:
    Quantifier

    public static final class Quantifier.ForEach
    extends Quantifier
    A quantifier that conceptually flows one item at a time from the expression it ranges over to the owning expression.
    • Method Detail

      • getShorthand

        @Nonnull
        public String getShorthand()
        Description copied from class: Quantifier
        Return a short hand string for the quantifier. As a quantifier's semantics is usually quite subtle and should not distract from expressions. For example, when a data flow is visualized the returned string should be short.
        Specified by:
        getShorthand in class Quantifier
        Returns:
        a short string representing the quantifier.
      • rebase

        @Nonnull
        public Quantifier.ForEach rebase​(@Nonnull
                                         AliasMap translationMap)
        Description copied from interface: Correlated
        Rebases this and all other objects this objects is composed of using a given translation map.
        Parameters:
        translationMap - a map defining a translation from CorrelationIdentifiers ids to CorrelationIdentifiers ids'. After the rebase, every correlation to an id contained ids that is contained or referred to directly or indirectly by this must have been transformed to use the mapped counterpart of id id' in ids'. IDs not contained in the translation map must remain unmodified by the rebase operation.
        Returns:
        a new entity that has been rebased