Package org.basex.query.expr

Class DBPragma

java.lang.Object

org.basex.query.expr.ExprInfo

org.basex.query.expr.Pragma

org.basex.query.expr.DBPragma

public final class DBPragma
extends Pragma

Pragma for database options.

Author:

BaseX Team 2005-21, BSD License, Leo Woerteler

Constructor Summary

Constructors

Constructor	Description
DBPragma(QNm name, Option<?> option, byte[] value)	Constructor.

Method Summary

Modifier and Type	Method	Description
void	accept(ASTVisitor visitor)
Pragma	copy()	Creates a copy of this pragma.
boolean	equals(Object obj)	Must be overwritten by implementing class.
boolean	has(Flag... flags)	Indicates if an expression has one of the specified compiler properties.

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

plan, plan

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

DBPragma

public DBPragma(QNm name,
 Option<?> option,
 byte[] value)

Constructor.

Parameters:

name - name of pragma

option - option

value - value

Method Details

has

public boolean has(Flag... flags)

Description copied from class: Pragma

Indicates if an expression has one of the specified compiler properties.

Specified by:

has in class Pragma

Parameters:

flags - flag to be checked

Returns:

result of check

See Also:

• Expr.has(Flag...)

accept

public void accept(ASTVisitor visitor)

equals

public boolean equals(Object obj)

Description copied from class: Pragma

Must be overwritten by implementing class.

Overrides:

equals in class Pragma

copy

public Pragma copy()

Description copied from class: Pragma

Creates a copy of this pragma.

Specified by:

copy in class Pragma

Returns:

copy