it.unibz.inf.ontop.model.term

Interface ImmutableTerm

All Known Subinterfaces:

BNode, Constant, DBConstant, GroundFunctionalTerm, GroundTerm, ImmutableExpression, ImmutableFunctionalTerm, IRIConstant, NonConstantTerm, NonFunctionalTerm, NonGroundFunctionalTerm, NonGroundTerm, NonNullConstant, NonVariableTerm, ObjectConstant, RDFConstant, RDFLiteralConstant, RDFTermTypeConstant, Variable, VariableOrGroundTerm

All Known Implementing Classes:

AbstractNonFunctionalTerm, AbstractNonNullConstant, BNodeConstantImpl, DBConstantImpl, GroundExpressionImpl, GroundFunctionalTermImpl, ImmutableExpressionImpl, ImmutableFunctionalTermImpl, IRIConstantImpl, NonGroundExpressionImpl, NonGroundFunctionalTermImpl, NullConstantImpl, RDFLiteralConstantImpl, RDFTermTypeConstantImpl, VariableImpl

public interface ImmutableTerm

Term that is guaranteed to be immutable. In the future, every term should be immutable

Method Summary

Modifier and Type	Method and Description
IncrementalEvaluation	evaluateIsNotNull(VariableNullability variableNullability)
IncrementalEvaluation	evaluateStrictEq(ImmutableTerm otherTerm, VariableNullability variableNullability)
Stream<Variable>	getVariableStream()
Optional<TermTypeInference>	inferType() Returns empty when no TermType has been inferred (missing information or fatal error) and no non-fatal error has been detected.
boolean	isGround()
boolean	isNull() Returns true if and only if the term is a NULL Constant.
boolean	isNullable(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nullableVariables)
ImmutableTerm	simplify() When no variableNullability is available
ImmutableTerm	simplify(VariableNullability variableNullability)

Method Detail

isNull

boolean isNull()

Returns true if and only if the term is a NULL Constant.

isGround

boolean isGround()

getVariableStream

Stream<Variable> getVariableStream()

inferType

Optional<TermTypeInference> inferType()

Returns empty when no TermType has been inferred (missing information or fatal error) and no non-fatal error has been detected.

evaluateStrictEq

IncrementalEvaluation evaluateStrictEq(ImmutableTerm otherTerm,
                                       VariableNullability variableNullability)

evaluateIsNotNull

IncrementalEvaluation evaluateIsNotNull(VariableNullability variableNullability)

simplify

ImmutableTerm simplify(VariableNullability variableNullability)

simplify

ImmutableTerm simplify()

When no variableNullability is available

isNullable

boolean isNullable(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nullableVariables)