public final class StatementCondition extends Statement
Statement.Kind
Constructor and Description |
---|
StatementCondition(java.util.List<ru.ispras.fortress.util.Pair<Expr,java.util.List<Statement>>> blocks) |
Modifier and Type | Method and Description |
---|---|
ru.ispras.fortress.util.Pair<Expr,java.util.List<Statement>> |
getBlock(int index) |
int |
getBlockCount() |