com.ibm.wala.logic
Class BinaryFunction

java.lang.Object
  com.ibm.wala.logic.BinaryFunction

All Implemented Interfaces:

IFunction

public class BinaryFunction
extends java.lang.Object
implements IFunction

Method Summary

int	getNumberOfParameters()
java.lang.String	getSymbol()
static BinaryFunction	make(java.lang.String symbol)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

make

public static BinaryFunction make(java.lang.String symbol)

getNumberOfParameters

public int getNumberOfParameters()

Specified by:

getNumberOfParameters in interface IFunction

Returns:

the number of parameters to this function

getSymbol

public java.lang.String getSymbol()

Specified by:

getSymbol in interface IFunction

Returns:

a string which uniquely identifies this relation

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object