com.ibm.wala.logic
Class UnaryRelation

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

All Implemented Interfaces:

IRelation

public class UnaryRelation
extends java.lang.Object
implements IRelation

Constructor Summary

protected

UnaryRelation(java.lang.String symbol)

Method Summary

boolean	equals(java.lang.Object obj)
java.lang.String	getSymbol()
int	getValence()
int	hashCode()
static UnaryRelation	make(java.lang.String symbol)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

UnaryRelation

protected UnaryRelation(java.lang.String symbol)

Method Detail

getValence

public int getValence()

Specified by:

getValence in interface IRelation

Returns:

the arity, or valence of this relation

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

getSymbol

public java.lang.String getSymbol()

Specified by:

getSymbol in interface IRelation

Returns:

a string which uniquely identifies this relation

make

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