interface TermToObjectConverter: Any
Methods
convertInto
abstract fun convertInto(type: KClass<*>, term: Term): Any?
Parameters
| Name | Description |
|---|---|
type: KClass<*>
|
|
term: Term
|
ReturnValue
| Name | Description |
|---|---|
Any?
|
possibleConversions
abstract fun possibleConversions(term: Term): Sequence
Parameters
| Name | Description |
|---|---|
term: Term
|
ReturnValue
| Name | Description |
|---|---|
Sequence
|
admissibleTypes
abstract fun admissibleTypes(term: Term): Set<KClass<*>>
Parameters
| Name | Description |
|---|---|
term: Term
|
ReturnValue
| Name | Description |
|---|---|
Set<KClass<*>>
|
priorityOfConversion
abstract fun priorityOfConversion(type: KClass<*>, term: Term): Int?
Parameters
| Name | Description |
|---|---|
type: KClass<*>
|
|
term: Term
|
ReturnValue
| Name | Description |
|---|---|
Int?
|
CompanionObject
TermToObjectConverter
interface TermToObjectConverter: Any
Fields
| Name | Description |
|---|---|
val default: TermToObjectConverter
|
Methods
of
fun of(typeFactory: TypeFactory, dealiaser: (Struct)->Ref?): TermToObjectConverter
Parameters
| Name | Description |
|---|---|
typeFactory: TypeFactory
|
|
dealiaser: (Struct)->Ref?
|
ReturnValue
| Name | Description |
|---|---|
TermToObjectConverter
|