tools
Class Resource

java.lang.Object
  tools.Resource

public class Resource
extends java.lang.Object

Constructor Summary

Resource()

Resource(int n)

Method Summary

void	claim()
int	numberOfAvailableResources()
void	release()
void	resetMeasures()
boolean	resourceIsAvailable()
double	utilisation()

Methods inherited from class java.lang.Object

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

Constructor Detail

Resource

public Resource()

Resource

public Resource(int n)

Method Detail

claim

public void claim()

release

public void release()

numberOfAvailableResources

public int numberOfAvailableResources()

resourceIsAvailable

public boolean resourceIsAvailable()

utilisation

public double utilisation()

resetMeasures

public void resetMeasures()