Class JavaExprPrinter

  • All Implemented Interfaces:
    ExprTreePrinter

    public class JavaExprPrinter
    extends MapBasedPrinter
    This class implements an expression printer that produces Java code.
    • Constructor Detail

      • JavaExprPrinter

        public JavaExprPrinter()
    • Method Detail

      • bitVectorToString

        public static java.lang.String bitVectorToString​(BitVector value)
        Converts the specified bit vector into a Java-format textual representation.
        Parameters:
        value - BitVector object to be converted.
        Returns:
        Java-format textual representation of the bit vector.
        Throws:
        java.lang.IllegalArgumentException - if the argument is null.
      • integerToString

        public static java.lang.String integerToString​(java.math.BigInteger value)
        Converts the specified integer value into a Java-format textual representation. The exact format of the result depends on the size of the integer value. It can be printed as int, long or BigInteger.
        Parameters:
        value - BigInteger object to be converted.
        Returns:
        Java-format textual representation of the integer value.
        Throws:
        java.lang.IllegalArgumentException - if the argument is null.
      • bigIntegerToString

        public static java.lang.String bigIntegerToString​(java.math.BigInteger value)
        Converts the specified integer value into a Java-format textual representation. The result is represented by a decimal BigInteger object.
        Parameters:
        value - BigInteger object to be converted.
        Returns:
        Java-format textual representation of the BigInteger object.
        Throws:
        java.lang.IllegalArgumentException - if the argument is null.