org.basex.query.util

Class TypedFunc

java.lang.Object

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

Fields

Modifier and Type	Field and Description
Expr	fun Function expression.
FuncType	type Function type.

Constructor Summary

Constructors

Constructor and Description
TypedFunc(Expr f, FuncType ft) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
static TypedFunc	constr(Cast cast, SeqType to) Creates a type constructor function.
static TypedFunc	java(JavaMapping f) Creates a type constructor function.
SeqType	ret() Gets the function's return type.

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.

Constructor Detail

TypedFunc

public TypedFunc(Expr f,
         FuncType ft)

Constructor.

Parameters:

f - function expression

ft - function type

Method Detail

ret

public SeqType ret()

Gets the function's return type.

Returns:

return type

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