ForStmt
constructor(initialization: NodeList<Expression>, compare: Expression, update: NodeList<Expression>, body: Statement)(source)
constructor(initialization: NodeList<Expression>, compare: Expression, update: NodeList<Expression>, body: Statement, contracts: NodeList<JmlContract>)(source)
constructor(tokenRange: TokenRange, initialization: NodeList<Expression>, compare: Expression, update: NodeList<Expression>, body: Statement)(source)
constructor(tokenRange: TokenRange, initialization: NodeList<Expression>, compare: Expression, update: NodeList<Expression>, body: Statement, contracts: NodeList<JmlContract>)(source)
This constructor is used by the parser and is considered private.