Package crypto.rules
Class CrySLLiteral
- java.lang.Object
-
- crypto.rules.CrySLLiteral
-
- All Implemented Interfaces:
ICrySLPredicateParameter,ISLConstraint
- Direct Known Subclasses:
CrySLArithmeticConstraint,CrySLComparisonConstraint,CrySLPredicate,CrySLValueConstraint
public abstract class CrySLLiteral extends Object implements ISLConstraint
-
-
Constructor Summary
Constructors Modifier Constructor Description protectedCrySLLiteral()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boomerang.scene.StatementgetLocation()-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface crypto.rules.ICrySLPredicateParameter
getName
-
Methods inherited from interface crypto.rules.ISLConstraint
getInvolvedVarNames
-
-
-
-
Method Detail
-
getLocation
public boomerang.scene.Statement getLocation()
- Specified by:
getLocationin interfaceISLConstraint
-
-