jmlparser-parent

3.28.2-J8.0-K13.5-SNAPSHOT

Target filter

java

Search in API

Skip to content

jmlparser-parent

jmlparser-core/com.github.javaparser.ast.jml.clauses/ContractType/isValidClauseKind

isValidClauseKind

open fun isValidClauseKind(clauseKind: JmlClauseKind): Boolean(source)

Generated by Dokka

© 2026 Copyright