Package it.unive.lisa.symbolic.value

Enum TernaryOperator

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description
      STRING_REPLACE
      Given an input string, a search string, and a replace string, all of type StringType, this operator returns the input string where all the occurrences of the search string are replaced with the replace string.
      STRING_SUBSTRING
      Given a string s of type StringType and two unsigned integers i and j of type NumericType, returns the the substring between i and j (excluded) of the input string.

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String getStringRepresentation()
      Yields the string representation of the operator.
      java.lang.String toString()  
      static TernaryOperator valueOf​(java.lang.String name)
      Returns the enum constant of this type with the specified name.
      static TernaryOperator[] values()
      Returns an array containing the constants of this enum type, in the order they are declared.

      • Methods inherited from class java.lang.Enum

        clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, valueOf

      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait

    • Enum Constant Detail

      • STRING_REPLACE

        public static final TernaryOperator STRING_REPLACE
        Given an input string, a search string, and a replace string, all of type StringType, this operator returns the input string where all the occurrences of the search string are replaced with the replace string. If the input string is empty, the empty string is returned. If the search string is empty, the replace string is added in any position of the input string: for example, strreplace("aaa", "", "b") = "bababab". The return type of this operator is StringType.

      • STRING_SUBSTRING

        public static final TernaryOperator STRING_SUBSTRING
        Given a string s of type StringType and two unsigned integers i and j of type NumericType, returns the the substring between i and j (excluded) of the input string. Indexes must be included between 0 and the length of the string s -1 and i must be less or equal than j. When i == j, the empty string is returned. The return type of this operator is StringType.

    • Method Detail

      • values

        public static TernaryOperator[] values()
        Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows: 
        for (TernaryOperator c : TernaryOperator.values())
    System.out.println(c);
        Returns:
        an array containing the constants of this enum type, in the order they are declared

      • valueOf

        public static TernaryOperator valueOf​(java.lang.String name)
        Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
        Parameters:
        name - the name of the enum constant to be returned.
        Returns:
        the enum constant with the specified name
        Throws:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.NullPointerException - if the argument is null

      • getStringRepresentation

        public java.lang.String getStringRepresentation()
        Description copied from interface: Operator
        Yields the string representation of the operator.
        Specified by:
        getStringRepresentation in interface Operator
        Returns:
        the string representation

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Enum<TernaryOperator>