<init>
constructor(input: Any?, term: Term, type: KClass<Term>, offendingSymbol: String, line: Int, column: Int, message: String?, throwable: Throwable?)
Parameters
Name |
Description |
input: Any?
|
term: Term
|
type: KClass<Term>
|
offendingSymbol: String
|
line: Int
|
column: Int
|
message: String?
|
throwable: Throwable?
|