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
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addVariableMapping​(java.lang.String key, java.lang.String mapping)  
      void addVariableMappings​(Var variable, java.lang.String mapping)  
      static java.lang.String bigIntegerToString​(java.math.BigInteger value)  
      static java.lang.String bitVectorToString​(ru.ispras.fortress.data.types.bitvector.BitVector value)  
      static ExprPrinter get()  
      protected ru.ispras.fortress.expression.printer.OperationDescription getOperationDescription​(ru.ispras.fortress.expression.NodeOperation expr)  
      java.lang.String getVariableMapping​(java.lang.String name)  
      void popVariableScope()  
      void pushVariableScope()  
      • 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
    • Method Detail

      • 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
      • pushVariableScope

        public void pushVariableScope()
      • popVariableScope

        public void popVariableScope()
      • addVariableMappings

        public void addVariableMappings​(Var variable,
                                        java.lang.String mapping)
      • addVariableMapping

        public void addVariableMapping​(java.lang.String key,
                                       java.lang.String mapping)
      • getVariableMapping

        public java.lang.String getVariableMapping​(java.lang.String name)
      • bitVectorToString

        public static java.lang.String bitVectorToString​(ru.ispras.fortress.data.types.bitvector.BitVector value)
      • bigIntegerToString

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