public class Mir2Node extends Pass
Constructor and Description |
---|
Mir2Node() |
Modifier and Type | Method and Description |
---|---|
MirContext |
apply(MirContext mir) |
java.util.List<ru.ispras.fortress.expression.Node> |
getFormulae() |
static java.lang.String |
stringOf(MirTy type) |
getComment, inlineContext, resolveCallee, setComment
public java.util.List<ru.ispras.fortress.expression.Node> getFormulae()
public MirContext apply(MirContext mir)
public static java.lang.String stringOf(MirTy type)