public final class StmtAssert extends Stmt
Constructor and Description |
---|
StmtAssert(ru.ispras.fortress.expression.Node condition) |
Modifier and Type | Method and Description |
---|---|
ru.ispras.fortress.expression.Node |
getCondition() |
java.lang.String |
toString() |