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

Class DummyVariableNullabilityImpl

java.lang.Object

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

All Implemented Interfaces:

DummyVariableNullability, VariableNullability

public class DummyVariableNullabilityImpl
extends Object
implements DummyVariableNullability

Method Summary

Modifier and Type	Method and Description
VariableNullability	applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution)
boolean	canPossiblyBeNullSeparately(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Generalization to arbitrary terms
boolean	canPossiblyBeNullSeparately(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.
com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>>	getNullableGroups() All the variables of a group are always null at the same time (guaranteed).
boolean	isPossiblyNullable(Variable variable) NB: for variables outside its scope, returns true (as it does not know anything about them)
VariableNullability	update(ImmutableSubstitution<? extends ImmutableTerm> substitution, com.google.common.collect.ImmutableSet<Variable> projectedVariables) Deprecated.

Methods inherited from class java.lang.Object

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

Methods inherited from interface it.unibz.inf.ontop.iq.node.VariableNullability

getNullableVariables

Method Detail

isPossiblyNullable

public boolean isPossiblyNullable(Variable variable)

Description copied from interface: VariableNullability

NB: for variables outside its scope, returns true (as it does not know anything about them)

Specified by:

isPossiblyNullable in interface VariableNullability

canPossiblyBeNullSeparately

public boolean canPossiblyBeNullSeparately(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

canPossiblyBeNullSeparately

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

Description copied from interface: VariableNullability

Generalization to arbitrary terms

Specified by:

canPossiblyBeNullSeparately in interface VariableNullability

getNullableGroups

public com.google.common.collect.ImmutableSet<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

@Deprecated
public VariableNullability update(ImmutableSubstitution<? extends ImmutableTerm> substitution,
                                              com.google.common.collect.ImmutableSet<Variable> projectedVariables)

Deprecated.

Specified by:

update in interface DummyVariableNullability

Specified by:

update in interface VariableNullability

applyFreshRenaming

public VariableNullability applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution)

Specified by:

applyFreshRenaming in interface DummyVariableNullability

Specified by:

applyFreshRenaming in interface VariableNullability