org.basex.query.expr

Class Pragma

java.lang.Object

org.basex.data.ExprInfo

org.basex.query.expr.Expr

org.basex.query.expr.ParseExpr

org.basex.query.expr.Simple

org.basex.query.expr.Pragma

public final class Pragma
extends Simple

Pragma.

Author:

BaseX Team 2005-12, BSD License, Leo Woerteler

Nested Class Summary

Nested classes/interfaces inherited from class org.basex.query.expr.Expr

Expr.Use

Field Summary

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

input, size, type

Constructor Summary

Constructors

Constructor and Description
Pragma(QNm qn, byte[] content, InputInfo ii) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
void	plan(Serializer ser) Serializes the expression tree.
java.lang.String	toString()

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

comp, count, removable, remove, uses

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

checkBln, checkColl, checkCreate, checkCtx, checkDbl, checkDBNode, checkEStr, checkEStr, checkIO, checkItem, checkItr, checkItr, checkMap, checkNode, checkNoEmpty, checkStr, checkType, checkUp, checkUp, checkWrite, compBln, ebv, item, iter, optPre, preEval, size, test, type, value

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

addText, compEbv, hasFreeVars, indexAccessible, indexEquivalent, isEmpty, isFunction, isItem, isVacuous, isValue, iterable, markTailCalls, sameAs

Methods inherited from class org.basex.data.ExprInfo

description, info

Methods inherited from class java.lang.Object

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

Constructor Detail

Pragma

public Pragma(QNm qn,
      byte[] content,
      InputInfo ii)

Constructor.

Parameters:

qn - QName

content - pragma contents

ii - input info

Method Detail

plan

public void plan(Serializer ser)
          throws java.io.IOException

Description copied from class: ExprInfo

Serializes the expression tree.

Overrides:

plan in class Simple

Parameters:

ser - serializer

Throws:

java.io.IOException - I/O exception

toString

public java.lang.String toString()

Specified by:

toString in class ExprInfo