dk.brics.string.mlfa
Class MLFAStatePair

java.lang.Object
  dk.brics.string.mlfa.MLFAStatePair

public class MLFAStatePair
extends Object

Pair of MLFA states.

Constructor Summary

MLFAStatePair(MLFAState s1, MLFAState s2)
Constructs new pair.

Method Summary

boolean	equals(Object obj)
MLFAState	getFirstState() Returns first component of this pair.
MLFAState	getSecondState() Returns second component of this pair.
int	hashCode()
boolean	isTaint()
void	setTaint(boolean taint)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

MLFAStatePair

public MLFAStatePair(MLFAState s1,
                     MLFAState s2)

Constructs new pair.

Parameters:

s1 - first state

s2 - second state

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getFirstState

public MLFAState getFirstState()

Returns first component of this pair.

Returns:

first state

getSecondState

public MLFAState getSecondState()

Returns second component of this pair.

Returns:

second state

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isTaint

public boolean isTaint()

setTaint

public void setTaint(boolean taint)

toString

public String toString()

Overrides:

toString in class Object