org.deri.iris.builtins.datatype
Class IsNotIDREFBuiltin

java.lang.Object
  org.deri.iris.builtins.AbstractBuiltin
      org.deri.iris.builtins.BooleanBuiltin
          org.deri.iris.builtins.datatype.IsNotIDREFBuiltin

All Implemented Interfaces:

Comparable<IAtom>, IAtom, IBuiltinAtom

public class IsNotIDREFBuiltin
extends BooleanBuiltin

Checks if a term is not of type 'IDREF'.

Author:

Adrian Marte

Field Summary

static IPredicate

PREDICATE The predicate defining this built-in.

Fields inherited from class org.deri.iris.builtins.AbstractBuiltin

EMPTY_TERM

Constructor Summary

IsNotIDREFBuiltin(ITerm... terms)
Constructor.

Method Summary

protected boolean

computeResult(ITerm[] terms) Compute the result of the comparison.

Methods inherited from class org.deri.iris.builtins.BooleanBuiltin

evaluateTerms

Methods inherited from class org.deri.iris.builtins.AbstractBuiltin

compareTo, equals, evaluate, getPredicate, getTuple, hashCode, isBuiltin, isGround, maxUnknownVariables, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

PREDICATE

public static final IPredicate PREDICATE

The predicate defining this built-in.

Constructor Detail

IsNotIDREFBuiltin

public IsNotIDREFBuiltin(ITerm... terms)

Constructor.

Parameters:

terms - The list of terms. Must always be of length 1 in this case.

Method Detail

computeResult

protected boolean computeResult(ITerm[] terms)

Description copied from class: BooleanBuiltin

Compute the result of the comparison.

Specified by:

computeResult in class BooleanBuiltin

Parameters:

terms - The terms

Returns:

The result of the comparison.