ponderToolkit.compiler.codeGen.policyObjects.constraints
Class ActionConstraint

java.lang.Object
  |
  +--ponderToolkit.compiler.codeGen.policyObjects.constraints.Constraint
        |
        +--ponderToolkit.compiler.codeGen.policyObjects.constraints.ActionConstraint

All Implemented Interfaces:

ActionConstraintI, ConstraintI, java.io.Serializable

public class ActionConstraint

extends Constraint

implements ActionConstraintI, java.io.Serializable

Function: Models an Action Constraint: This is an arbitrary constraint on one of the parameters of an action of a basic policy. This does not include Obligation policies

See Also:

Serialized Form

Fields inherited from interface ponderToolkit.compiler.codeGen.interfaces.constraints.ConstraintI

ACTION_CONSTRAINT, COMPOSITE_CONSTRAINT, EVENT_CONSTRAINT, LIBRARY_CALL_CONSTRAINT, SUBJECT_CONSTRAINT, SYSTEM_CONSTRAINT, TARGET_CONSTRAINT, TIME_CONSTRAINT

Constructor Summary

ActionConstraint(java.lang.String newActionName, int newPos, ExpressionI newExpression)
Constructs a new ActionConstraint with the given action name, position and constraint-expression

Method Summary

java.lang.String	getActionName() Get the name of the action whithin the policy for which this constraint is specified
java.lang.String	getAnalysisCode() return the Prolog code required by the analysis system
ExpressionI	getConstraintExpr() Get the constraint expression
int	getParameterPos() Get the position of the parameter (of the action) for which this constraint is specified
java.lang.String	getString() Return a String representation of the Constraint
int	getType() Return the type of the Constraint

Methods inherited from class java.lang.Object

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

Constructor Detail

ActionConstraint

public ActionConstraint(java.lang.String newActionName,
                        int newPos,
                        ExpressionI newExpression)

Constructs a new ActionConstraint with the given action name, position and constraint-expression

Method Detail

getActionName

public java.lang.String getActionName()

Get the name of the action whithin the policy for which this constraint is specified

Specified by:

getActionName in interface ActionConstraintI

getParameterPos

public int getParameterPos()

Get the position of the parameter (of the action) for which this constraint is specified

Specified by:

getParameterPos in interface ActionConstraintI

getConstraintExpr

public ExpressionI getConstraintExpr()

Get the constraint expression

Specified by:

getConstraintExpr in interface ActionConstraintI

getType

public int getType()

Return the type of the Constraint

Specified by:

getType in interface ConstraintI

Overrides:

getType in class Constraint

getString

public java.lang.String getString()

Return a String representation of the Constraint

Specified by:

getString in interface ConstraintI

Overrides:

getString in class Constraint

getAnalysisCode

public java.lang.String getAnalysisCode()

return the Prolog code required by the analysis system

Specified by:

getAnalysisCode in interface ConstraintI

Overrides:

getAnalysisCode in class Constraint