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() |