it.unibz.inf.ontop.model.term

Interface NonNullConstant

All Superinterfaces:

Constant, GroundTerm, ImmutableTerm, NonFunctionalTerm, NonVariableTerm, VariableOrGroundTerm

All Known Subinterfaces:

BNode, DBConstant, IRIConstant, ObjectConstant, RDFConstant, RDFLiteralConstant, RDFTermTypeConstant

All Known Implementing Classes:

BNodeConstantImpl, DBConstantImpl, IRIConstantImpl, RDFLiteralConstantImpl, RDFTermTypeConstantImpl

public interface NonNullConstant
extends Constant

Method Summary

Modifier and Type	Method and Description
default Optional<TermType>	getOptionalType() Empty if and only if is null.
TermType	getType()
default Optional<TermTypeInference>	inferType() Returns empty when no TermType has been inferred (missing information or fatal error) and no non-fatal error has been detected.
default boolean	isNull() Returns true if and only if the term is a NULL Constant.

Methods inherited from interface it.unibz.inf.ontop.model.term.Constant

getValue, isDeterministic

Methods inherited from interface it.unibz.inf.ontop.model.term.ImmutableTerm

evaluateIsNotNull, evaluateStrictEq, getVariableStream, isGround, isNullable, simplify, simplify

Method Detail

getType

TermType getType()

getOptionalType

default Optional<TermType> getOptionalType()

Description copied from interface: Constant

Empty if and only if is null.

Specified by:

getOptionalType in interface Constant

isNull

default boolean isNull()

Description copied from interface: ImmutableTerm

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

Specified by:

isNull in interface ImmutableTerm

inferType

default Optional<TermTypeInference> inferType()

Description copied from interface: ImmutableTerm

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

Specified by:

inferType in interface ImmutableTerm