org.basex.query.expr
Class DBPragma

java.lang.Object
  extended by org.basex.data.ExprInfo
      extended by org.basex.query.expr.Pragma
          extended by org.basex.query.expr.DBPragma

public final class DBPragma
extends Pragma

Pragma for database options.

Author:
BaseX Team 2005-12, BSD License, Leo Woerteler

Field Summary
 
Fields inherited from class org.basex.query.expr.Pragma
name, value
 
Constructor Summary
DBPragma(QNm n, byte[] v)
          Constructor.
 
Method Summary
 Pragma copy()
          Creates a copy of this pragma.
 
Methods inherited from class org.basex.query.expr.Pragma
plan, toString
 
Methods inherited from class org.basex.data.ExprInfo
addPlan, addPlan, description, info, planAttr, planElem
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DBPragma

public DBPragma(QNm n,
                byte[] v)
Constructor.

Parameters:
n - name of pragma
v - optional value
Method Detail

copy

public Pragma copy()
Description copied from class: Pragma
Creates a copy of this pragma.

Specified by:
copy in class Pragma
Returns:
copy