jmlparser-core/com.github.javaparser.jml/JmlWarnRemaingJmlDoc/postProcess

postProcess

open fun postProcess(result: ParseResult<out Node>, configuration: ParserConfiguration)(source)

Makes the parser do a post-parsing step before the result is returned to the user.