ix.examples
Class PicoISimTest3.ResourceEventHandler

java.lang.Object
  ix.examples.PicoIX.ActivityHandler
      ix.examples.PicoISim.SimEventHandler
          ix.examples.PicoISimTest3.ResourceEventHandler

Enclosing class:

PicoISimTest3

static class PicoISimTest3.ResourceEventHandler
extends PicoISim.SimEventHandler

Field Summary

Fields inherited from class ix.examples.PicoIX.ActivityHandler

system, verb

Constructor Summary

PicoISimTest3.ResourceEventHandler(Symbol rcSubtype)

Method Summary

(package private) void	handleActivity(PicoIX.Activity i)
(package private) boolean	isAble(PicoISim.SimEvent event)

Methods inherited from class ix.examples.PicoISim.SimEventHandler

getSimTime, postSimEvent

Methods inherited from class ix.examples.PicoIX.ActivityHandler

addConstraint, postActivity, setSystem, tryConstraint

Methods inherited from class java.lang.Object

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

Constructor Detail

PicoISimTest3.ResourceEventHandler

PicoISimTest3.ResourceEventHandler(Symbol rcSubtype)

Method Detail

handleActivity

void handleActivity(PicoIX.Activity i)

Specified by:

handleActivity in class PicoIX.ActivityHandler

isAble

boolean isAble(PicoISim.SimEvent event)

Overrides:

isAble in class PicoISim.SimEventHandler