it.unibz.inf.ontop.model.type.impl

Class TermTypeInferenceImpl

java.lang.Object

it.unibz.inf.ontop.model.type.impl.TermTypeInferenceImpl

All Implemented Interfaces:

TermTypeInference

public class TermTypeInferenceImpl
extends Object
implements TermTypeInference

Method Summary

Modifier and Type	Method and Description
static TermTypeInference	declareRedirectionVariable(Variable variable)
static TermTypeInference	declareTermType(TermType termType)
boolean	equals(Object o)
Optional<Variable>	getRedirectionVariable() Only when the type cannot be determined locally but corresponds to the type of a variable (defined in the sub-tree)
Optional<TermType>	getTermType() Only present when the status is determined
int	hashCode()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface it.unibz.inf.ontop.model.type.TermTypeInference

declareRedirectionToVariable

Method Detail

declareTermType

public static TermTypeInference declareTermType(@Nonnull
                                                TermType termType)

Specified by:

declareTermType in interface TermTypeInference

declareRedirectionVariable

public static TermTypeInference declareRedirectionVariable(@Nonnull
                                                           Variable variable)

getTermType

public Optional<TermType> getTermType()

Description copied from interface: TermTypeInference

Only present when the status is determined

Specified by:

getTermType in interface TermTypeInference

getRedirectionVariable

public Optional<Variable> getRedirectionVariable()

Description copied from interface: TermTypeInference

Only when the type cannot be determined locally but corresponds to the type of a variable (defined in the sub-tree)

Specified by:

getRedirectionVariable in interface TermTypeInference

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object