toolbus
Class FunctionDescriptor

java.lang.Object
  toolbus.FunctionDescriptor

abstract class FunctionDescriptor
extends java.lang.Object

Field Summary

private java.lang.String[]	argNumberStrings
private aterm.ATerm[]	argtypes
private java.lang.String	name
private aterm.ATerm	resultType
private TBTermFactory	tbfactory

Constructor Summary

FunctionDescriptor(TBTermFactory tbfactory, java.lang.String name, aterm.ATerm resultType)

FunctionDescriptor(TBTermFactory tbfactory, java.lang.String name, aterm.ATerm arg0, aterm.ATerm resultType)

FunctionDescriptor(TBTermFactory tbfactory, java.lang.String name, aterm.ATerm arg0, aterm.ATerm arg1, aterm.ATerm resultType)

FunctionDescriptor(TBTermFactory tbfactory, java.lang.String name, aterm.ATerm arg0, aterm.ATerm arg1, aterm.ATerm arg2, aterm.ATerm resultType)

Method Summary

abstract aterm.ATerm	apply(aterm.ATerm[] args, ProcessInstance pi)
java.lang.String	arg(int n)
boolean	checkRunTime(aterm.ATerm[] actual)
boolean	checkStatic(aterm.ATerm[] actual) checkStatic performs a static type check for calls to built-in functions
java.lang.String	getName()
aterm.ATerm	getResultType()

Methods inherited from class java.lang.Object

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

Field Detail

tbfactory

private final TBTermFactory tbfactory

name

private final java.lang.String name

argtypes

private final aterm.ATerm[] argtypes

resultType

private final aterm.ATerm resultType

argNumberStrings

private java.lang.String[] argNumberStrings

Constructor Detail

FunctionDescriptor

public FunctionDescriptor(TBTermFactory tbfactory,
                          java.lang.String name,
                          aterm.ATerm resultType)

FunctionDescriptor

public FunctionDescriptor(TBTermFactory tbfactory,
                          java.lang.String name,
                          aterm.ATerm arg0,
                          aterm.ATerm resultType)

FunctionDescriptor

public FunctionDescriptor(TBTermFactory tbfactory,
                          java.lang.String name,
                          aterm.ATerm arg0,
                          aterm.ATerm arg1,
                          aterm.ATerm resultType)

FunctionDescriptor

public FunctionDescriptor(TBTermFactory tbfactory,
                          java.lang.String name,
                          aterm.ATerm arg0,
                          aterm.ATerm arg1,
                          aterm.ATerm arg2,
                          aterm.ATerm resultType)

Method Detail

getName

public java.lang.String getName()

getResultType

public aterm.ATerm getResultType()

checkStatic

public boolean checkStatic(aterm.ATerm[] actual)
                    throws ToolBusError

checkStatic performs a static type check for calls to built-in functions

Parameters:

actual - an array of types of actual parameters

Returns:

boolean

Throws:

ToolBusError

arg

public java.lang.String arg(int n)

checkRunTime

public boolean checkRunTime(aterm.ATerm[] actual)
                     throws ToolBusException

Throws:

ToolBusException

apply

public abstract aterm.ATerm apply(aterm.ATerm[] args,
                                  ProcessInstance pi)
                           throws ToolBusException

Throws:

ToolBusException