DoStmt

constructor()(source)

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

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

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

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

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