Class Utils


  • public final class Utils
    extends java.lang.Object
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static java.lang.String getVariableName​(java.lang.String context, java.lang.String name)  
      static java.lang.String getVariableName​(Ir ir, java.lang.String context, ru.ispras.fortress.data.Variable variable)  
      static java.lang.String toMmuExpressionText​(java.lang.String context, java.util.List<ru.ispras.fortress.expression.Node> fields)  
      static java.lang.String toMmuExpressionText​(java.lang.String context, ru.ispras.fortress.expression.Node field)  
      static java.lang.String toString​(java.lang.String context, ru.ispras.fortress.expression.Node field)  
      static java.lang.String toString​(java.lang.String context, ru.ispras.fortress.expression.Node field, boolean printAsVariable)  
      static java.lang.String toString​(java.math.BigInteger value)  
      static java.lang.String toString​(Ir ir, java.lang.String context, ru.ispras.fortress.expression.Node node)  
      static java.lang.String toString​(Ir ir, java.lang.String context, Atom atom)  
      • Methods inherited from class java.lang.Object

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

      • toString

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

        public static java.lang.String toString​(java.lang.String context,
                                                ru.ispras.fortress.expression.Node field)
      • toString

        public static java.lang.String toString​(java.lang.String context,
                                                ru.ispras.fortress.expression.Node field,
                                                boolean printAsVariable)
      • toString

        public static java.lang.String toString​(Ir ir,
                                                java.lang.String context,
                                                Atom atom)
      • toString

        public static java.lang.String toString​(Ir ir,
                                                java.lang.String context,
                                                ru.ispras.fortress.expression.Node node)
      • getVariableName

        public static java.lang.String getVariableName​(java.lang.String context,
                                                       java.lang.String name)
      • getVariableName

        public static java.lang.String getVariableName​(Ir ir,
                                                       java.lang.String context,
                                                       ru.ispras.fortress.data.Variable variable)
      • toMmuExpressionText

        public static java.lang.String toMmuExpressionText​(java.lang.String context,
                                                           java.util.List<ru.ispras.fortress.expression.Node> fields)
      • toMmuExpressionText

        public static java.lang.String toMmuExpressionText​(java.lang.String context,
                                                           ru.ispras.fortress.expression.Node field)