it.unibz.inf.ontop.model.term.impl

Class NullConstantImpl

java.lang.Object

it.unibz.inf.ontop.model.term.impl.AbstractNonFunctionalTerm

it.unibz.inf.ontop.model.term.impl.NullConstantImpl

All Implemented Interfaces:

Constant, GroundTerm, ImmutableTerm, NonFunctionalTerm, NonVariableTerm, VariableOrGroundTerm

public class NullConstantImpl
extends AbstractNonFunctionalTerm
implements Constant

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	NullConstantImpl(String nullLexicalValue)

Method Summary

Modifier and Type	Method and Description
IncrementalEvaluation	evaluateIsNotNull(VariableNullability variableNullability)
IncrementalEvaluation	evaluateStrictEq(ImmutableTerm otherTerm, VariableNullability variableNullability)
Optional<TermType>	getOptionalType() Empty if and only if is null.
String	getValue()
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)
String	toString()

Methods inherited from class it.unibz.inf.ontop.model.term.impl.AbstractNonFunctionalTerm

simplify, simplify

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

isDeterministic

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

simplify, simplify

Constructor Detail

NullConstantImpl

protected NullConstantImpl(String nullLexicalValue)

Method Detail

isNull

public 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

getValue

public String getValue()

Specified by:

getValue in interface Constant

getOptionalType

public Optional<TermType> getOptionalType()

Description copied from interface: Constant

Empty if and only if is null.

Specified by:

getOptionalType in interface Constant

isGround

public boolean isGround()

Specified by:

isGround in interface ImmutableTerm

getVariableStream

public Stream<Variable> getVariableStream()

Specified by:

getVariableStream in interface ImmutableTerm

inferType

public 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

toString

public String toString()

Overrides:

toString in class Object

evaluateStrictEq

public IncrementalEvaluation evaluateStrictEq(ImmutableTerm otherTerm,
                                              VariableNullability variableNullability)

Specified by:

evaluateStrictEq in interface ImmutableTerm

evaluateIsNotNull

public IncrementalEvaluation evaluateIsNotNull(VariableNullability variableNullability)

Specified by:

evaluateIsNotNull in interface ImmutableTerm

isNullable

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

Specified by:

isNullable in interface ImmutableTerm