jmlparser-parent
3.28.2-J8.0-K13.5-SNAPSHOT
      Target filter
Search in API
Skip to content
    jmlparser-parent
jmlparser-core/com.github.javaparser.ast.jml.clauses/JmlMultiExprClause/getHeaps

getHeaps

open fun getHeaps(): Optional<NodeList<SimpleName>>(source)
Generated by Dokka
© 2026 Copyright