Module swim.runtime

Package swim.runtime.reflect

Class PartPulse

java.lang.Object

swim.runtime.reflect.Pulse

swim.runtime.reflect.PartPulse

public class PartPulse
extends Pulse

Field Summary

Fields

Modifier and Type	Field	Description
protected AgentPulse	agents
protected WarpDownlinkPulse	downlinks
protected int	hostCount
protected long	nodeCount
protected WarpUplinkPulse	uplinks

Fields inherited from class swim.runtime.reflect.Pulse

PULSE_URI

Constructor Summary

Constructors

Constructor	Description
PartPulse(int hostCount, long nodeCount, AgentPulse agents, WarpDownlinkPulse downlinks, WarpUplinkPulse uplinks)

Method Summary

Modifier and Type	Method	Description
AgentPulse	agents()
WarpDownlinkPulse	downlinks()
static Form<PartPulse>	form()
int	hostCount()
boolean	isDefined()
long	nodeCount()
Value	toValue()
WarpUplinkPulse	uplinks()

Methods inherited from class java.lang.Object

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

Field Detail

hostCount

protected final int hostCount

nodeCount

protected final long nodeCount

agents

protected final AgentPulse agents

downlinks

protected final WarpDownlinkPulse downlinks

uplinks

protected final WarpUplinkPulse uplinks

Constructor Detail

PartPulse

public PartPulse(int hostCount,
                 long nodeCount,
                 AgentPulse agents,
                 WarpDownlinkPulse downlinks,
                 WarpUplinkPulse uplinks)

Method Detail

form

@Kind
public static Form<PartPulse> form()

isDefined

public boolean isDefined()

Specified by:

isDefined in class Pulse

hostCount

public final int hostCount()

nodeCount

public final long nodeCount()

agents

public final AgentPulse agents()

downlinks

public final WarpDownlinkPulse downlinks()

uplinks

public final WarpUplinkPulse uplinks()

toValue

public Value toValue()

Specified by:

toValue in class Pulse