ponderToolkit.compiler.codeGen.interfaces.constraints
Interface ConstraintI

All Known Subinterfaces:

ActionConstraintI, CompositeConstraintI, EventConstraintI, LibraryCallConstraintI, SubjectConstraintI, SystemConstraintI, TargetConstraintI, TimeConstraintI

All Known Implementing Classes:

Constraint

public interface ConstraintI

Function: Models a Constraint for a basic policy. This is the superclass for all types of constraints.

Field Summary

static int	ACTION_CONSTRAINT
static int	COMPOSITE_CONSTRAINT
static int	EVENT_CONSTRAINT
static int	LIBRARY_CALL_CONSTRAINT
static int	SUBJECT_CONSTRAINT
static int	SYSTEM_CONSTRAINT
static int	TARGET_CONSTRAINT
static int	TIME_CONSTRAINT

Method Summary

java.lang.String	getAnalysisCode() return the Prolog code required by the analysis system
java.lang.String	getString() Return a String representation of the Constraint
int	getType() Return the type of this constraint

Field Detail

COMPOSITE_CONSTRAINT

public static final int COMPOSITE_CONSTRAINT

TIME_CONSTRAINT

public static final int TIME_CONSTRAINT

SUBJECT_CONSTRAINT

public static final int SUBJECT_CONSTRAINT

TARGET_CONSTRAINT

public static final int TARGET_CONSTRAINT

ACTION_CONSTRAINT

public static final int ACTION_CONSTRAINT

EVENT_CONSTRAINT

public static final int EVENT_CONSTRAINT

SYSTEM_CONSTRAINT

public static final int SYSTEM_CONSTRAINT

LIBRARY_CALL_CONSTRAINT

public static final int LIBRARY_CALL_CONSTRAINT

Method Detail

getType

public int getType()

Return the type of this constraint

getString

public java.lang.String getString()

Return a String representation of the Constraint

getAnalysisCode

public java.lang.String getAnalysisCode()

return the Prolog code required by the analysis system