toolbus
Class Functions

java.lang.Object
  toolbus.Functions

public class Functions
extends java.lang.Object

Field Summary

private static java.util.Hashtable<java.lang.String,FunctionDescriptor>	Funs
private static TBTermFactory	tbfactory

Constructor Summary

Functions()

Method Summary

private static aterm.ATerm	apply(java.lang.String fun, aterm.ATerm[] args, ProcessInstance process)
static aterm.ATerm	checkStatic(java.lang.String fun, aterm.ATerm[] args)
static aterm.ATerm	checkType(aterm.ATerm t, Environment env, boolean quoted)
static boolean	compatibleTypeList(aterm.ATermList list, aterm.ATerm elmtype) compatibleTypeList checks that a list of types is compatible with a given element type
static boolean	compatibleTypes(aterm.ATerm t1, aterm.ATerm t2) compatibleTypes checks that two types are compatible
private static void	define(FunctionDescriptor fd) Declaration
private static void	defineFuns()
static aterm.ATerm	eval(aterm.ATerm t, ProcessInstance pi, Environment env)
static void	init(TBTermFactory tbfac)

Methods inherited from class java.lang.Object

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

Field Detail

Funs

private static java.util.Hashtable<java.lang.String,FunctionDescriptor> Funs

tbfactory

private static TBTermFactory tbfactory

Constructor Detail

Functions

public Functions()

Method Detail

init

public static void init(TBTermFactory tbfac)

define

private static void define(FunctionDescriptor fd)

Declaration

defineFuns

private static void defineFuns()

checkStatic

public static aterm.ATerm checkStatic(java.lang.String fun,
                                      aterm.ATerm[] args)
                               throws ToolBusError

Throws:

ToolBusError

apply

private static aterm.ATerm apply(java.lang.String fun,
                                 aterm.ATerm[] args,
                                 ProcessInstance process)
                          throws ToolBusException

Throws:

ToolBusException

eval

public static aterm.ATerm eval(aterm.ATerm t,
                               ProcessInstance pi,
                               Environment env)
                        throws ToolBusException

Throws:

ToolBusException

checkType

public static aterm.ATerm checkType(aterm.ATerm t,
                                    Environment env,
                                    boolean quoted)
                             throws ToolBusException

Throws:

ToolBusException

compatibleTypeList

public static boolean compatibleTypeList(aterm.ATermList list,
                                         aterm.ATerm elmtype)

compatibleTypeList checks that a list of types is compatible with a given element type

Parameters:

list - the list to be checked

elmtype - the required element type

Returns:

boolean

compatibleTypes

public static boolean compatibleTypes(aterm.ATerm t1,
                                      aterm.ATerm t2)

compatibleTypes checks that two types are compatible

Parameters:

t1 - first type

t2 - second type

Returns:

boolean