Package crypto.analysis

Class AlternativeReqPredicate

java.lang.Object

crypto.analysis.AlternativeReqPredicate

All Implemented Interfaces:

ICrySLPredicateParameter, ISLConstraint, Serializable

public class AlternativeReqPredicate
extends Object
implements ISLConstraint

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
boolean	addAlternative(CrySLPredicate newAlt)
boolean	equals(Object obj)
List<CrySLPredicate>	getAlternatives()
Set<String>	getInvolvedVarNames()
boomerang.jimple.Statement	getLocation()
String	getName()
int	hashCode()
void	setLocation(boomerang.jimple.Statement location)
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.jimple.Statement stmt)

AlternativeReqPredicate

public AlternativeReqPredicate(CrySLPredicate alternativeOne,
                               CrySLPredicate alternativeTwo,
                               boomerang.jimple.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.jimple.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 Set<String> getInvolvedVarNames()

Specified by:

getInvolvedVarNames in interface ISLConstraint

setLocation

public void setLocation(boomerang.jimple.Statement location)

Specified by:

setLocation in interface ISLConstraint

getAlternatives

public List<CrySLPredicate> getAlternatives()

addAlternative

public boolean addAlternative(CrySLPredicate newAlt)