org.basex.query.util
Class TypedFunc

java.lang.Object
  extended by org.basex.query.util.TypedFunc

public final class TypedFunc
extends java.lang.Object

Wrapper that provides types for function expressions.

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

Field Summary
 Ann ann
          Annotations.
 Expr fun
          Function expression.
 FuncType type
          Function type.
 
Constructor Summary
TypedFunc(Expr f, Ann a, FuncType ft)
          Constructor.
 
Method Summary
static TypedFunc constr(Cast cast, SeqType to)
          Creates a type constructor function.
static TypedFunc java(JavaMapping f)
          Creates a type constructor function.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

fun

public final Expr fun
Function expression.


type

public final FuncType type
Function type.


ann

public final Ann ann
Annotations.

Constructor Detail

TypedFunc

public TypedFunc(Expr f,
                 Ann a,
                 FuncType ft)
Constructor.

Parameters:
f - function expression
a - annotations
ft - function type
Method Detail

constr

public static TypedFunc constr(Cast cast,
                               SeqType to)
Creates a type constructor function.

Parameters:
cast - cast expression
to - type to cast to
Returns:
typed function

java

public static TypedFunc java(JavaMapping f)
Creates a type constructor function.

Parameters:
f - java function
Returns:
typed function