
it.unibz.inf.ontop.model.term.NonNullConstant Maven / Gradle / Ivy
package it.unibz.inf.ontop.model.term;
import it.unibz.inf.ontop.model.type.TermType;
import it.unibz.inf.ontop.model.type.TermTypeInference;
import java.util.Optional;
public interface NonNullConstant extends Constant {
TermType getType();
@Override
default Optional getOptionalType() {
return Optional.of(getType());
}
@Override
default boolean isNull() {
return false;
}
@Override
default Optional inferType() {
return Optional.of(TermTypeInference.declareTermType(getType()));
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy