ponderToolkit.compiler.codeGen.interfaces
Interface SingleObligActionI

All Superinterfaces:

ObligActionI

All Known Implementing Classes:

SingleObligAction

public interface SingleObligActionI

extends ObligActionI

Function: Models a single obligation action. This is a leaf in the ObligActions-tree.

Field Summary

static int	OBLIG_ACTION_TYPE_LIBRARY
static int	OBLIG_ACTION_TYPE_SUBJECT
static int	OBLIG_ACTION_TYPE_TARGET

Method Summary

java.lang.String	getLibraryName() Get the name of the library
java.lang.String	getName() Get the name of the action
ActualParameterListI	getParameters() Get the Parameters-list (if any, null otherwise)
int	getType() Get the type of the action: Whether it is on the Subject (OBLIG_ACTION_TYPE_SUBJECT) or on the Target (OBLIG_ACTION_TYPE_TARGET)

Methods inherited from interface ponderToolkit.compiler.codeGen.interfaces.ObligActionI

getAnalysisCode, getIsComposite, getString

Field Detail

OBLIG_ACTION_TYPE_SUBJECT

public static final int OBLIG_ACTION_TYPE_SUBJECT

OBLIG_ACTION_TYPE_TARGET

public static final int OBLIG_ACTION_TYPE_TARGET

OBLIG_ACTION_TYPE_LIBRARY

public static final int OBLIG_ACTION_TYPE_LIBRARY

Method Detail

getName

public java.lang.String getName()

Get the name of the action

getParameters

public ActualParameterListI getParameters()

Get the Parameters-list (if any, null otherwise)

getType

public int getType()

Get the type of the action: Whether it is on the Subject (OBLIG_ACTION_TYPE_SUBJECT) or on the Target (OBLIG_ACTION_TYPE_TARGET)

getLibraryName

public java.lang.String getLibraryName()

Get the name of the library