jmlparser-core/com.github.javaparser.ast.jml.doc/JmlDocContainer

JmlDocContainer

interface JmlDocContainer(source)

Author

Alexander Weigl

Inheritors

Functions

Link copied to clipboard
abstract fun getJmlComments(): NodeList<JmlDoc>
Generated by Dokka
© 2026 Copyright