CrySLExceptionConstraint (CryptoAnalysis 3.1.0 API)

java.lang.Object
- crypto.rules.CrySLExceptionConstraint

All Implemented Interfaces:

ICrySLPredicateParameter, ISLConstraint, Serializable
```
public class CrySLExceptionConstraint
extends Object
implements ISLConstraint
```
Constraint expressing, that a CrySLMethod throws an CrySLException, that must be caught.

See Also:

Serialized Form

Constructor Summary

Constructors
Constructor	Description
`CrySLExceptionConstraint(CrySLMethod method, CrySLException exception)`	Construct the `CrySLExceptionConstraint` given the method and the exception thrown thereby.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`CrySLException`	`getException()`	Returns the Exception thrown by the Exception.
`Set<String>`	`getInvolvedVarNames()`
`boomerang.jimple.Statement`	`getLocation()`
`CrySLMethod`	`getMethod()`	Returns the Method throwing the Exception.
`String`	`getName()`
`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
  - CrySLExceptionConstraint
```
public CrySLExceptionConstraint(CrySLMethod method,
                                CrySLException exception)
```
    Construct the CrySLExceptionConstraint given the method and the exception thrown thereby.
    
    Parameters:
    
    method - Method that throws the Exception.
    
    exception - Exception that thrown by the Method.
- Method Detail
  - getMethod
```
public CrySLMethod getMethod()
```
    Returns the Method throwing the Exception.
    
    Returns:
    
    The Method throwing the Exception.
  - getException
```
public CrySLException getException()
```
    Returns the Exception thrown by the Exception.
    
    Returns:
    
    The Exception thrown by the Exception.
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - 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
  - getInvolvedVarNames
```
public Set<String> getInvolvedVarNames()
```
    Specified by:
    
    getInvolvedVarNames in interface ISLConstraint
  - getName
```
public String getName()
```
    Specified by:
    
    getName in interface ICrySLPredicateParameter