public final class CfgLoopStatement extends CfgStatement
Modifier and Type | Class and Description |
---|---|
static class |
CfgLoopStatement.Type
Loop statement types.
|
Constructor and Description |
---|
CfgLoopStatement(CfgLoopStatement.Type type,
ru.ispras.fortress.expression.Node condition,
Assignment init,
Assignment increment)
Constructs loop statement with the specified parameters.
|
Modifier and Type | Method and Description |
---|---|
Statement |
deepCopy()
Returns a copy of this statement and all it's sub-statements.
|
boolean |
equals(java.lang.Object object) |
ru.ispras.fortress.expression.Node |
getCondition()
Returns loop counter condition.
|
java.lang.String |
getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Returns a string description in the format of the specified printer.
|
Assignment |
getIncrement()
Returns loop counter incrementation assignment.
|
Assignment |
getInit()
Returns loop counter initialization assignment.
|
CfgLoopStatement.Type |
getLoopType()
Returns loop type.
|
CfgStatementType |
getType()
Returns statement type.
|
int |
hashCode() |
isSequential
add, add, addAll, apply, contains, containStatements, getDefines, getDescription, getId, getParent, getStatement, getStatementNum, getUses, indexOf, isType, remove, removeAll, removeParent, setParent
addMetaInfo, addMetaInfo, addMetaInfo, getMetaInfo, getMetaInfo, hasMetaInfo, hasMetaInfo
public CfgLoopStatement(CfgLoopStatement.Type type, ru.ispras.fortress.expression.Node condition, Assignment init, Assignment increment)
Constructs loop statement of the specified type, with the specified condition, initialization and incrementation assignments on loop counter
type
- loop typecondition
- loop counter conditioninit
- loop counter initialization assignmentincrement
- loop counter incrementation assignmentjava.lang.IllegalArgumentException
- when type argument is null
.public CfgLoopStatement.Type getLoopType()
public Assignment getInit()
public ru.ispras.fortress.expression.Node getCondition()
public Assignment getIncrement()
public CfgStatementType getType()
Statement
public Statement deepCopy()
Statement
public java.lang.String getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Identifiable
printer
- Printer that provides an output string format.