core/it.unibo.tuprolog.core.visitors/AbstractTermVisitor

AbstractTermVisitor

abstract class AbstractTermVisitor<T> : TermVisitor<T>

A TermVisitor for the handful of Term sub-types that inherit from more than one immediate supertype in the hierarchy (namely Atom, which is both a it.unibo.tuprolog.core.Struct and a it.unibo.tuprolog.core.Constant, and it.unibo.tuprolog.core.EmptyList/it.unibo.tuprolog.core.EmptyBlock, each both a collection type and it.unibo.tuprolog.core.Empty). TermVisitor's default dispatch can only delegate to one supertype's visitX method; join is where subclasses decide how to combine the results of visiting as each of the (here, two) relevant supertypes. DefaultTermVisitor and ExhaustiveTermVisitor provide the two most common policies (first result wins, last result wins).

Inheritors

DefaultTermVisitor

ExhaustiveTermVisitor

Constructors

AbstractTermVisitor

constructor()

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