Package crypto.rules
Class CrySLExceptionConstraint
- java.lang.Object
-
- crypto.rules.CrySLExceptionConstraint
-
- All Implemented Interfaces:
ICrySLPredicateParameter,ISLConstraint
public class CrySLExceptionConstraint extends Object implements ISLConstraint
Constraint expressing, that aCrySLMethodthrows anCrySLException, that must be caught.
-
-
Constructor Summary
Constructors Constructor Description CrySLExceptionConstraint(CrySLMethod method, CrySLException exception)Construct theCrySLExceptionConstraintgiven the method and the exception thrown thereby.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description CrySLExceptiongetException()Returns the Exception thrown by the Exception.List<String>getInvolvedVarNames()boomerang.scene.StatementgetLocation()CrySLMethodgetMethod()Returns the Method throwing the Exception.StringgetName()StringtoString()
-
-
-
Constructor Detail
-
CrySLExceptionConstraint
public CrySLExceptionConstraint(CrySLMethod method, CrySLException exception)
Construct theCrySLExceptionConstraintgiven 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.
-
getLocation
public boomerang.scene.Statement getLocation()
- Specified by:
getLocationin interfaceISLConstraint
-
getInvolvedVarNames
public List<String> getInvolvedVarNames()
- Specified by:
getInvolvedVarNamesin interfaceISLConstraint
-
getName
public String getName()
- Specified by:
getNamein interfaceICrySLPredicateParameter
-
-