WhileStmt

constructor()(source)

constructor(condition: Expression, body: Statement)(source)

constructor(condition: Expression, body: Statement, contracts: NodeList<JmlContract>)(source)

constructor(tokenRange: TokenRange, condition: Expression, body: Statement)(source)

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

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