jcsp.util.ints
Class TimerInt

java.lang.Object
  |
  +--jcsp.util.ints.TimerInt

Deprecated. Use the jcsp.lang.CSTimer guard.

public class TimerInt

extends Object

implements ChannelDataStoreInt

Description

The TimerInt is an ChannelDataStoreInt which returns a int representing the current time in milliseconds from the system clock.

The TimerInt is always FULL and discards any ints passed via put.

Author:

P.D.Austin

See Also:

One2OneChannelInt, Any2OneChannelInt, One2AnyChannelInt, Any2AnyChannelInt

Fields inherited from interface jcsp.util.ints.ChannelDataStoreInt

EMPTY, FULL, NONEMPTYFULL

Constructor Summary

TimerInt()
Deprecated.

Method Summary

Object	clone() Deprecated. Use the jcsp.lang.CSTimer guard.
int	get() Deprecated. Use the jcsp.lang.CSTimer guard.
int	getState() Deprecated. Use the jcsp.lang.CSTimer guard.
void	put(int value) Deprecated. Use the jcsp.lang.CSTimer guard.

Methods inherited from class java.lang.Object

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

Constructor Detail

TimerInt

public TimerInt()

Deprecated.

Method Detail

get

public int get()

Deprecated. Use the jcsp.lang.CSTimer guard.

Returns a int representing the current time in milliseconds.

Specified by:

get in interface ChannelDataStoreInt

Returns:

The current time in milliseconds

put

public void put(int value)

Deprecated. Use the jcsp.lang.CSTimer guard.

This method discards the int as writing to a TimerInt does not make sense.

Specified by:

put in interface ChannelDataStoreInt

Parameters:

The - value to put in the TimerInt

getState

public int getState()

Deprecated. Use the jcsp.lang.CSTimer guard.

Returns the current state of the TimerInt (always returns FULL)

Specified by:

getState in interface ChannelDataStoreInt

Returns:

The current state of the TimerInt

clone

public Object clone()

Deprecated. Use the jcsp.lang.CSTimer guard.

Returns a new Object with the same creation parameters as this Object. This method should be overridden by subclasses to return a new Object that is the same type as this Object. The new instance should be created by constructing a new instance with the same parameters as the original. NOTE: Only the sizes of the data should be cloned not the stored data.

Specified by:

clone in interface ChannelDataStoreInt

Overrides:

clone in class Object

Returns:

The cloned instance of this Object.