jmlparser-core/com.github.javaparser.ast.jml/JmlModelProgram/JmlModelProgram

JmlModelProgram

constructor(tokenRange: TokenRange)(source)

constructor(modifiers: NodeList<Modifier>, annotations: NodeList<AnnotationExpr>, contracts: JmlContract, statements: NodeList<Statement>)(source)

constructor(range: TokenRange, modifiers: NodeList<Modifier>, annotations: NodeList<AnnotationExpr>, contracts: JmlContract, statements: NodeList<Statement>)(source)