Package org.basex.query.expr.ft

Class FTNot

java.lang.Object

org.basex.query.expr.ExprInfo

org.basex.query.expr.Expr

org.basex.query.expr.ParseExpr

org.basex.query.expr.ft.FTExpr

org.basex.query.expr.ft.FTNot

public final class FTNot
extends FTExpr

FTUnaryNot expression.

Author:

BaseX Team 2005-21, BSD License, Christian Gruen, Sebastian Gath

Field Summary

Fields inherited from class org.basex.query.expr.ft.FTExpr

exprs

Fields inherited from class org.basex.query.expr.ParseExpr

exprType, info

Constructor Summary

Constructors

Constructor	Description
FTNot(InputInfo info, FTExpr expr)	Constructor.

Method Summary

Modifier and Type	Method	Description
FTExpr	compile(CompileContext cc)	Compiles and optimizes the expression, assigns types and cardinalities.
FTExpr	copy(CompileContext cc, IntObjMap<Var> vm)	Copies an expression.
boolean	equals(Object obj)	This function is e.g.
boolean	indexAccessible(IndexInfo ii)	Checks if an expression can be rewritten to an index access.
FTNode	item(QueryContext qc, InputInfo ii)	This method is called by the sequential full-text evaluation.
FTIter	iter(QueryContext qc)	This method is called by the index-based full-text evaluation.
void	plan(QueryString qs)	Creates a query string.
boolean	usesExclude()	Checks if sub expressions of a mild not operator violate the grammar.

Methods inherited from class org.basex.query.expr.ft.FTExpr

accept, checkUp, count, exprSize, has, inline, inlineable, optimize, plan, value

Methods inherited from class org.basex.query.expr.ParseExpr

adoptType, atomValue, checkAllUp, checkNoEmpty, checkNoEmpty, checkNoneUp, checkNoUp, checkType, checkType, checkUp, copyType, ctxValue, ebv, refineType, seqType, size, test, toArray, toArray, toAtomItem, toB64, toB64, toBin, toBin, toBoolean, toBoolean, toBytes, toBytes, toDouble, toDouble, toElem, toFloat, toFunc, toItem, toItem, toLong, toLong, toMap, toMap, toNode, toNode, toNodeOrNull, toNumber, toNumberOrNull, toQNm, toQNm, toToken, toToken, toTokenOrNull, toZeroToken

Methods inherited from class org.basex.query.expr.Expr

arg, args, atomItem, atomIter, data, data, ddo, funcType, hasFreeVars, isSimple, markTailCalls, mergeEbv, simplifyFor, typeCheck, uses, vacuous, visitAll

Methods inherited from class org.basex.query.expr.ExprInfo

description, toErrorString, toString

Methods inherited from class java.lang.Object

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

Constructor Details

FTNot

public FTNot(InputInfo info,
 FTExpr expr)

Constructor.

Parameters:

info - input info

expr - expression

Method Details

compile

public FTExpr compile(CompileContext cc)
               throws QueryException

Description copied from class: Expr

Compiles and optimizes the expression, assigns types and cardinalities.

Overrides:

compile in class FTExpr

Parameters:

cc - compilation context

Returns:

optimized expression

Throws:

QueryException - query exception

item

public FTNode item(QueryContext qc,
 InputInfo ii)
            throws QueryException

Description copied from class: FTExpr

This method is called by the sequential full-text evaluation. It always returns an item.

Specified by:

item in class FTExpr

Parameters:

qc - query context

ii - input info (only required by Seq instances, which have no input info)

Returns:

resulting item

Throws:

QueryException - query exception

iter

public FTIter iter(QueryContext qc)
            throws QueryException

Description copied from class: FTExpr

This method is called by the index-based full-text evaluation.

Specified by:

iter in class FTExpr

Parameters:

qc - query context

Returns:

resulting item

Throws:

QueryException - query exception

indexAccessible

public boolean indexAccessible(IndexInfo ii)

Description copied from class: Expr

Checks if an expression can be rewritten to an index access. If so, the index expression will be bound to IndexInfo.expr. This method will be called by the Path expression.

Overrides:

indexAccessible in class Expr

Parameters:

ii - index info

Returns:

true if an index can be used

copy

public FTExpr copy(CompileContext cc,
 IntObjMap<Var> vm)

Description copied from class: Expr

Copies an expression. Used for inlining functions, or for copying static queries. It is utilized by VarRef.inline(org.basex.query.InlineContext), FuncItem.inline(org.basex.query.expr.Expr[], org.basex.query.CompileContext), Closure.inline(org.basex.query.InlineContext) and StaticFunc.inline(org.basex.query.expr.Expr[], org.basex.query.CompileContext).

Specified by:

copy in class FTExpr

Parameters:

cc - compilation context

vm - mapping from old variable IDs to new variable copies. Required by Closure.copy(org.basex.query.CompileContext, org.basex.util.hash.IntObjMap<org.basex.query.var.Var>) and VarRef.copy(org.basex.query.CompileContext, org.basex.util.hash.IntObjMap<org.basex.query.var.Var>)

Returns:

copied expression

usesExclude

public boolean usesExclude()

Description copied from class: FTExpr

Checks if sub expressions of a mild not operator violate the grammar.

Overrides:

usesExclude in class FTExpr

Returns:

result of check

equals

public boolean equals(Object obj)

Description copied from class: Expr

This function is e.g. called by:

• If.optimize(CompileContext), Switch.optimize(CompileContext), Typeswitch.optimize(CompileContext), in order to discard identical expressions.
• CmpR.mergeEbv(Expr, boolean, CompileContext) or CmpSR.mergeEbv(Expr, boolean, CompileContext), in order to merge expressions with identical input.
• CmpG.optimize(CompileContext) or CmpV.optimize(CompileContext), in order to pre-evaluate equality tests.
• CmpG.optimize(CompileContext) or Pos.get(Expr, CmpV.OpV, InputInfo, CompileContext), in order to compare the start and end value.
• PathCache, in order to find identical root values at runtime.

Overrides:

equals in class FTExpr

plan

public void plan(QueryString qs)

Description copied from class: ExprInfo

Creates a query string.

Specified by:

plan in class ExprInfo

Parameters:

qs - query string builder