org.eclipse.tptp.platform.provisional.sun50.fastxpath.functions
Class EFuncExtFunctionAvailable

java.lang.Object
  org.eclipse.tptp.platform.provisional.sun50.fastxpath.EExpression
      org.eclipse.tptp.platform.provisional.sun50.fastxpath.functions.EFunction
          org.eclipse.tptp.platform.provisional.sun50.fastxpath.functions.EFunctionOneArg
              org.eclipse.tptp.platform.provisional.sun50.fastxpath.functions.EFuncExtFunctionAvailable

All Implemented Interfaces:

IExpression

public class EFuncExtFunctionAvailable

extends EFunctionOneArg

Field Summary

Fields inherited from class org.eclipse.tptp.platform.provisional.sun50.fastxpath.functions.EFunctionOneArg

eArg0

Constructor Summary

EFuncExtFunctionAvailable(FuncExtFunctionAvailable fefa)

Method Summary

IExpression

instance(Expression e)

Methods inherited from class org.eclipse.tptp.platform.provisional.sun50.fastxpath.functions.EFunctionOneArg

callArgVisitors, checkNumberArgs, fixupVariables, getArg0, getArg0AsNumber, getArg0AsString, getEArg0, getExpression, linkParent, printGraph, setArg, setEArg0, setExpression

Methods inherited from class org.eclipse.tptp.platform.provisional.sun50.fastxpath.functions.EFunction

getArgAsNumber, getArgAsString

Methods inherited from class org.eclipse.tptp.platform.provisional.sun50.fastxpath.EExpression

compile, execute, getParent, indent, setParent

Methods inherited from class java.lang.Object

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

Constructor Detail

EFuncExtFunctionAvailable

public EFuncExtFunctionAvailable(FuncExtFunctionAvailable fefa)

Parameters:

fefa -

Method Detail

instance

public IExpression instance(Expression e)

Overrides:

instance in class EFunctionOneArg

See Also:

org.eclipse.tptp.platform.provisional.sun50.fastxpath.functions.EFunctionOneArg#instance(com.sun.org.apache.xpath.internal.Expression)