Class Mir2Node
- java.lang.Object
-
- ru.ispras.microtesk.translator.mir.Pass
-
- ru.ispras.microtesk.translator.mir.Mir2Node
-
public class Mir2Node extends Pass
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
Mir2Node.AssignList
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description MirContext
apply(MirContext mir)
java.util.List<ru.ispras.fortress.expression.Node>
getAssertionList()
Mir2Node.AssignList
getAssignList()
ru.ispras.fortress.expression.Node
getExpression(ru.ispras.fortress.expression.Node ret)
static java.lang.String
stringOf(MirTy type)
static ru.ispras.fortress.data.DataType
typeOf(MirTy type)
-
Methods inherited from class ru.ispras.microtesk.translator.mir.Pass
getComment, inlineContext, resolveCallee, setComment
-
-
-
-
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)
-
getAssignList
public Mir2Node.AssignList getAssignList()
-
apply
public MirContext apply(MirContext mir)
-
typeOf
public static ru.ispras.fortress.data.DataType typeOf(MirTy type)
-
stringOf
public static java.lang.String stringOf(MirTy type)
-
-