Class ExprPrinter

  • All Implemented Interfaces:
    ru.ispras.fortress.expression.printer.ExprTreePrinter

    public final class ExprPrinter
    extends ru.ispras.fortress.expression.printer.MapBasedPrinter
    • Nested Class Summary

      • Nested classes/interfaces inherited from class ru.ispras.fortress.expression.printer.MapBasedPrinter

        ru.ispras.fortress.expression.printer.MapBasedPrinter.ExprTreeVisitor
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      protected ExprPrinter​(boolean asLocation)  
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected void addMapping​(Operator op, java.lang.String prefix, java.lang.String infix, java.lang.String suffix)  
      static java.lang.String bigIntegerToString​(java.math.BigInteger value, int radix)  
      protected ru.ispras.fortress.expression.printer.OperationDescription getOperationDescription​(ru.ispras.fortress.expression.NodeOperation expr)  
      static java.lang.String toString​(Expr expr)  
      static java.lang.String toString​(Expr expr, boolean asLocation)  
      • Methods inherited from class ru.ispras.fortress.expression.printer.MapBasedPrinter

        addMapping, addMapping, addMapping, addMapping, addMapping, addMapping, addMapping, addMapping, addMapping, setVisitor, toString
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • ExprPrinter

        protected ExprPrinter​(boolean asLocation)
    • Method Detail

      • toString

        public static java.lang.String toString​(Expr expr,
                                                boolean asLocation)
      • toString

        public static java.lang.String toString​(Expr expr)
      • addMapping

        protected final void addMapping​(Operator op,
                                        java.lang.String prefix,
                                        java.lang.String infix,
                                        java.lang.String suffix)
      • getOperationDescription

        protected ru.ispras.fortress.expression.printer.OperationDescription getOperationDescription​(ru.ispras.fortress.expression.NodeOperation expr)
        Overrides:
        getOperationDescription in class ru.ispras.fortress.expression.printer.MapBasedPrinter
      • bigIntegerToString

        public static java.lang.String bigIntegerToString​(java.math.BigInteger value,
                                                          int radix)