com.ibm.wala.logic
Class FunctionTerm

java.lang.Object
  com.ibm.wala.logic.AbstractTerm
      com.ibm.wala.logic.FunctionTerm

All Implemented Interfaces:

ITerm

public class FunctionTerm
extends AbstractTerm

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.logic.ITerm

ITerm.Kind

Method Summary

boolean	equals(java.lang.Object obj)
java.util.Collection<? extends ITerm>	getAllTerms() Collect all terms that appear in this term, including subterms if this is a function term
java.util.Collection<? extends IConstant>	getConstants()
java.util.Collection<AbstractVariable>	getFreeVariables()
IFunction	getFunction()
ITerm.Kind	getKind()
java.util.List<ITerm>	getParameters()
int	hashCode()
static FunctionTerm	make(BinaryFunction f, int i, int j)
static FunctionTerm	make(BinaryFunction f, ITerm i, int j)
static FunctionTerm	make(BinaryFunction f, ITerm i, ITerm j)
static FunctionTerm	make(IFunction f, java.util.List<ITerm> terms)
static FunctionTerm	make(NaryFunction f, ITerm t1, ITerm t2, ITerm t3)
static FunctionTerm	make(NullaryFunction f)
static FunctionTerm	make(UnaryFunction f, int i)
static FunctionTerm	make(UnaryFunction f, ITerm t)
java.lang.String	prettyPrint(ILogicDecorator d)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

getKind

public ITerm.Kind getKind()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

prettyPrint

public java.lang.String prettyPrint(ILogicDecorator d)
                             throws java.lang.IllegalArgumentException

Throws:

java.lang.IllegalArgumentException

make

public static FunctionTerm make(UnaryFunction f,
                                int i)

make

public static FunctionTerm make(BinaryFunction f,
                                int i,
                                int j)

make

public static FunctionTerm make(IFunction f,
                                java.util.List<ITerm> terms)

make

public static FunctionTerm make(BinaryFunction f,
                                ITerm i,
                                int j)

make

public static FunctionTerm make(BinaryFunction f,
                                ITerm i,
                                ITerm j)

make

public static FunctionTerm make(NullaryFunction f)

make

public static FunctionTerm make(UnaryFunction f,
                                ITerm t)

getFunction

public IFunction getFunction()

getParameters

public java.util.List<ITerm> getParameters()

getFreeVariables

public java.util.Collection<AbstractVariable> getFreeVariables()

getConstants

public java.util.Collection<? extends IConstant> getConstants()

hashCode

public int hashCode()

Specified by:

hashCode in class AbstractTerm

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in class AbstractTerm

getAllTerms

public java.util.Collection<? extends ITerm> getAllTerms()

Description copied from interface: ITerm

Collect all terms that appear in this term, including subterms if this is a function term

make

public static FunctionTerm make(NaryFunction f,
                                ITerm t1,
                                ITerm t2,
                                ITerm t3)