InvalidTermTypeException

class InvalidTermTypeException: ParseException

Fields

Name Description
val term: Term
val type: KClass<Term>

Constructors

<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?