wd/io.github.jmltoolkit.wd/WdFacade

WdFacade

object WdFacade(source)

Facade to dive into well-definedness checks.

Author

Alexander Weigl

Functions

fun isWelldefined(expr: String): Boolean

fun isWelldefined(parser: JavaParser, expr: String): Boolean