From 9d20024aa35cd7f923ebfc1ed9a2ffbf2731da70 Mon Sep 17 00:00:00 2001
From: Jakob Odersky
Class Summary | |
+ class
+ |
+
+ GUIActor
+ extends scala.actors.Actor
+
+
+ |
+
+ class
+ |
+
+ PhysicsActor
+ extends scala.actors.Actor
+
+
+ |
+
+ case class
+ |
+
+ SetWorld
+ (val world : World) extends scala.Product
+
+
+ |
+
Object Summary | |
+ case object
+ |
+
+ Exit
+ extends scala.Product
+
+
+ |
+
+ case object
+ |
+
+ FireEvent
+ extends scala.Product
+
+
+ |
+
+ object
+ |
+
+ SetWorld
+ extends (World) => SetWorld
+
+
+ |
+
+ case object
+ |
+
+ Start
+ extends scala.Product
+
+
+ |
+
+ case object
+ |
+
+ Stop
+ extends scala.Product
+
+
+ |
+