Class EquivalenceAcceptanceCondition

    • Constructor Detail

      • EquivalenceAcceptanceCondition

        public EquivalenceAcceptanceCondition​(AcceptanceCondition left,
                                              AcceptanceCondition right)
        Parameters:
        left - the left side of the equivalence
        right - the right side of the equivalence
      • EquivalenceAcceptanceCondition

        public EquivalenceAcceptanceCondition​(java.util.Collection<AcceptanceCondition> children)
        Asserts all children to be pairwise equivalent.
        Parameters:
        children - the children of the equivalence
    • Method Detail

      • accept

        public <U,​D> U accept​(Visitor<U,​D> visitor,
                                    D topDownData)
        Description copied from interface: AcceptanceCondition
        Passes the topDownData to the right visit method and returns the result of the visit method, performs no modifications on them.

        This allows for type-safe traversal through the acceptance condition structure.

        Type Parameters:
        U - the bottom-up data
        D - the top-down data
        Parameters:
        visitor - the visitor
        topDownData - the data which is passed from the root of the acceptance condition to the leaf
        Returns:
        the result of the visit method
      • getName

        public java.lang.String getName()