com.ibm.wala.logic
Class NullConstant

java.lang.Object
  com.ibm.wala.logic.IntConstant
      com.ibm.wala.logic.NullConstant

All Implemented Interfaces:

IConstant, ITerm

public class NullConstant
extends IntConstant
implements IConstant

Nested Class Summary

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

ITerm.Kind

Method Summary

java.util.Collection<Variable>	getFreeVariables()
ITerm.Kind	getKind()
static NullConstant	make()
java.lang.String	toString()

Methods inherited from class com.ibm.wala.logic.IntConstant

equals, getVal, hashCode, make

Methods inherited from class java.lang.Object

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

Method Detail

make

public static NullConstant make()

getFreeVariables

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

Specified by:

getFreeVariables in interface ITerm

Overrides:

getFreeVariables in class IntConstant

getKind

public ITerm.Kind getKind()

Specified by:

getKind in interface ITerm

Overrides:

getKind in class IntConstant

toString

public java.lang.String toString()

Overrides:

toString in class IntConstant