Uses of Interface
crypto.rules.ICrySLPredicateParameter

Packages that use ICrySLPredicateParameter

Package	Description
crypto.analysis
crypto.cryslhandler
crypto.rules

Uses of ICrySLPredicateParameter in crypto.analysis

Classes in crypto.analysis that implement ICrySLPredicateParameter

Modifier and Type	Class	Description
class	AlternativeReqPredicate
class	RequiredCrySLPredicate

Uses of ICrySLPredicateParameter in crypto.cryslhandler

Methods in crypto.cryslhandler that return types with arguments of type ICrySLPredicateParameter

Modifier and Type	Method	Description
static List<ICrySLPredicateParameter>	CrySLReaderUtils.resolveEventToPredicateParameters(de.darmstadt.tu.crossing.crySL.Event event)

Uses of ICrySLPredicateParameter in crypto.rules

Subinterfaces of ICrySLPredicateParameter in crypto.rules

Modifier and Type	Interface	Description
interface	ISLConstraint

Classes in crypto.rules that implement ICrySLPredicateParameter

Modifier and Type	Class	Description
class	CrySLArithmeticConstraint
class	CrySLComparisonConstraint
class	CrySLCondPredicate
class	CrySLConstraint
class	CrySLExceptionConstraint	Constraint expressing, that a CrySLMethod throws an CrySLException, that must be caught.
class	CrySLLiteral
class	CrySLMethod
class	CrySLObject
class	CrySLPredicate
class	CrySLValueConstraint

Fields in crypto.rules declared as ICrySLPredicateParameter

Modifier and Type	Field	Description
protected ICrySLPredicateParameter	CrySLPredicate.baseObject

Fields in crypto.rules with type parameters of type ICrySLPredicateParameter

Modifier and Type	Field	Description
protected List<ICrySLPredicateParameter>	CrySLPredicate.parameters

Methods in crypto.rules that return ICrySLPredicateParameter

Modifier and Type	Method	Description
ICrySLPredicateParameter	CrySLPredicate.getBaseObject()
ICrySLPredicateParameter	CrySLArithmeticConstraint.getLeft()
ICrySLPredicateParameter	CrySLArithmeticConstraint.getRight()

Methods in crypto.rules that return types with arguments of type ICrySLPredicateParameter

Modifier and Type	Method	Description
List<ICrySLPredicateParameter>	CrySLPredicate.getParameters()

Constructors in crypto.rules with parameters of type ICrySLPredicateParameter

Constructor	Description
CrySLArithmeticConstraint(ICrySLPredicateParameter l, ICrySLPredicateParameter r, CrySLArithmeticConstraint.ArithOp op)
CrySLCondPredicate(ICrySLPredicateParameter baseObj, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, Collection<StateNode> nodes)
CrySLCondPredicate(ICrySLPredicateParameter baseObj, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, Collection<StateNode> nodes, ISLConstraint constraint)
CrySLPredicate(ICrySLPredicateParameter baseObject, String name, List<ICrySLPredicateParameter> parameters, Boolean negated)
CrySLPredicate(ICrySLPredicateParameter baseObject, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, ISLConstraint constraint)
CrySLPredicate(ICrySLPredicateParameter baseObject, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, Optional<ISLConstraint> constraint)

Constructor parameters in crypto.rules with type arguments of type ICrySLPredicateParameter

Constructor	Description
CrySLCondPredicate(ICrySLPredicateParameter baseObj, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, Collection<StateNode> nodes)
CrySLCondPredicate(ICrySLPredicateParameter baseObj, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, Collection<StateNode> nodes, ISLConstraint constraint)
CrySLPredicate(ICrySLPredicateParameter baseObject, String name, List<ICrySLPredicateParameter> parameters, Boolean negated)
CrySLPredicate(ICrySLPredicateParameter baseObject, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, ISLConstraint constraint)
CrySLPredicate(ICrySLPredicateParameter baseObject, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, Optional<ISLConstraint> constraint)