|
Qizx/Open v0.4 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Context for static analysis.
Method Summary | |
boolean |
check(net.xfra.qizxopen.xquery.fn.Prototype proto,
int rank,
net.xfra.qizxopen.xquery.op.Expression actualArgument)
Checks an expression against a prototype argument, raises an error if no match. |
void |
checkType(net.xfra.qizxopen.xquery.op.Expression expr,
Type expected,
java.lang.String message)
Checks an expression against a type, raises an error if no match. |
net.xfra.qizxopen.xquery.op.LocalVariable |
defineLocalVariable(QName name,
Type type,
net.xfra.qizxopen.xquery.op.Expression declaring)
Adds a local variable definition during compilation. |
void |
error(net.xfra.qizxopen.xquery.op.Expression place,
java.lang.String msg,
java.lang.String argument1,
java.lang.String arg2)
Convenience. |
net.xfra.qizxopen.xquery.fn.Function |
functionLookup(QName name)
Looks for a function (user or predefined) in the static context: successively in current module, imported modules, predefined context. |
java.lang.String |
getBaseURI()
Returns the default element namespace. |
java.text.Collator |
getCollator(java.lang.String uri)
|
java.lang.String |
getDefaultCollation()
Gets the implementation-defined or query-defined default collation |
Namespace |
getDefaultElementNS()
Returns the default element namespace. |
Namespace |
getDefaultFunctionNS()
Returns the default function namespace. |
ItemType |
getDotType()
|
net.xfra.qizxopen.xquery.op.Expression |
getEnclosing(int levels)
Returns the enclosing expression 'levels' above, returns null if none. |
NSPrefixMapping |
getInScopeNS()
Returns the declared namespaces. |
Log |
getLog()
Returns the current message log. |
net.xfra.qizxopen.xquery.op.GlobalVariable |
lookforGlobalVariable(QName name)
Returns a global variable (null if not defined) |
net.xfra.qizxopen.xquery.op.LocalVariable |
lookforLocalVariable(QName name)
Returns the declaration of a local variable |
net.xfra.qizxopen.xquery.op.LocalVariable |
markLocalVariables()
Returns the previous local variable definition (used for pop). |
void |
popDotType()
|
void |
popLocalVariables(net.xfra.qizxopen.xquery.op.LocalVariable mark)
Pops local variable definitions during compilation. |
java.lang.String |
prefixedName(QName name)
Converts a QName to prefix:ncname using the declared namespaces. |
void |
pushDotType(Type type)
Defines the type of '.' for the enclosed expression. |
net.xfra.qizxopen.xquery.op.Expression |
resolve(net.xfra.qizxopen.xquery.fn.Prototype[] protos,
net.xfra.qizxopen.xquery.op.Expression[] actualArguments,
net.xfra.qizxopen.xquery.op.Expression call)
Finds the prototype that matches arguments, else emits an error. |
net.xfra.qizxopen.xquery.op.Expression |
staticCheck(net.xfra.qizxopen.xquery.op.Expression expr,
int flags)
Wraps the static type checking of a subexpression. |
Method Detail |
public Namespace getDefaultFunctionNS()
public Namespace getDefaultElementNS()
public NSPrefixMapping getInScopeNS()
public net.xfra.qizxopen.xquery.fn.Function functionLookup(QName name) throws XQueryException
XQueryException
- only when the access to an existing function is
explicitly denied (e.g. security).public net.xfra.qizxopen.xquery.op.LocalVariable lookforLocalVariable(QName name)
public net.xfra.qizxopen.xquery.op.LocalVariable defineLocalVariable(QName name, Type type, net.xfra.qizxopen.xquery.op.Expression declaring)
public net.xfra.qizxopen.xquery.op.LocalVariable markLocalVariables()
public void popLocalVariables(net.xfra.qizxopen.xquery.op.LocalVariable mark)
public net.xfra.qizxopen.xquery.op.GlobalVariable lookforGlobalVariable(QName name)
public java.lang.String prefixedName(QName name)
public java.lang.String getBaseURI()
public java.lang.String getDefaultCollation()
public java.text.Collator getCollator(java.lang.String uri)
public Log getLog()
public void error(net.xfra.qizxopen.xquery.op.Expression place, java.lang.String msg, java.lang.String argument1, java.lang.String arg2)
public net.xfra.qizxopen.xquery.op.Expression staticCheck(net.xfra.qizxopen.xquery.op.Expression expr, int flags)
public net.xfra.qizxopen.xquery.op.Expression getEnclosing(int levels)
public void checkType(net.xfra.qizxopen.xquery.op.Expression expr, Type expected, java.lang.String message)
public boolean check(net.xfra.qizxopen.xquery.fn.Prototype proto, int rank, net.xfra.qizxopen.xquery.op.Expression actualArgument)
public net.xfra.qizxopen.xquery.op.Expression resolve(net.xfra.qizxopen.xquery.fn.Prototype[] protos, net.xfra.qizxopen.xquery.op.Expression[] actualArguments, net.xfra.qizxopen.xquery.op.Expression call)
protos
- list of applicable prototypesactualArguments
- argument list to matchcall
- concerned expression, for error message.
public void pushDotType(Type type)
public void popDotType()
public ItemType getDotType()
|
Copyright Xavier FRANC 2003-2004 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |