jmlparser-symbol-solver-core/com.github.javaparser.symbolsolver/JavaRefersToJmlException/JavaRefersToJmlException

JavaRefersToJmlException

constructor(name: String)(source)

constructor(name: String, context: String)(source)

constructor(name: String, cause: Throwable)(source)

constructor(name: String, context: String, cause: Throwable)(source)