Class NormalSemaphore

java.lang.Object

common.semaphoreStrategies.SemaphoreStrategy

common.semaphoreStrategies.NormalSemaphore

public class NormalSemaphore
extends SemaphoreStrategy

Author:

Vitor S. Lopes

Field Summary

Fields inherited from class SemaphoreStrategy

all, allForSource, description

Constructor Summary

Constructors

Constructor	Description
NormalSemaphore()

Method Summary

Modifier and Type	Method	Description
SemaphoreStrategy	clone()
String	getClassPath()
String	getName()
int	getThreshold()
boolean	isModelStateDependent()
void	setThreshold(int i)

Methods inherited from class SemaphoreStrategy

equals, findAll, getDescription, toString

Methods inherited from class Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

NormalSemaphore

public NormalSemaphore()

Method Details

getName

public String getName()

Specified by:

getName in class SemaphoreStrategy

getThreshold

public int getThreshold()

Specified by:

getThreshold in class SemaphoreStrategy

setThreshold

public void setThreshold(int i)

Specified by:

setThreshold in class SemaphoreStrategy

clone

public SemaphoreStrategy clone()

Specified by:

clone in class SemaphoreStrategy

getClassPath

public String getClassPath()

Specified by:

getClassPath in class SemaphoreStrategy

isModelStateDependent

public boolean isModelStateDependent()

Specified by:

isModelStateDependent in class SemaphoreStrategy