ForEachStmt
constructor(variable: VariableDeclarationExpr, iterable: Expression, body: Statement, contracts: NodeList<JmlContract>)(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.