core/it.unibo.tuprolog.core.visitors/DefaultTermVisitor

DefaultTermVisitor

abstract class DefaultTermVisitor<T> : AbstractTermVisitor<T>

An AbstractTermVisitor resolving multiple-supertype terms (see AbstractTermVisitor) by using the first applicable supertype's visit result, e.g. treating an it.unibo.tuprolog.core.Atom primarily as a it.unibo.tuprolog.core.Struct.

Constructors

DefaultTermVisitor

constructor()

Types

object Companion

Functions

abstract fun defaultValue(term: Term): T

The value produced for any Term whose specific type has no dedicated, overridden visitX method.

open override fun visitAtom(term: Atom): T

open fun visitBlock(term: Block): T

open fun visitClause(term: Clause): T

visitCollection

open fun visitCollection(term: Recursive): T

open fun visitCons(term: Cons): T

open fun visitConstant(term: Constant): T

open fun visitDirective(term: Directive): T

open fun visitEmpty(term: Empty): T

visitEmptyBlock

open override fun visitEmptyBlock(term: EmptyBlock): T

open override fun visitEmptyList(term: EmptyList): T

open fun visitFact(term: Fact): T

open fun visitIndicator(term: Indicator): T

open fun visitInteger(term: Integer): T

open fun visitList(term: List): T

open fun visitNumeric(term: Numeric): T

open fun visitReal(term: Real): T

open fun visitRule(term: Rule): T

open fun visitStruct(term: Struct): T

open fun visitTerm(term: Term): T

Visits a generic Term, regardless of its specific sub-type. Falls back to defaultValue.

open fun visitTruth(term: Truth): T

open fun visitTuple(term: Tuple): T

open fun visitVar(term: Var): T