it.unibz.inf.ontop.model.type

Interface TermTypeInference

All Known Implementing Classes:

TermTypeInferenceImpl

public interface TermTypeInference

Can have two states: (i) determined or (ii) redirected to the type of a variable.

Method Summary

Modifier and Type	Method and Description
static TermTypeInference	declareRedirectionToVariable(Variable variable)
static TermTypeInference	declareTermType(TermType termType)
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

Method Detail

getTermType

Optional<TermType> getTermType()

Only present when the status is determined

getRedirectionVariable

Optional<Variable> getRedirectionVariable()

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

declareTermType

static TermTypeInference declareTermType(TermType termType)

declareRedirectionToVariable

static TermTypeInference declareRedirectionToVariable(Variable variable)