code: package it.unibz.inf.ontop.model.term.functionsymbol.impl;
  
  import com.google.common.collect.ImmutableList;
  import it.unibz.inf.ontop.model.term.ImmutableExpression;
  import it.unibz.inf.ontop.model.term.ImmutableTerm;
  import it.unibz.inf.ontop.model.term.TermFactory;
  import it.unibz.inf.ontop.model.term.functionsymbol.NotYetTypedEqualityFunctionSymbol;
  import it.unibz.inf.ontop.model.type.DBTermType;
  import it.unibz.inf.ontop.model.type.TermType;
  
  import javax.annotation.Nonnull;
  
  public class NotYetTypedEqualityFunctionSymbolImpl extends BooleanFunctionSymbolImpl implements NotYetTypedEqualityFunctionSymbol {
  
      protected NotYetTypedEqualityFunctionSymbolImpl(DBTermType rootDBType, DBTermType dbBooleanTermType) {
          super("NOT_YET_TYPED_EQ", ImmutableList.of(rootDBType, rootDBType), dbBooleanTermType);
      }
  
      @Override
      public boolean blocksNegation() {
          return true;
      }
  
      @Override
      public ImmutableExpression negate(ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory) {
          throw new UnsupportedOperationException();
      }
  
      @Override
      protected boolean isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms() {
          return false;
      }
  
      @Override
      protected boolean tolerateNulls() {
          return false;
      }
  
      @Override
      protected boolean mayReturnNullWithoutNullArguments() {
          return false;
      }
  
      @Override
      public boolean canBePostProcessed(ImmutableList<? extends ImmutableTerm> arguments) {
          return false;
      }
  }
  