| de.uka.ilkd.key.java.StatementContainer
All known Subclasses: de.uka.ilkd.key.java.statement.Try, de.uka.ilkd.key.java.statement.LoopStatement, de.uka.ilkd.key.java.statement.LabeledStatement, de.uka.ilkd.key.java.statement.LoopInit, de.uka.ilkd.key.java.statement.MethodFrame, de.uka.ilkd.key.java.declaration.ClassInitializer, de.uka.ilkd.key.rule.metaconstruct.ProgramMetaConstruct, de.uka.ilkd.key.java.statement.CatchAllStatement, de.uka.ilkd.key.java.StatementBlock, de.uka.ilkd.key.java.statement.SynchronizedBlock,
| StatementContainer | | public interface StatementContainer extends NonTerminalProgramElement(Code) | | Statement container.
taken from COMPOST and changed to achieve an immutable structure
|
| getStatementCount | | int getStatementCount()(Code) | | Get the number of statements in this container.
the number of statements. |
|
|