Class Mir2Node


  • public class Mir2Node
    extends Pass
    • Constructor Detail

      • Mir2Node

        public Mir2Node()
      • Mir2Node

        public Mir2Node​(ru.ispras.microtesk.translator.mir.Mir2Node.InsnToSmtVisitor visitor)
    • Method Detail

      • getAssertionList

        public java.util.List<ru.ispras.fortress.expression.Node> getAssertionList()
      • getExpression

        public ru.ispras.fortress.expression.Node getExpression​(ru.ispras.fortress.expression.Node ret)
      • typeOf

        public static ru.ispras.fortress.data.DataType typeOf​(MirTy type)
      • stringOf

        public static java.lang.String stringOf​(MirTy type)