it.unibz.inf.ontop.iq.node.impl

Class VariableNullabilityImpl

java.lang.Object

it.unibz.inf.ontop.iq.node.impl.VariableNullabilityImpl

All Implemented Interfaces:

VariableNullability

public class VariableNullabilityImpl
extends Object
implements VariableNullability

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	VariableNullabilityImpl(Stream<Variable> variableStream, CoreUtilsFactory coreUtilsFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory) Treats all the variables as independently nullable

Method Summary

Modifier and Type	Method and Description
VariableNullability	applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution)
boolean	canPossiblyBeNullSeparately(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Generalization to arbitrary terms
boolean	canPossiblyBeNullSeparately(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variables) Returns true if it possible that among the variables at least two can be null but are not required to be null at the same time.
VariableNullability	extendToExternalVariables(Stream<Variable> possiblyExternalVariables) Returns a new VariableNullability.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	getNullableGroups() All the variables of a group are always null at the same time (guaranteed).
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	getNullableVariables()
boolean	isPossiblyNullable(Variable variable) Non-projected variables ("external") are considered as nullable.
VariableNullability	update(ImmutableSubstitution<? extends ImmutableTerm> substitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> newScope)

Methods inherited from class java.lang.Object

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

Constructor Detail

VariableNullabilityImpl

protected VariableNullabilityImpl(Stream<Variable> variableStream,
                                  CoreUtilsFactory coreUtilsFactory,
                                  TermFactory termFactory,
                                  SubstitutionFactory substitutionFactory)

Treats all the variables as independently nullable

Method Detail

isPossiblyNullable

public boolean isPossiblyNullable(Variable variable)

Non-projected variables ("external") are considered as nullable. Relevant when propagating down constraints

Specified by:

isPossiblyNullable in interface VariableNullability

getNullableVariables

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

Specified by:

getNullableVariables in interface VariableNullability

canPossiblyBeNullSeparately

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

Description copied from interface: VariableNullability

Returns true if it possible that among the variables at least two can be null but are not required to be null at the same time.

Specified by:

canPossiblyBeNullSeparately in interface VariableNullability

getNullableGroups

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

Description copied from interface: VariableNullability

All the variables of a group are always null at the same time (guaranteed).

Specified by:

getNullableGroups in interface VariableNullability

update

public VariableNullability update(ImmutableSubstitution<? extends ImmutableTerm> substitution,
                                  it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> newScope)

Specified by:

update in interface VariableNullability

applyFreshRenaming

public VariableNullability applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution)

Specified by:

applyFreshRenaming in interface VariableNullability

extendToExternalVariables

public VariableNullability extendToExternalVariables(Stream<Variable> possiblyExternalVariables)

Description copied from interface: VariableNullability

Returns a new VariableNullability. Treats the external variables (outside the scope) as independently nullable.

Specified by:

extendToExternalVariables in interface VariableNullability

canPossiblyBeNullSeparately

public boolean canPossiblyBeNullSeparately(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)

Description copied from interface: VariableNullability

Generalization to arbitrary terms

Specified by:

canPossiblyBeNullSeparately in interface VariableNullability