Package crypto.analysis

Class AlternativeReqPredicate

java.lang.Object

crypto.analysis.AlternativeReqPredicate

All Implemented Interfaces:

ICrySLPredicateParameter, ISLConstraint

public class AlternativeReqPredicate
extends Object
implements ISLConstraint

Constructor Summary

Constructors

Constructor	Description
AlternativeReqPredicate(CrySLPredicate alternativeOne, boomerang.scene.Statement stmt)
AlternativeReqPredicate(CrySLPredicate alternativeOne, CrySLPredicate alternativeTwo, boomerang.scene.Statement stmt)

Method Summary

Modifier and Type	Method	Description
boolean	addAlternative(CrySLPredicate newAlt)
boolean	equals(Object obj)
List<CrySLPredicate>	getAlternatives()
List<String>	getInvolvedVarNames()
boomerang.scene.Statement	getLocation()
String	getName()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AlternativeReqPredicate

public AlternativeReqPredicate(CrySLPredicate alternativeOne,
                               boomerang.scene.Statement stmt)

AlternativeReqPredicate

public AlternativeReqPredicate(CrySLPredicate alternativeOne,
                               CrySLPredicate alternativeTwo,
                               boomerang.scene.Statement stmt)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getLocation

public boomerang.scene.Statement getLocation()

Specified by:

getLocation in interface ISLConstraint

toString

public String toString()

Overrides:

toString in class Object

getName

public String getName()

Specified by:

getName in interface ICrySLPredicateParameter

getInvolvedVarNames

public List<String> getInvolvedVarNames()

Specified by:

getInvolvedVarNames in interface ISLConstraint

getAlternatives

public List<CrySLPredicate> getAlternatives()

addAlternative

public boolean addAlternative(CrySLPredicate newAlt)