jmlparser-core/com.github.javaparser.ast.stmt/BlockStmt/BlockStmt

BlockStmt

constructor()(source)

constructor(statements: NodeList<Statement>)(source)

constructor(statements: NodeList<Statement>, contracts: NodeList<JmlContract>)(source)

constructor(tokenRange: TokenRange, statements: NodeList<Statement>)(source)

constructor(tokenRange: TokenRange, statements: NodeList<Statement>, contracts: NodeList<JmlContract>)(source)

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