Package crypto.rules

Class CrySLConstraint

java.lang.Object

crypto.rules.CrySLConstraint

All Implemented Interfaces:

ICrySLPredicateParameter, ISLConstraint, Serializable

public class CrySLConstraint
extends Object
implements ISLConstraint

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	CrySLConstraint.LogOps

Constructor Summary

Constructors

Constructor	Description
CrySLConstraint(ISLConstraint l, ISLConstraint r, CrySLConstraint.LogOps op)

Method Summary

Modifier and Type	Method	Description
Set<String>	getInvolvedVarNames()
ISLConstraint	getLeft()
boomerang.jimple.Statement	getLocation()
String	getName()
CrySLConstraint.LogOps	getOperator()
ISLConstraint	getRight()
void	setLocation(boomerang.jimple.Statement location)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CrySLConstraint

public CrySLConstraint(ISLConstraint l,
                       ISLConstraint r,
                       CrySLConstraint.LogOps op)

Method Detail

getOperator

public CrySLConstraint.LogOps getOperator()

Returns:

the operator return operator;

getLeft

public ISLConstraint getLeft()

Returns:

the left

getRight

public ISLConstraint getRight()

Returns:

the right

toString

public String toString()

Overrides:

toString in class Object

getInvolvedVarNames

public Set<String> getInvolvedVarNames()

Specified by:

getInvolvedVarNames in interface ISLConstraint

getName

public String getName()

Specified by:

getName in interface ICrySLPredicateParameter

setLocation

public void setLocation(boomerang.jimple.Statement location)

Specified by:

setLocation in interface ISLConstraint

getLocation

public boomerang.jimple.Statement getLocation()

Specified by:

getLocation in interface ISLConstraint