Module swim.runtime

Package swim.runtime.reflect

Class AgentPulse

java.lang.Object

swim.runtime.reflect.Pulse

swim.runtime.reflect.AgentPulse

public class AgentPulse
extends Pulse

Field Summary

Fields

Modifier and Type	Field	Description
protected long	agentCount
protected long	execRate
protected long	execTime
protected long	timerEventCount
protected int	timerEventRate

Fields inherited from class swim.runtime.reflect.Pulse

PULSE_URI

Constructor Summary

Constructors

Constructor	Description
AgentPulse(long agentCount, long execRate, long execTime, int timerEventRate, long timerEventCount)

Method Summary

Modifier and Type	Method	Description
long	agentCount()
long	execRate()
long	execTime()
static Form<AgentPulse>	form()
boolean	isDefined()
long	timerEventCount()
int	timerEventRate()
Value	toValue()

Methods inherited from class java.lang.Object

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

Field Detail

agentCount

protected final long agentCount

execRate

protected final long execRate

execTime

protected final long execTime

timerEventRate

protected final int timerEventRate

timerEventCount

protected final long timerEventCount

Constructor Detail

AgentPulse

public AgentPulse(long agentCount,
                  long execRate,
                  long execTime,
                  int timerEventRate,
                  long timerEventCount)

Method Detail

form

@Kind
public static Form<AgentPulse> form()

isDefined

public boolean isDefined()

Specified by:

isDefined in class Pulse

agentCount

public final long agentCount()

execRate

public final long execRate()

execTime

public final long execTime()

timerEventRate

public final int timerEventRate()

timerEventCount

public final long timerEventCount()

toValue

public Value toValue()

Specified by:

toValue in class Pulse