Class FortressUtils


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

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static ru.ispras.fortress.data.types.bitvector.BitVector evaluateBitVector​(ru.ispras.fortress.expression.Node node)  
      static ru.ispras.fortress.data.types.bitvector.BitVector evaluateBitVector​(ru.ispras.fortress.expression.Node node, ru.ispras.fortress.transformer.ValueProvider valueProvider)  
      static java.lang.Boolean evaluateBoolean​(ru.ispras.fortress.expression.Node node)  
      static java.lang.Boolean evaluateBoolean​(ru.ispras.fortress.expression.Node node, ru.ispras.fortress.transformer.ValueProvider valueProvider)  
      static java.math.BigInteger evaluateInteger​(ru.ispras.fortress.expression.Node node)  
      static java.math.BigInteger evaluateInteger​(ru.ispras.fortress.expression.Node node, ru.ispras.fortress.transformer.ValueProvider valueProvider)  
      static ru.ispras.fortress.data.types.bitvector.BitVector extractBitVector​(ru.ispras.fortress.expression.Node expr)  
      static int extractInt​(ru.ispras.fortress.expression.Node expr)  
      static int getBitSize​(ru.ispras.fortress.data.Variable variable)  
      static int getBitSize​(ru.ispras.fortress.expression.Node node)  
      static ru.ispras.fortress.data.types.bitvector.BitVector getBitVector​(ru.ispras.fortress.expression.Node expr)  
      static java.lang.Boolean getBoolean​(ru.ispras.fortress.expression.Node expr)  
      static java.math.BigInteger getInteger​(ru.ispras.fortress.data.Data data)  
      static java.math.BigInteger getInteger​(ru.ispras.fortress.expression.Node expr)  
      static int getLowerBit​(ru.ispras.fortress.expression.Node node)  
      static int getUpperBit​(ru.ispras.fortress.expression.Node node)  
      static ru.ispras.fortress.data.Variable getVariable​(ru.ispras.fortress.expression.Node node)  
      • Methods inherited from class java.lang.Object

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

      • getInteger

        public static java.math.BigInteger getInteger​(ru.ispras.fortress.data.Data data)
      • getInteger

        public static java.math.BigInteger getInteger​(ru.ispras.fortress.expression.Node expr)
      • getBoolean

        public static java.lang.Boolean getBoolean​(ru.ispras.fortress.expression.Node expr)
      • getBitVector

        public static ru.ispras.fortress.data.types.bitvector.BitVector getBitVector​(ru.ispras.fortress.expression.Node expr)
      • extractInt

        public static int extractInt​(ru.ispras.fortress.expression.Node expr)
      • extractBitVector

        public static ru.ispras.fortress.data.types.bitvector.BitVector extractBitVector​(ru.ispras.fortress.expression.Node expr)
      • getVariable

        public static ru.ispras.fortress.data.Variable getVariable​(ru.ispras.fortress.expression.Node node)
      • getLowerBit

        public static int getLowerBit​(ru.ispras.fortress.expression.Node node)
      • getUpperBit

        public static int getUpperBit​(ru.ispras.fortress.expression.Node node)
      • getBitSize

        public static int getBitSize​(ru.ispras.fortress.data.Variable variable)
      • getBitSize

        public static int getBitSize​(ru.ispras.fortress.expression.Node node)
      • evaluateInteger

        public static java.math.BigInteger evaluateInteger​(ru.ispras.fortress.expression.Node node,
                                                           ru.ispras.fortress.transformer.ValueProvider valueProvider)
      • evaluateInteger

        public static java.math.BigInteger evaluateInteger​(ru.ispras.fortress.expression.Node node)
      • evaluateBitVector

        public static ru.ispras.fortress.data.types.bitvector.BitVector evaluateBitVector​(ru.ispras.fortress.expression.Node node,
                                                                                          ru.ispras.fortress.transformer.ValueProvider valueProvider)
      • evaluateBitVector

        public static ru.ispras.fortress.data.types.bitvector.BitVector evaluateBitVector​(ru.ispras.fortress.expression.Node node)
      • evaluateBoolean

        public static java.lang.Boolean evaluateBoolean​(ru.ispras.fortress.expression.Node node,
                                                        ru.ispras.fortress.transformer.ValueProvider valueProvider)
      • evaluateBoolean

        public static java.lang.Boolean evaluateBoolean​(ru.ispras.fortress.expression.Node node)