ForEachStmt

constructor()(source)
constructor(variable: VariableDeclarationExpr, iterable: Expression, body: Statement)(source)
constructor(variable: VariableDeclarationExpr, iterable: Expression, body: Statement, contracts: NodeList<JmlContract>)(source)
constructor(variable: VariableDeclarationExpr, iterable: String, body: BlockStmt)(source)


constructor(tokenRange: TokenRange, variable: VariableDeclarationExpr, iterable: Expression, body: Statement, contracts: NodeList<JmlContract>)(source)
constructor(tokenRange: TokenRange, variable: VariableDeclarationExpr, iterable: Expression, body: Statement)(source)

This constructor is used by the parser and is considered private.