Class StmtAssert
- java.lang.Object
-
- ru.ispras.microtesk.mmu.translator.ir.Stmt
-
- ru.ispras.microtesk.mmu.translator.ir.StmtAssert
-
public final class StmtAssert extends Stmt
-
-
Constructor Summary
Constructors Constructor Description StmtAssert(ru.ispras.fortress.expression.Node condition)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ru.ispras.fortress.expression.Node
getCondition()
java.lang.String
toString()
-