home *** CD-ROM | disk | FTP | other *** search
/ PC Plus SuperCD (UK) 1999 October / pcp156b.iso / alphawrk / JAX / DOC50.ZIP / doc50 / demo / Hanoi_jax.log < prev    next >
Encoding:
Text File  |  1999-03-04  |  101.5 KB  |  2,796 lines

  1.  
  2. Your free license expires on Jun 3 1999. After this date,
  3. download a new version with major improvements and bug fixes.
  4.  
  5. jax V5.0-Wednesday-Mar-3-1999 Copyright IBM 1997-1999. All rights reserved.
  6. Info inside IBM:  http://w3.watson.ibm.com/~laffra/jax
  7. Info outside IBM: http://www.alphaWorks.ibm.com/formula/jax
  8.  
  9.  
  10. Options: obfuscate transform verify devirtualize inline compatibleserialization 
  11.  
  12.  
  13. Java Execution Environment Information:
  14. =================================================================
  15. creation time      = Thu Mar 04 10:33:48 EST 1999
  16. os.name            = Windows NT
  17. os.arch            = x86
  18. os.version         = 4.0
  19. java.version       = 1.1.7A
  20. java.vendor        = Sun Microsystems Inc.
  21. java.vendor.url    = http://www.sun.com/
  22. java.class.version = 45.3
  23. java.class.path    = .;ltk.zip;..\jax50.zip;c:\JDK1.1.7\bin\..\classes;c:\JDK1.1.7\bin\..\lib\classes.zip;c:\JDK1.1.7\bin\..\lib\classes.jar;c:\JDK1.1.7\bin\..\lib\rt.jar;c:\JDK1.1.7\bin\..\lib\i18n.jar
  24. java.home          = c:\JDK1.1.7\bin\..
  25. java_compiler      = symcjit
  26. =================================================================
  27.  
  28.    (0) Loading system class java.lang.Object
  29.    (1) Loading system class java.lang.Class
  30.    (2) Loading system class java.io.Serializable
  31.    (2) Loading system class java.lang.String
  32.     Loading class for basic type <int>
  33.     Loading class for basic type <char>
  34.     Loading array class char[]
  35.     Loading class for basic type <void>
  36.     Loading class for basic type <byte>
  37.     Loading array class byte[]
  38.    (3) Loading system class sun.io.CharToByteConverter
  39.    (4) Loading system class java.lang.ClassNotFoundException
  40.    (5) Loading system class java.lang.Exception
  41.    (6) Loading system class java.lang.Throwable
  42.    (7) Loading system class java.io.PrintStream
  43.    (8) Loading system class java.io.FilterOutputStream
  44.    (9) Loading system class java.io.OutputStream
  45.    (10) Loading system class java.io.IOException
  46.     Loading class for basic type <boolean>
  47.     Loading class for basic type <long>
  48.     Loading class for basic type <float>
  49.     Loading class for basic type <double>
  50.    (8) Loading system class java.io.BufferedWriter
  51.    (9) Loading system class java.io.Writer
  52.    (8) Loading system class java.io.OutputStreamWriter
  53.    (7) Loading system class java.io.PrintWriter
  54.    (4) Loading system class java.io.UnsupportedEncodingException
  55.    (4) Loading system class sun.io.MalformedInputException
  56.    (5) Loading system class java.io.CharConversionException
  57.    (4) Loading system class sun.io.UnknownCharacterException
  58.    (4) Loading system class sun.io.ConversionBufferFullException
  59.    (4) Loading system class java.lang.IllegalArgumentException
  60.    (5) Loading system class java.lang.RuntimeException
  61.    (3) Loading system class java.util.Locale
  62.    (4) Loading system class java.lang.Cloneable
  63.    (4) Loading system class java.util.MissingResourceException
  64.     Loading array class java.lang.String[][]
  65.    (4) Loading system class java.util.ResourceBundle
  66.     Loading array class java.lang.String[]
  67.    (5) Loading system class java.lang.ClassLoader
  68.     Loading array class java.lang.Object[]
  69.    (6) Loading system class java.io.InputStream
  70.    (6) Loading system class java.net.URL
  71.    (7) Loading system class java.net.URLConnection
  72.    (8) Loading system class java.net.FileNameMap
  73.    (8) Loading system class java.net.ContentHandlerFactory
  74.    (9) Loading system class java.net.ContentHandler
  75.    (8) Loading system class java.net.UnknownServiceException
  76.    (8) Loading system class java.lang.InstantiationException
  77.    (8) Loading system class java.lang.IllegalAccessException
  78.    (8) Loading system class java.util.Hashtable
  79.    (9) Loading system class java.util.Dictionary
  80.    (10) Loading system class java.util.Enumeration
  81.    (9) Loading system class java.io.ObjectOutputStream
  82.    (10) Loading system class java.io.ObjectOutput
  83.    (11) Loading system class java.io.DataOutput
  84.    (10) Loading system class java.io.ObjectStreamConstants
  85.     Loading class for basic type <short>
  86.    (10) Loading system class java.lang.SecurityException
  87.    (10) Loading system class java.io.ObjectStreamClass
  88.    (11) Loading system class java.io.InvalidClassException
  89.    (12) Loading system class java.io.ObjectStreamException
  90.    (11) Loading system class java.io.ObjectStreamField
  91.     Loading array class java.io.ObjectStreamField[]
  92.     Loading array class int[]
  93.    (11) Loading system class java.io.ObjectInputStream
  94.    (12) Loading system class java.io.ObjectInput
  95.    (13) Loading system class java.io.DataInput
  96.    (12) Loading system class java.io.OptionalDataException
  97.    (12) Loading system class java.io.NotActiveException
  98.    (12) Loading system class java.io.InvalidObjectException
  99.    (12) Loading system class java.io.ObjectInputValidation
  100.    (12) Loading system class java.io.StreamCorruptedException
  101.    (12) Loading system class java.io.DataInputStream
  102.    (13) Loading system class java.io.FilterInputStream
  103.     Loading array class java.io.ObjectStreamClass[]
  104.     Loading array class java.lang.Class[]
  105.    (12) Loading system class java.util.Vector
  106.    (11) Loading system class java.io.ObjectStreamClassEntry
  107.    (12) Loading system class sun.misc.Ref
  108.     Loading array class java.io.ObjectStreamClassEntry[]
  109.    (10) Loading system class java.io.DataOutputStream
  110.    (10) Loading system class java.util.Stack
  111.    (9) Loading system class java.util.HashtableEntry
  112.     Loading array class java.util.HashtableEntry[]
  113.    (7) Loading system class java.net.URLStreamHandlerFactory
  114.    (8) Loading system class java.net.URLStreamHandler
  115.    (5) Loading system class java.lang.StringBuffer
  116.    (5) Loading system class java.util.SystemClassLoader
  117.    (5) Loading system class java.lang.Integer
  118.    (6) Loading system class java.lang.Number
  119.    (6) Loading system class java.lang.NumberFormatException
  120.    (4) Loading system class java.text.MessageFormat
  121.    (5) Loading system class java.text.Format
  122.    (6) Loading system class java.text.FieldPosition
  123.    (6) Loading system class java.text.ParsePosition
  124.    (6) Loading system class java.text.ParseException
  125.     Loading array class java.text.Format[]
  126.     Loading array class java.lang.StringBuffer[]
  127.    (5) Loading system class java.text.NumberFormat
  128.     Loading array class java.util.Locale[]
  129.    (3) Loading system class sun.io.ByteToCharConverter
  130.    (2) Loading system class java.lang.reflect.Field
  131.    (3) Loading system class java.lang.reflect.Member
  132.     Loading array class java.lang.reflect.Field[]
  133.    (2) Loading system class java.lang.reflect.Method
  134.    (3) Loading system class java.lang.reflect.InvocationTargetException
  135.     Loading array class java.lang.reflect.Method[]
  136.    (2) Loading system class java.lang.reflect.Constructor
  137.     Loading array class java.lang.reflect.Constructor[]
  138.    (2) Loading system class java.lang.NoSuchFieldException
  139.    (2) Loading system class java.lang.NoSuchMethodException
  140.    (1) Loading system class java.lang.CloneNotSupportedException
  141.    (1) Loading system class java.lang.InterruptedException
  142.    (0) Loading system class java.lang.NoClassDefFoundError
  143.    (1) Loading system class java.lang.LinkageError
  144.    (2) Loading system class java.lang.Error
  145.    (0) Loading system class java.applet.Applet
  146.    (1) Loading system class java.awt.Panel
  147.    (2) Loading system class java.awt.Container
  148.    (3) Loading system class java.awt.Component
  149.    (4) Loading system class java.awt.image.ImageObserver
  150.    (5) Loading system class java.awt.Image
  151.    (6) Loading system class java.awt.image.ImageProducer
  152.    (7) Loading system class java.awt.image.ImageConsumer
  153.    (8) Loading system class java.awt.image.ColorModel
  154.    (6) Loading system class java.awt.Graphics
  155.    (7) Loading system class java.awt.Color
  156.     Loading array class float[]
  157.    (7) Loading system class java.awt.Font
  158.    (8) Loading system class java.awt.peer.FontPeer
  159.    (7) Loading system class java.awt.FontMetrics
  160.    (7) Loading system class java.awt.Rectangle
  161.    (8) Loading system class java.awt.Shape
  162.    (8) Loading system class java.awt.Point
  163.    (8) Loading system class java.awt.Dimension
  164.    (7) Loading system class java.awt.Polygon
  165.    (4) Loading system class java.awt.MenuContainer
  166.    (5) Loading system class java.awt.MenuComponent
  167.    (6) Loading system class java.awt.peer.MenuComponentPeer
  168.    (6) Loading system class java.awt.Event
  169.    (7) Loading system class java.awt.event.KeyEvent
  170.    (8) Loading system class java.awt.event.InputEvent
  171.    (9) Loading system class java.awt.event.ComponentEvent
  172.    (10) Loading system class java.awt.AWTEvent
  173.    (11) Loading system class java.util.EventObject
  174.     Loading array class int[][]
  175.    (4) Loading system class java.awt.peer.ComponentPeer
  176.    (5) Loading system class java.awt.Toolkit
  177.    (6) Loading system class java.awt.Button
  178.    (7) Loading system class java.awt.event.ActionListener
  179.    (8) Loading system class java.util.EventListener
  180.    (8) Loading system class java.awt.event.ActionEvent
  181.    (6) Loading system class java.awt.peer.ButtonPeer
  182.    (6) Loading system class java.awt.TextField
  183.    (7) Loading system class java.awt.TextComponent
  184.    (8) Loading system class java.awt.event.TextListener
  185.    (9) Loading system class java.awt.event.TextEvent
  186.    (6) Loading system class java.awt.peer.TextFieldPeer
  187.    (7) Loading system class java.awt.peer.TextComponentPeer
  188.    (6) Loading system class java.awt.Label
  189.    (6) Loading system class java.awt.peer.LabelPeer
  190.    (6) Loading system class java.awt.List
  191.    (7) Loading system class java.awt.ItemSelectable
  192.    (8) Loading system class java.awt.event.ItemListener
  193.    (9) Loading system class java.awt.event.ItemEvent
  194.    (6) Loading system class java.awt.peer.ListPeer
  195.    (6) Loading system class java.awt.Checkbox
  196.    (7) Loading system class java.awt.CheckboxGroup
  197.    (6) Loading system class java.awt.peer.CheckboxPeer
  198.    (6) Loading system class java.awt.Scrollbar
  199.    (7) Loading system class java.awt.Adjustable
  200.    (8) Loading system class java.awt.event.AdjustmentListener
  201.    (9) Loading system class java.awt.event.AdjustmentEvent
  202.    (6) Loading system class java.awt.peer.ScrollbarPeer
  203.    (6) Loading system class java.awt.ScrollPane
  204.    (7) Loading system class java.awt.LayoutManager
  205.    (7) Loading system class java.awt.ScrollPaneAdjustable
  206.    (6) Loading system class java.awt.peer.ScrollPanePeer
  207.    (7) Loading system class java.awt.peer.ContainerPeer
  208.    (8) Loading system class java.awt.Insets
  209.    (6) Loading system class java.awt.TextArea
  210.    (6) Loading system class java.awt.peer.TextAreaPeer
  211.    (6) Loading system class java.awt.Choice
  212.    (6) Loading system class java.awt.peer.ChoicePeer
  213.    (6) Loading system class java.awt.Frame
  214.    (7) Loading system class java.awt.Window
  215.    (8) Loading system class sun.awt.im.InputContext
  216.    (9) Loading system class sun.awt.im.InputMethod
  217.    (10) Loading system class sun.awt.im.InputMethodContext
  218.    (8) Loading system class java.awt.event.WindowListener
  219.    (9) Loading system class java.awt.event.WindowEvent
  220.    (8) Loading system class java.awt.FocusManager
  221.    (7) Loading system class java.awt.MenuBar
  222.    (8) Loading system class java.awt.Menu
  223.    (9) Loading system class java.awt.MenuItem
  224.    (10) Loading system class java.awt.MenuShortcut
  225.    (6) Loading system class java.awt.peer.FramePeer
  226.    (7) Loading system class java.awt.peer.WindowPeer
  227.    (6) Loading system class java.awt.Canvas
  228.    (6) Loading system class java.awt.peer.CanvasPeer
  229.    (6) Loading system class java.awt.peer.PanelPeer
  230.    (6) Loading system class java.awt.Dialog
  231.    (6) Loading system class java.awt.peer.DialogPeer
  232.    (6) Loading system class java.awt.peer.MenuBarPeer
  233.    (6) Loading system class java.awt.peer.MenuPeer
  234.    (7) Loading system class java.awt.peer.MenuItemPeer
  235.    (6) Loading system class java.awt.PopupMenu
  236.    (6) Loading system class java.awt.peer.PopupMenuPeer
  237.    (6) Loading system class java.awt.FileDialog
  238.    (7) Loading system class java.io.FilenameFilter
  239.    (8) Loading system class java.io.File
  240.    (6) Loading system class java.awt.peer.FileDialogPeer
  241.    (6) Loading system class java.awt.CheckboxMenuItem
  242.    (6) Loading system class java.awt.peer.CheckboxMenuItemPeer
  243.    (6) Loading system class java.awt.peer.LightweightPeer
  244.    (6) Loading system class java.util.Properties
  245.    (6) Loading system class java.awt.PrintJob
  246.    (6) Loading system class java.awt.datatransfer.Clipboard
  247.    (7) Loading system class java.awt.datatransfer.Transferable
  248.    (8) Loading system class java.awt.datatransfer.DataFlavor
  249.     Loading array class java.awt.datatransfer.DataFlavor[]
  250.    (8) Loading system class java.awt.datatransfer.UnsupportedFlavorException
  251.    (7) Loading system class java.awt.datatransfer.ClipboardOwner
  252.    (6) Loading system class java.awt.EventQueue
  253.    (7) Loading system class java.awt.EventQueueListener
  254.    (7) Loading system class java.awt.EventQueueItem
  255.    (5) Loading system class java.awt.Cursor
  256.     Loading array class java.awt.Cursor[]
  257.    (4) Loading system class java.awt.event.ComponentListener
  258.    (4) Loading system class java.awt.event.FocusListener
  259.    (5) Loading system class java.awt.event.FocusEvent
  260.    (4) Loading system class java.awt.event.KeyListener
  261.    (4) Loading system class java.awt.event.MouseListener
  262.    (5) Loading system class java.awt.event.MouseEvent
  263.    (4) Loading system class java.awt.event.MouseMotionListener
  264.     Loading array class java.awt.Component[]
  265.    (3) Loading system class java.awt.event.ContainerListener
  266.    (4) Loading system class java.awt.event.ContainerEvent
  267.    (3) Loading system class java.awt.LightweightDispatcher
  268.    (1) Loading system class java.applet.AppletStub
  269.    (2) Loading system class java.applet.AppletContext
  270.    (3) Loading system class java.applet.AudioClip
  271.    (0) Loading system class java.io.Externalizable
  272.    (0) Loading Hanoi.class from .
  273.    (1) Loading ltk/LTKApplet.class from ltk.zip
  274.    (2) Loading ltk/DisplayListCanvas.class from ltk.zip
  275.    (3) Loading ltk/EventManager.class from ltk.zip
  276.    (4) Loading ltk/EventClient.class from ltk.zip
  277.    (5) Loading ltk/CallBackable.class from ltk.zip
  278.    (5) Finished loading ltk/CallBackable.class
  279.    (5) Loading ltk/Area.class from ltk.zip
  280.    (6) Loading system class java.lang.Math
  281.    (7) Loading system class java.util.Random
  282.    (5) Finished loading ltk/Area.class
  283.    (5) Loading ltk/MotionCompressor.class from ltk.zip
  284.    (6) Loading system class java.lang.System
  285.    (7) Loading system class java.lang.SecurityManager
  286.    (8) Loading system class java.lang.Thread
  287.    (9) Loading system class java.lang.Runnable
  288.    (9) Loading system class java.lang.ThreadGroup
  289.     Loading array class java.lang.Thread[]
  290.     Loading array class java.lang.ThreadGroup[]
  291.    (8) Loading system class java.io.FileDescriptor
  292.    (9) Loading system class java.io.SyncFailedException
  293.    (8) Loading system class java.net.InetAddress
  294.    (9) Loading system class java.net.UnknownHostException
  295.     Loading array class java.net.InetAddress[]
  296.    (9) Loading system class java.net.InetAddressImpl
  297.     Loading array class byte[][]
  298.    (7) Loading system class java.lang.NullPointerException
  299.    (5) Finished loading ltk/MotionCompressor.class
  300.    (4) Finished loading ltk/EventClient.class
  301.    (4) Loading ltk/Graphical.class from ltk.zip
  302.    (5) Loading ltk/Constraint.class from ltk.zip
  303.    (5) Finished loading ltk/Constraint.class
  304.    (4) Finished loading ltk/Graphical.class
  305.    (3) Finished loading ltk/EventManager.class
  306.    (3) Loading ltk/DisplayListElement.class from ltk.zip
  307.    (3) Finished loading ltk/DisplayListElement.class
  308.    (3) Loading ltk/FocusHandler.class from ltk.zip
  309.    (4) Loading ltk/FocusClient.class from ltk.zip
  310.    (4) Finished loading ltk/FocusClient.class
  311.    (3) Finished loading ltk/FocusHandler.class
  312.    (2) Finished loading ltk/DisplayListCanvas.class
  313.    (2) Loading system class java.awt.BorderLayout
  314.    (3) Loading system class java.awt.LayoutManager2
  315.    (1) Finished loading ltk/LTKApplet.class
  316.    (1) Loading ltk/Line.class from ltk.zip
  317.    (1) Finished loading ltk/Line.class
  318.    (1) Loading Peg.class from .
  319.    (2) Loading ltk/Box.class from ltk.zip
  320.    (3) Loading ltk/Moveable.class from ltk.zip
  321.    (4) Loading ltk/FilledGraphical.class from ltk.zip
  322.    (4) Finished loading ltk/FilledGraphical.class
  323.    (3) Finished loading ltk/Moveable.class
  324.    (2) Finished loading ltk/Box.class
  325.    (2) Loading Disk.class from .
  326.    (2) Finished loading Disk.class
  327.    (1) Finished loading Peg.class
  328.    (1) Loading ltk/Button.class from ltk.zip
  329.    (2) Loading ltk/Selectable.class from ltk.zip
  330.    (2) Finished loading ltk/Selectable.class
  331.    (2) Loading ltk/GUIStyle.class from ltk.zip
  332.    (3) Loading ltk/MotifStyle.class from ltk.zip
  333.    (3) Finished loading ltk/MotifStyle.class
  334.    (3) Loading ltk/Win31Style.class from ltk.zip
  335.    (3) Finished loading ltk/Win31Style.class
  336.    (3) Loading ltk/Win95Style.class from ltk.zip
  337.    (3) Finished loading ltk/Win95Style.class
  338.    (2) Finished loading ltk/GUIStyle.class
  339.    (1) Finished loading ltk/Button.class
  340.    (1) Loading system class java.lang.Runtime
  341.    (2) Loading system class java.lang.Process
  342.    (1) Loading Garbage.class from .
  343.    (1) Finished loading Garbage.class
  344.    (1) Loading ltk/VerticalLayout.class from ltk.zip
  345.    (2) Loading ltk/Layout.class from ltk.zip
  346.    (3) Loading ltk/Space.class from ltk.zip
  347.    (3) Finished loading ltk/Space.class
  348.    (2) Finished loading ltk/Layout.class
  349.    (1) Finished loading ltk/VerticalLayout.class
  350.    (1) Loading ltk/Label.class from ltk.zip
  351.    (1) Finished loading ltk/Label.class
  352.    (1) Loading ltk/HorizontalLayout.class from ltk.zip
  353.    (1) Finished loading ltk/HorizontalLayout.class
  354.     ..... dereferencing .....
  355.    (0) Finished loading Hanoi.class
  356.  
  357. finished loading, total 296 classes
  358.  
  359. Computing estimate of normally shipped Zip file size....
  360. estimate: uncompressed size of zip file ltk.zip = 89344
  361. estimate: add size of all class files in directory .
  362. estimate:      add size of class file ./Garbage.class 415
  363. estimate:      add size of class file ./Peg.class 1816
  364. estimate:      add size of class file ./Disk.class 2060
  365. estimate:      add size of class file ./Hanoi.class 4670
  366. totalSize = 98305
  367. estimated Zip file size = 58140
  368.  
  369. Environment after loading:
  370.  
  371.  
  372. ========================================================
  373. Classes that are instantiated
  374. ========================================================
  375.  
  376.  
  377. ========================================================
  378. Classes that are not instantiated
  379. ========================================================
  380.  
  381. public class Hanoi
  382.     superclass: public abstract class ltk.LTKApplet
  383.     implements: [public interface ltk.CallBackable, public abstract interface java.lang.Runnable]
  384.     instantiated: no
  385.     subclasses: []
  386.     Reached Methods:
  387.     Accessed Fields:
  388.     Unreached Methods:
  389.     boolean go()
  390.     void run()
  391.     void hanoi(int, class Peg, class Peg, class Peg)
  392.     boolean pause()
  393.     boolean quit()
  394.     boolean slower()
  395.     boolean faster()
  396.     void init()
  397.     void start()
  398.     void stop()
  399.     void main(java.lang.String[])
  400.     boolean activateCallback(int)
  401.     java.lang.String toString()
  402.     void <init>()
  403.     void <clinit>()
  404.     Unaccessed Fields:
  405.     long pie
  406.     boolean take_a_break
  407.     int numberOfDisks
  408.     int _go
  409.     int _quit
  410.     int _pause
  411.     int _faster
  412.     int _slower
  413.     ltk.Line line
  414.     Peg peg1
  415.     Peg peg2
  416.     Peg peg3
  417.     java.lang.Thread thread
  418.     ltk.Button go_button
  419.     ltk.Button quit_button
  420.     ltk.Button pause_button
  421.     ltk.FocusHandler focus_handler
  422.  
  423. public abstract class ltk.LTKApplet
  424.     superclass: public synchronized class java.applet.Applet
  425.     instantiated: no
  426.     subclasses: [public class Hanoi]
  427.     Reached Methods:
  428.     Accessed Fields:
  429.     Unreached Methods:
  430.     void init()
  431.     void start()
  432.     void stop()
  433.     void runAppletAsApplication(public final synchronized class java.lang.String)
  434.     void runAppletAsApplication(public final synchronized class java.lang.String, int, int)
  435.     java.lang.String getParameter(public final synchronized class java.lang.String)
  436.     void update(public synchronized abstract class java.awt.Graphics)
  437.     void paint(public synchronized abstract class java.awt.Graphics)
  438.     void <init>()
  439.     Unaccessed Fields:
  440.     java.awt.Frame frame
  441.     ltk.DisplayListCanvas canvas
  442.     boolean running_as_applet
  443.  
  444. public class ltk.DisplayListCanvas
  445.     superclass: public synchronized class java.awt.Panel
  446.     instantiated: no
  447.     subclasses: []
  448.     Reached Methods:
  449.     Accessed Fields:
  450.     Unreached Methods:
  451.     void <init>(public synchronized class java.applet.Applet, int, int)
  452.     void initializeGraphics()
  453.     void repairArea(int, int, int, int)
  454.     void update(public synchronized abstract class java.awt.Graphics)
  455.     void paint(public synchronized abstract class java.awt.Graphics)
  456.     java.awt.Image createImage(int, int)
  457.     void setBufferImage(public synchronized abstract class java.awt.Image)
  458.     void resetBufferImage()
  459.     void doubleBuffering(boolean)
  460.     void repairArea(public class ltk.Area)
  461.     void addGraphical(public class ltk.Graphical)
  462.     void removeGraphical(public class ltk.Graphical)
  463.     void raiseGraphical(public class ltk.Graphical)
  464.     void lowerGraphical(public class ltk.Graphical)
  465.     void freeze()
  466.     void unFreeze()
  467.     ltk.DisplayListElement findGraphical(public class ltk.Graphical)
  468.     void reshape(int, int, int, int)
  469.     void addClient(public interface ltk.CallBackable, int, public class ltk.Area, int)
  470.     void removeClient(public interface ltk.CallBackable, int, public class ltk.Area, int)
  471.     boolean handleEvent(public synchronized class java.awt.Event)
  472.     java.awt.Event getLastEvent()
  473.     ltk.Area getRepairArea()
  474.     java.lang.String toString()
  475.     void setColor(public synchronized class java.awt.Color)
  476.     void drawString(public final synchronized class java.lang.String, int, int)
  477.     void drawLine(int, int, int, int)
  478.     void drawOval(int, int, int, int)
  479.     void drawCircle(int, int, int)
  480.     void fillOval(int, int, int, int)
  481.     void fillCircle(int, int, int)
  482.     void drawRaisedRect(int, int, int, int)
  483.     void drawSunkenRect(int, int, int, int)
  484.     void fillRaisedRect(int, int, int, int)
  485.     void fillSunkenRect(int, int, int, int)
  486.     void fillRect(int, int, int, int)
  487.     void drawRect(int, int, int, int)
  488.     void fillRoundRect(int, int, int, int, int, int)
  489.     void drawRoundRect(int, int, int, int, int, int)
  490.     void drawPolygon(public synchronized class java.awt.Polygon)
  491.     void fillPolygon(int[], int[], int)
  492.     void fillPolygon(public synchronized class java.awt.Polygon)
  493.     void drawImage(public synchronized abstract class java.awt.Image, int, int)
  494.     void flush()
  495.     void setFont(public synchronized class java.awt.Font)
  496.     ltk.FocusHandler getFocusHandler()
  497.     Unaccessed Fields:
  498.     ltk.EventManager event_manager
  499.     ltk.DisplayListElement first
  500.     ltk.DisplayListElement last
  501.     int frozen_level
  502.     ltk.Area frozen_area
  503.     ltk.FocusHandler defaultFocusHandler
  504.     ltk.Area area
  505.     ltk.Area anywhere
  506.     ltk.Area repair_area
  507.     java.applet.Applet applet
  508.     java.awt.Image buffer_image
  509.     java.awt.Graphics buffer_graphics
  510.     java.awt.Image original_buffer_image
  511.     java.awt.Graphics original_buffer_graphics
  512.     boolean double_buffering
  513.  
  514. public class ltk.EventManager
  515.     superclass: public synchronized class java.lang.Object
  516.     instantiated: no
  517.     subclasses: []
  518.     Reached Methods:
  519.     Accessed Fields:
  520.     Unreached Methods:
  521.     void <init>()
  522.     void addClient(public interface ltk.CallBackable, int, public class ltk.Area, int)
  523.     void removeClient(public interface ltk.CallBackable, int, public class ltk.Area, int)
  524.     void dispatchEvent(public synchronized class java.awt.Event)
  525.     void dispatch(class ltk.EventClient, public synchronized class java.awt.Event)
  526.     java.awt.Event getLastEvent()
  527.     java.lang.String toString()
  528.     Unaccessed Fields:
  529.     ltk.EventClient EnterNotifyQueue
  530.     ltk.EventClient LeaveNotifyQueue
  531.     ltk.EventClient KeyPressQueue
  532.     ltk.EventClient KeyReleaseQueue
  533.     ltk.EventClient ButtonPressQueue
  534.     ltk.EventClient ButtonReleaseQueue
  535.     ltk.EventClient MotionNotifyQueue
  536.     int oldx
  537.     int oldy
  538.     java.awt.Event last_event
  539.     long last_keypress_time
  540.     ltk.MotionCompressor motion_compressor
  541.  
  542. class ltk.EventClient
  543.     superclass: public synchronized class java.lang.Object
  544.     instantiated: no
  545.     subclasses: []
  546.     Reached Methods:
  547.     Accessed Fields:
  548.     Unreached Methods:
  549.     void <init>(public interface ltk.CallBackable, int, public class ltk.Area)
  550.     Unaccessed Fields:
  551.     ltk.CallBackable client
  552.     int method_nr
  553.     ltk.Area area
  554.     ltk.EventClient next
  555.  
  556. public interface ltk.CallBackable
  557.     superclass: public synchronized class java.lang.Object
  558.     instantiated: no
  559.     subclasses: []
  560.     Reached Methods:
  561.     Accessed Fields:
  562.     Unreached Methods:
  563.     boolean activateCallback(int)
  564.     Unaccessed Fields:
  565.  
  566. public class ltk.Area
  567.     superclass: public synchronized class java.lang.Object
  568.     instantiated: no
  569.     subclasses: []
  570.     Reached Methods:
  571.     Accessed Fields:
  572.     Unreached Methods:
  573.     void <init>(int, int, int, int)
  574.     void <init>(public class ltk.Area)
  575.     void <init>()
  576.     void set(int, int, int, int)
  577.     void set(public class ltk.Area)
  578.     void join(int, int, int, int)
  579.     void join(public class ltk.Area)
  580.     boolean inside(int, int)
  581.     boolean inside(int, int, int, int, int, int)
  582.     boolean outside(int, int)
  583.     boolean overlaps(int, int, int, int)
  584.     java.lang.String toString()
  585.     void <clinit>()
  586.     Unaccessed Fields:
  587.     int x
  588.     int y
  589.     int w
  590.     int h
  591.     int ltk_Area
  592.  
  593. class ltk.MotionCompressor
  594.     superclass: public synchronized class java.lang.Object
  595.     instantiated: no
  596.     subclasses: []
  597.     Reached Methods:
  598.     Accessed Fields:
  599.     Unreached Methods:
  600.     boolean needsCompression(public synchronized class java.awt.Event)
  601.     void endOfAction(public synchronized class java.awt.Event)
  602.     void <init>()
  603.     Unaccessed Fields:
  604.     long interval
  605.     long last_motion_time
  606.  
  607. public class ltk.Graphical
  608.     superclass: public synchronized class java.lang.Object
  609.     instantiated: no
  610.     subclasses: [public class ltk.Line, public class ltk.FilledGraphical, class Disk, public class ltk.Layout, public class ltk.Space, public class ltk.Label]
  611.     Reached Methods:
  612.     Accessed Fields:
  613.     Unreached Methods:
  614.     void <init>()
  615.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  616.     void remove()
  617.     void draw()
  618.     void erase()
  619.     void setLineWidth(int)
  620.     void setColor(public synchronized class java.awt.Color)
  621.     void lower()
  622.     void raise()
  623.     boolean reset(int, int, int, int)
  624.     void setConstrainedArea(int, int, int, int, int)
  625.     void move(int, int)
  626.     void move(int, int, int)
  627.     void resize(int, int)
  628.     void update()
  629.     void setConstraint(int)
  630.     void setVisibility(boolean)
  631.     void <clinit>()
  632.     Unaccessed Fields:
  633.     ltk.Area area
  634.     java.awt.Color color
  635.     int line_width
  636.     ltk.DisplayListCanvas canvas
  637.     boolean visible
  638.     int constraint
  639.     int ltk_Graphical
  640.  
  641. public class ltk.Constraint
  642.     superclass: public synchronized class java.lang.Object
  643.     instantiated: no
  644.     subclasses: []
  645.     Reached Methods:
  646.     Accessed Fields:
  647.     Unreached Methods:
  648.     ltk.Graphical set(public class ltk.Graphical, short)
  649.     ltk.Graphical setNone(public class ltk.Graphical)
  650.     ltk.Graphical setLeft(public class ltk.Graphical)
  651.     ltk.Graphical setRight(public class ltk.Graphical)
  652.     ltk.Graphical setTop(public class ltk.Graphical)
  653.     ltk.Graphical setBottom(public class ltk.Graphical)
  654.     ltk.Graphical setFixedWidth(public class ltk.Graphical)
  655.     ltk.Graphical setFixedHeight(public class ltk.Graphical)
  656.     ltk.Graphical setFixedSize(public class ltk.Graphical)
  657.     ltk.Graphical setCentered(public class ltk.Graphical)
  658.     void <init>()
  659.     Unaccessed Fields:
  660.     short None
  661.     short Left
  662.     short Right
  663.     short Top
  664.     short Bottom
  665.     short FixedWidth
  666.     short FixedHeight
  667.     short FixedSize
  668.     short Centered
  669.  
  670. class ltk.DisplayListElement
  671.     superclass: public synchronized class java.lang.Object
  672.     instantiated: no
  673.     subclasses: []
  674.     Reached Methods:
  675.     Accessed Fields:
  676.     Unreached Methods:
  677.     void <init>()
  678.     Unaccessed Fields:
  679.     ltk.Graphical graphical
  680.     ltk.DisplayListElement previous
  681.     ltk.DisplayListElement next
  682.  
  683. public class ltk.FocusHandler
  684.     superclass: public synchronized class java.lang.Object
  685.     instantiated: no
  686.     subclasses: []
  687.     Reached Methods:
  688.     Accessed Fields:
  689.     Unreached Methods:
  690.     void add(public interface ltk.FocusClient)
  691.     void remove(public interface ltk.FocusClient)
  692.     void setFocus(int)
  693.     void setFocus(public interface ltk.FocusClient)
  694.     void setFocusToNext(public interface ltk.FocusClient)
  695.     void setFocusToPrevious(public interface ltk.FocusClient)
  696.     void <init>()
  697.     Unaccessed Fields:
  698.     java.util.Vector clients
  699.     int nclients
  700.  
  701. public interface ltk.FocusClient
  702.     superclass: public synchronized class java.lang.Object
  703.     instantiated: no
  704.     subclasses: []
  705.     Reached Methods:
  706.     Accessed Fields:
  707.     Unreached Methods:
  708.     void setFocus(boolean)
  709.     void setFocusHandler(public class ltk.FocusHandler)
  710.     Unaccessed Fields:
  711.  
  712. public class ltk.Line
  713.     superclass: public class ltk.Graphical
  714.     instantiated: no
  715.     subclasses: []
  716.     Reached Methods:
  717.     Accessed Fields:
  718.     Unreached Methods:
  719.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  720.     boolean reset(int, int, int, int)
  721.     void setLineWidth(int)
  722.     void draw()
  723.     java.lang.String toString()
  724.     Unaccessed Fields:
  725.     int x1
  726.     int y1
  727.     int x2
  728.     int y2
  729.     int[] xpoints
  730.     int[] ypoints
  731.  
  732. class Peg
  733.     superclass: public class ltk.Box
  734.     instantiated: no
  735.     subclasses: []
  736.     Reached Methods:
  737.     Accessed Fields:
  738.     Unreached Methods:
  739.     void addDisk(class Disk)
  740.     boolean reset(int, int, int, int)
  741.     void arrangeDisks()
  742.     void removeDisk(class Disk)
  743.     void erase()
  744.     void moveDisk(class Peg)
  745.     java.lang.String toString()
  746.     void <init>(public class ltk.DisplayListCanvas, int, public final synchronized class java.lang.String)
  747.     Unaccessed Fields:
  748.     java.util.Vector disks
  749.     int nDisks
  750.     java.lang.String id
  751.  
  752. public class ltk.Box
  753.     superclass: public class ltk.Moveable
  754.     instantiated: no
  755.     subclasses: [class Peg]
  756.     Reached Methods:
  757.     Accessed Fields:
  758.     Unreached Methods:
  759.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  760.     void draw()
  761.     java.lang.String toString()
  762.     void <clinit>()
  763.     Unaccessed Fields:
  764.     int ltk_Box
  765.  
  766. public class ltk.Moveable
  767.     superclass: public class ltk.FilledGraphical
  768.     implements: [public interface ltk.CallBackable]
  769.     instantiated: no
  770.     subclasses: [public class ltk.Box]
  771.     Reached Methods:
  772.     Accessed Fields:
  773.     Unreached Methods:
  774.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  775.     boolean mouseDown()
  776.     boolean mouseDrag()
  777.     boolean moveToEvent(int, int)
  778.     boolean mouseUp()
  779.     boolean activateCallback(int)
  780.     void <clinit>()
  781.     Unaccessed Fields:
  782.     boolean down
  783.     int _mouseDown
  784.     int _mouseUp
  785.     int _mouseDrag
  786.     int dx
  787.     int dy
  788.     int ltk_Moveable
  789.  
  790. public class ltk.FilledGraphical
  791.     superclass: public class ltk.Graphical
  792.     instantiated: no
  793.     subclasses: [public class ltk.Moveable, public abstract class ltk.Selectable]
  794.     Reached Methods:
  795.     Accessed Fields:
  796.     Unreached Methods:
  797.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  798.     void setFillColor(public synchronized class java.awt.Color)
  799.     java.awt.Color fillColor()
  800.     void <clinit>()
  801.     Unaccessed Fields:
  802.     java.awt.Color fill_color
  803.     int ltk_FilledGraphical
  804.  
  805. class Disk
  806.     superclass: public class ltk.Graphical
  807.     instantiated: no
  808.     subclasses: []
  809.     Reached Methods:
  810.     Accessed Fields:
  811.     Unreached Methods:
  812.     void moveTo(class Peg)
  813.     void move(int, int, int)
  814.     void draw()
  815.     void erase()
  816.     java.lang.String toString()
  817.     void <init>(public class ltk.DisplayListCanvas, class Peg, int, int)
  818.     void <clinit>()
  819.     Unaccessed Fields:
  820.     int speed
  821.     Peg peg
  822.  
  823. public class ltk.Button
  824.     superclass: public abstract class ltk.Selectable
  825.     instantiated: no
  826.     subclasses: []
  827.     Reached Methods:
  828.     Accessed Fields:
  829.     Unreached Methods:
  830.     void <init>(public class ltk.DisplayListCanvas, public interface ltk.CallBackable, int, int, int, int, int, public final synchronized class java.lang.String)
  831.     void <init>(public class ltk.DisplayListCanvas, public interface ltk.CallBackable, int, public final synchronized class java.lang.String)
  832.     void <init>(public class ltk.DisplayListCanvas, int, public interface ltk.CallBackable, int, public final synchronized class java.lang.String)
  833.     void <init>(public class ltk.DisplayListCanvas, public interface ltk.CallBackable, int, int, int, public final synchronized class java.lang.String)
  834.     void activate()
  835.     void init(public class ltk.DisplayListCanvas, public interface ltk.CallBackable, int, int, int, int, int, public final synchronized class java.lang.String)
  836.     void setStyle(public abstract class ltk.GUIStyle)
  837.     void setFont(public synchronized class java.awt.Font)
  838.     void computeSizes()
  839.     void setPadding(int)
  840.     void draw()
  841.     java.lang.String toString()
  842.     void <clinit>()
  843.     Unaccessed Fields:
  844.     ltk.GUIStyle gui_style
  845.     java.lang.String title
  846.     java.awt.Font font
  847.     ltk.CallBackable client
  848.     int callback_method_nr
  849.     int text_width
  850.     int text_height
  851.     int padding
  852.     short borderwidth
  853.  
  854. public abstract class ltk.Selectable
  855.     superclass: public class ltk.FilledGraphical
  856.     implements: [public interface ltk.CallBackable, public interface ltk.FocusClient]
  857.     instantiated: no
  858.     subclasses: [public class ltk.Button]
  859.     Reached Methods:
  860.     Accessed Fields:
  861.     Unreached Methods:
  862.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  863.     void activate()
  864.     boolean mouseDown()
  865.     boolean mouseLeave()
  866.     boolean mouseUp()
  867.     boolean keyPress()
  868.     void setFocusHandler(public class ltk.FocusHandler)
  869.     void setFocus(boolean)
  870.     boolean activateCallback(int)
  871.     Unaccessed Fields:
  872.     boolean down
  873.     boolean focus
  874.     ltk.FocusHandler focus_handler
  875.     int _mouseDown
  876.     int _mouseUp
  877.     int _mouseLeave
  878.     int _keyPress
  879.  
  880. public abstract class ltk.GUIStyle
  881.     superclass: public synchronized class java.lang.Object
  882.     instantiated: no
  883.     subclasses: [public class ltk.MotifStyle, public class ltk.Win31Style, public class ltk.Win95Style]
  884.     Reached Methods:
  885.     Accessed Fields:
  886.     Unreached Methods:
  887.     void drawSunkenRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  888.     void drawRaisedRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  889.     void drawLine(public class ltk.DisplayListCanvas, int, int, int, int, int)
  890.     java.awt.Color getSunkenColor()
  891.     java.awt.Color getRaisedColor()
  892.     java.awt.Color getBackground()
  893.     int getBorderWidth()
  894.     int getPadding()
  895.     java.awt.Font getLabelFont()
  896.     void drawSunkenRect(public class ltk.DisplayListCanvas, public class ltk.Area, int)
  897.     void drawRaisedRect(public class ltk.DisplayListCanvas, public class ltk.Area, int)
  898.     void selectStyle(short)
  899.     void setDefaultStyle(public abstract class ltk.GUIStyle)
  900.     ltk.GUIStyle getDefaultStyle()
  901.     void <init>()
  902.     Unaccessed Fields:
  903.     short Motif
  904.     short Win31
  905.     short Win95
  906.     java.lang.String graphics_class_name
  907.     ltk.GUIStyle defaultStyle
  908.     java.awt.Font label_font
  909.  
  910. public class ltk.MotifStyle
  911.     superclass: public abstract class ltk.GUIStyle
  912.     instantiated: no
  913.     subclasses: []
  914.     Reached Methods:
  915.     Accessed Fields:
  916.     Unreached Methods:
  917.     void <init>()
  918.     void drawSunkenRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  919.     java.awt.Color getSunkenColor()
  920.     java.awt.Color getBackground()
  921.     int getBorderWidth()
  922.     int getPadding()
  923.     void drawLine(public class ltk.DisplayListCanvas, int, int, int, int, int)
  924.     void drawRaisedRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  925.     java.awt.Color getRaisedColor()
  926.     java.lang.String toString()
  927.     Unaccessed Fields:
  928.     java.awt.Color foreground
  929.     java.awt.Color bottomShadow
  930.     java.awt.Color topShadow
  931.     java.awt.Color background
  932.  
  933. public class ltk.Win31Style
  934.     superclass: public abstract class ltk.GUIStyle
  935.     instantiated: no
  936.     subclasses: []
  937.     Reached Methods:
  938.     Accessed Fields:
  939.     Unreached Methods:
  940.     void <init>()
  941.     java.awt.Color getSunkenColor()
  942.     java.awt.Color getBackground()
  943.     int getPadding()
  944.     int getBorderWidth()
  945.     void drawLine(public class ltk.DisplayListCanvas, int, int, int, int, int)
  946.     void drawSunkenRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  947.     void drawRaisedRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  948.     java.awt.Color getRaisedColor()
  949.     java.lang.String toString()
  950.     Unaccessed Fields:
  951.  
  952. public class ltk.Win95Style
  953.     superclass: public abstract class ltk.GUIStyle
  954.     instantiated: no
  955.     subclasses: []
  956.     Reached Methods:
  957.     Accessed Fields:
  958.     Unreached Methods:
  959.     void drawSunkenRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  960.     java.awt.Color getBackground()
  961.     java.awt.Color getSunkenColor()
  962.     int getBorderWidth()
  963.     int getPadding()
  964.     void drawLine(public class ltk.DisplayListCanvas, int, int, int, int, int)
  965.     void drawRaisedRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  966.     java.awt.Color getRaisedColor()
  967.     java.lang.String toString()
  968.     java.awt.Color darker(public synchronized class java.awt.Color)
  969.     java.awt.Color brighter(public synchronized class java.awt.Color)
  970.     void <init>()
  971.     Unaccessed Fields:
  972.     java.awt.Color background
  973.     java.awt.Color foreground
  974.     java.awt.Color bottomShadow
  975.     java.awt.Color topShadow
  976.     java.awt.Color bottomShadowTopLiner
  977.     java.awt.Color bottomShadowBottomLiner
  978.  
  979. class Garbage
  980.     superclass: public synchronized class java.lang.Object
  981.     instantiated: no
  982.     subclasses: []
  983.     Reached Methods:
  984.     Accessed Fields:
  985.     Unreached Methods:
  986.     void foo()
  987.     void bar(int)
  988.     void bar2(int, int)
  989.     void bar3(int, int)
  990.     void <init>()
  991.     Unaccessed Fields:
  992.     int y
  993.     int x
  994.  
  995. public class ltk.VerticalLayout
  996.     superclass: public class ltk.Layout
  997.     instantiated: no
  998.     subclasses: []
  999.     Reached Methods:
  1000.     Accessed Fields:
  1001.     Unreached Methods:
  1002.     void <init>(public class ltk.DisplayListCanvas)
  1003.     void <init>(public class ltk.Graphical)
  1004.     void <init>(public class ltk.Graphical, public class ltk.Graphical)
  1005.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1006.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1007.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1008.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1009.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1010.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1011.     Unaccessed Fields:
  1012.  
  1013. public class ltk.Layout
  1014.     superclass: public class ltk.Graphical
  1015.     instantiated: no
  1016.     subclasses: [public class ltk.VerticalLayout, public class ltk.HorizontalLayout]
  1017.     Reached Methods:
  1018.     Accessed Fields:
  1019.     Unreached Methods:
  1020.     void <init>(public class ltk.DisplayListCanvas)
  1021.     void addClient(public class ltk.Graphical)
  1022.     void removeClient(public class ltk.Graphical)
  1023.     boolean reset(int, int, int, int)
  1024.     void setVisibility(boolean)
  1025.     void setParent(public class ltk.Layout)
  1026.     void resizeToCanvas()
  1027.     void rearrange()
  1028.     void draw()
  1029.     java.lang.String toString()
  1030.     ltk.Graphical space(public class ltk.DisplayListCanvas)
  1031.     ltk.Graphical largeSpace(public class ltk.DisplayListCanvas)
  1032.     ltk.Graphical hugeSpace(public class ltk.DisplayListCanvas)
  1033.     ltk.Graphical space(public class ltk.DisplayListCanvas, int, int)
  1034.     Unaccessed Fields:
  1035.     short padding
  1036.     java.util.Vector clients
  1037.     int nclients
  1038.     short orientation
  1039.     ltk.Layout parent
  1040.     short Horizontal
  1041.     short Vertical
  1042.     short None
  1043.  
  1044. public class ltk.Space
  1045.     superclass: public class ltk.Graphical
  1046.     instantiated: no
  1047.     subclasses: []
  1048.     Reached Methods:
  1049.     Accessed Fields:
  1050.     Unreached Methods:
  1051.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  1052.     Unaccessed Fields:
  1053.  
  1054. public class ltk.Label
  1055.     superclass: public class ltk.Graphical
  1056.     instantiated: no
  1057.     subclasses: []
  1058.     Reached Methods:
  1059.     Accessed Fields:
  1060.     Unreached Methods:
  1061.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int, public final synchronized class java.lang.String)
  1062.     void <init>(public class ltk.DisplayListCanvas, public final synchronized class java.lang.String)
  1063.     void <init>(public class ltk.DisplayListCanvas, int, int, public final synchronized class java.lang.String)
  1064.     void init(public class ltk.DisplayListCanvas, int, int, int, int, public final synchronized class java.lang.String)
  1065.     void setStyle(public abstract class ltk.GUIStyle)
  1066.     void setLabel(public final synchronized class java.lang.String)
  1067.     void setFont(public synchronized class java.awt.Font)
  1068.     void draw()
  1069.     java.lang.String toString()
  1070.     Unaccessed Fields:
  1071.     ltk.GUIStyle gui_style
  1072.     java.lang.String label
  1073.     java.awt.Font font
  1074.     int text_width
  1075.     int text_height
  1076.  
  1077. public class ltk.HorizontalLayout
  1078.     superclass: public class ltk.Layout
  1079.     instantiated: no
  1080.     subclasses: []
  1081.     Reached Methods:
  1082.     Accessed Fields:
  1083.     Unreached Methods:
  1084.     void <init>(public class ltk.DisplayListCanvas)
  1085.     void <init>(public class ltk.Graphical)
  1086.     void <init>(public class ltk.Graphical, public class ltk.Graphical)
  1087.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1088.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1089.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1090.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1091.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1092.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1093.     Unaccessed Fields:
  1094.  
  1095.  
  1096. starting search for entry points
  1097. found main in class Hanoi
  1098. finished search for entry points
  1099.  
  1100. starting RTA analysis         
  1101.  
  1102. finished RTA analysis         
  1103.  
  1104.  
  1105. Environment after doing analysis:
  1106.  
  1107.  
  1108. ========================================================
  1109. Classes that are instantiated
  1110. ========================================================
  1111.  
  1112. class Disk
  1113.     superclass: public class ltk.Graphical
  1114.     instantiated: yes
  1115.     subclasses: []
  1116.     Reached Methods:
  1117.     void moveTo(class Peg)
  1118.     void move(int, int, int)
  1119.     void draw()
  1120.     java.lang.String toString()
  1121.     void <init>(public class ltk.DisplayListCanvas, class Peg, int, int)
  1122.     void <clinit>()
  1123.     Accessed Fields:
  1124.     int speed
  1125.     Peg peg
  1126.     Unreached Methods:
  1127.     void erase()
  1128.     Unaccessed Fields:
  1129.  
  1130. class Garbage
  1131.     superclass: public synchronized class java.lang.Object
  1132.     instantiated: yes
  1133.     subclasses: []
  1134.     Reached Methods:
  1135.     void foo()
  1136.     void <init>()
  1137.     Accessed Fields:
  1138.     Unreached Methods:
  1139.     void bar(int)
  1140.     void bar2(int, int)
  1141.     void bar3(int, int)
  1142.     Unaccessed Fields:
  1143.     int y
  1144.     int x
  1145.  
  1146. public class Hanoi
  1147.     superclass: public abstract class ltk.LTKApplet
  1148.     implements: [public interface ltk.CallBackable, public abstract interface java.lang.Runnable]
  1149.     instantiated: yes
  1150.     subclasses: []
  1151.     Reached Methods:
  1152.     boolean go()
  1153.     void run()
  1154.     void hanoi(int, class Peg, class Peg, class Peg)
  1155.     boolean pause()
  1156.     boolean quit()
  1157.     boolean slower()
  1158.     boolean faster()
  1159.     void init()
  1160.     void start()
  1161.     void stop()
  1162.     void main(java.lang.String[])
  1163.     boolean activateCallback(int)
  1164.     java.lang.String toString()
  1165.     void <init>()
  1166.     void <clinit>()
  1167.     Accessed Fields:
  1168.     long pie
  1169.     boolean take_a_break
  1170.     int numberOfDisks
  1171.     ltk.Line line
  1172.     Peg peg1
  1173.     Peg peg2
  1174.     Peg peg3
  1175.     java.lang.Thread thread
  1176.     ltk.Button go_button
  1177.     ltk.Button quit_button
  1178.     ltk.Button pause_button
  1179.     ltk.FocusHandler focus_handler
  1180.     Unreached Methods:
  1181.     Unaccessed Fields:
  1182.     int _go
  1183.     int _quit
  1184.     int _pause
  1185.     int _faster
  1186.     int _slower
  1187.  
  1188. class Peg
  1189.     superclass: public class ltk.Box
  1190.     instantiated: yes
  1191.     subclasses: []
  1192.     Reached Methods:
  1193.     void addDisk(class Disk)
  1194.     boolean reset(int, int, int, int)
  1195.     void arrangeDisks()
  1196.     void removeDisk(class Disk)
  1197.     void moveDisk(class Peg)
  1198.     java.lang.String toString()
  1199.     void <init>(public class ltk.DisplayListCanvas, int, public final synchronized class java.lang.String)
  1200.     Accessed Fields:
  1201.     java.util.Vector disks
  1202.     int nDisks
  1203.     java.lang.String id
  1204.     Unreached Methods:
  1205.     void erase()
  1206.     Unaccessed Fields:
  1207.  
  1208. public class ltk.Area
  1209.     superclass: public synchronized class java.lang.Object
  1210.     instantiated: yes
  1211.     subclasses: []
  1212.     Reached Methods:
  1213.     void <init>(int, int, int, int)
  1214.     void <init>()
  1215.     void set(int, int, int, int)
  1216.     void join(int, int, int, int)
  1217.     boolean inside(int, int)
  1218.     boolean outside(int, int)
  1219.     java.lang.String toString()
  1220.     void <clinit>()
  1221.     Accessed Fields:
  1222.     int x
  1223.     int y
  1224.     int w
  1225.     int h
  1226.     int ltk_Area
  1227.     Unreached Methods:
  1228.     void <init>(public class ltk.Area)
  1229.     void set(public class ltk.Area)
  1230.     void join(public class ltk.Area)
  1231.     boolean inside(int, int, int, int, int, int)
  1232.     boolean overlaps(int, int, int, int)
  1233.     Unaccessed Fields:
  1234.  
  1235. public class ltk.Button
  1236.     superclass: public abstract class ltk.Selectable
  1237.     instantiated: yes
  1238.     subclasses: []
  1239.     Reached Methods:
  1240.     void <init>(public class ltk.DisplayListCanvas, public interface ltk.CallBackable, int, public final synchronized class java.lang.String)
  1241.     void activate()
  1242.     void init(public class ltk.DisplayListCanvas, public interface ltk.CallBackable, int, int, int, int, int, public final synchronized class java.lang.String)
  1243.     void setFont(public synchronized class java.awt.Font)
  1244.     void computeSizes()
  1245.     void setPadding(int)
  1246.     void draw()
  1247.     java.lang.String toString()
  1248.     void <clinit>()
  1249.     Accessed Fields:
  1250.     ltk.GUIStyle gui_style
  1251.     java.lang.String title
  1252.     java.awt.Font font
  1253.     ltk.CallBackable client
  1254.     int callback_method_nr
  1255.     int text_width
  1256.     int text_height
  1257.     int padding
  1258.     short borderwidth
  1259.     Unreached Methods:
  1260.     void <init>(public class ltk.DisplayListCanvas, public interface ltk.CallBackable, int, int, int, int, int, public final synchronized class java.lang.String)
  1261.     void <init>(public class ltk.DisplayListCanvas, int, public interface ltk.CallBackable, int, public final synchronized class java.lang.String)
  1262.     void <init>(public class ltk.DisplayListCanvas, public interface ltk.CallBackable, int, int, int, public final synchronized class java.lang.String)
  1263.     void setStyle(public abstract class ltk.GUIStyle)
  1264.     Unaccessed Fields:
  1265.  
  1266. public class ltk.DisplayListCanvas
  1267.     superclass: public synchronized class java.awt.Panel
  1268.     instantiated: yes
  1269.     subclasses: []
  1270.     Reached Methods:
  1271.     void <init>(public synchronized class java.applet.Applet, int, int)
  1272.     void initializeGraphics()
  1273.     void repairArea(int, int, int, int)
  1274.     void update(public synchronized abstract class java.awt.Graphics)
  1275.     void paint(public synchronized abstract class java.awt.Graphics)
  1276.     java.awt.Image createImage(int, int)
  1277.     void doubleBuffering(boolean)
  1278.     void repairArea(public class ltk.Area)
  1279.     void addGraphical(public class ltk.Graphical)
  1280.     void lowerGraphical(public class ltk.Graphical)
  1281.     void freeze()
  1282.     void unFreeze()
  1283.     ltk.DisplayListElement findGraphical(public class ltk.Graphical)
  1284.     void reshape(int, int, int, int)
  1285.     void addClient(public interface ltk.CallBackable, int, public class ltk.Area, int)
  1286.     void removeClient(public interface ltk.CallBackable, int, public class ltk.Area, int)
  1287.     boolean handleEvent(public synchronized class java.awt.Event)
  1288.     java.awt.Event getLastEvent()
  1289.     java.lang.String toString()
  1290.     void setColor(public synchronized class java.awt.Color)
  1291.     void drawString(public final synchronized class java.lang.String, int, int)
  1292.     void drawLine(int, int, int, int)
  1293.     void fillRect(int, int, int, int)
  1294.     void drawRect(int, int, int, int)
  1295.     void fillRoundRect(int, int, int, int, int, int)
  1296.     void drawRoundRect(int, int, int, int, int, int)
  1297.     void flush()
  1298.     void setFont(public synchronized class java.awt.Font)
  1299.     ltk.FocusHandler getFocusHandler()
  1300.     Accessed Fields:
  1301.     ltk.EventManager event_manager
  1302.     ltk.DisplayListElement first
  1303.     ltk.DisplayListElement last
  1304.     int frozen_level
  1305.     ltk.Area frozen_area
  1306.     ltk.FocusHandler defaultFocusHandler
  1307.     ltk.Area area
  1308.     ltk.Area anywhere
  1309.     ltk.Area repair_area
  1310.     java.applet.Applet applet
  1311.     java.awt.Image buffer_image
  1312.     java.awt.Graphics buffer_graphics
  1313.     java.awt.Image original_buffer_image
  1314.     java.awt.Graphics original_buffer_graphics
  1315.     boolean double_buffering
  1316.     Unreached Methods:
  1317.     void setBufferImage(public synchronized abstract class java.awt.Image)
  1318.     void resetBufferImage()
  1319.     void removeGraphical(public class ltk.Graphical)
  1320.     void raiseGraphical(public class ltk.Graphical)
  1321.     ltk.Area getRepairArea()
  1322.     void drawOval(int, int, int, int)
  1323.     void drawCircle(int, int, int)
  1324.     void fillOval(int, int, int, int)
  1325.     void fillCircle(int, int, int)
  1326.     void drawRaisedRect(int, int, int, int)
  1327.     void drawSunkenRect(int, int, int, int)
  1328.     void fillRaisedRect(int, int, int, int)
  1329.     void fillSunkenRect(int, int, int, int)
  1330.     void drawPolygon(public synchronized class java.awt.Polygon)
  1331.     void fillPolygon(int[], int[], int)
  1332.     void fillPolygon(public synchronized class java.awt.Polygon)
  1333.     void drawImage(public synchronized abstract class java.awt.Image, int, int)
  1334.     Unaccessed Fields:
  1335.  
  1336. class ltk.DisplayListElement
  1337.     superclass: public synchronized class java.lang.Object
  1338.     instantiated: yes
  1339.     subclasses: []
  1340.     Reached Methods:
  1341.     void <init>()
  1342.     Accessed Fields:
  1343.     ltk.Graphical graphical
  1344.     ltk.DisplayListElement previous
  1345.     ltk.DisplayListElement next
  1346.     Unreached Methods:
  1347.     Unaccessed Fields:
  1348.  
  1349. class ltk.EventClient
  1350.     superclass: public synchronized class java.lang.Object
  1351.     instantiated: yes
  1352.     subclasses: []
  1353.     Reached Methods:
  1354.     void <init>(public interface ltk.CallBackable, int, public class ltk.Area)
  1355.     Accessed Fields:
  1356.     ltk.CallBackable client
  1357.     int method_nr
  1358.     ltk.Area area
  1359.     ltk.EventClient next
  1360.     Unreached Methods:
  1361.     Unaccessed Fields:
  1362.  
  1363. public class ltk.EventManager
  1364.     superclass: public synchronized class java.lang.Object
  1365.     instantiated: yes
  1366.     subclasses: []
  1367.     Reached Methods:
  1368.     void <init>()
  1369.     void addClient(public interface ltk.CallBackable, int, public class ltk.Area, int)
  1370.     void removeClient(public interface ltk.CallBackable, int, public class ltk.Area, int)
  1371.     void dispatchEvent(public synchronized class java.awt.Event)
  1372.     void dispatch(class ltk.EventClient, public synchronized class java.awt.Event)
  1373.     java.awt.Event getLastEvent()
  1374.     java.lang.String toString()
  1375.     Accessed Fields:
  1376.     ltk.EventClient EnterNotifyQueue
  1377.     ltk.EventClient LeaveNotifyQueue
  1378.     ltk.EventClient KeyPressQueue
  1379.     ltk.EventClient KeyReleaseQueue
  1380.     ltk.EventClient ButtonPressQueue
  1381.     ltk.EventClient ButtonReleaseQueue
  1382.     ltk.EventClient MotionNotifyQueue
  1383.     int oldx
  1384.     int oldy
  1385.     java.awt.Event last_event
  1386.     long last_keypress_time
  1387.     ltk.MotionCompressor motion_compressor
  1388.     Unreached Methods:
  1389.     Unaccessed Fields:
  1390.  
  1391. public class ltk.FocusHandler
  1392.     superclass: public synchronized class java.lang.Object
  1393.     instantiated: yes
  1394.     subclasses: []
  1395.     Reached Methods:
  1396.     void add(public interface ltk.FocusClient)
  1397.     void setFocus(int)
  1398.     void setFocus(public interface ltk.FocusClient)
  1399.     void setFocusToNext(public interface ltk.FocusClient)
  1400.     void setFocusToPrevious(public interface ltk.FocusClient)
  1401.     void <init>()
  1402.     Accessed Fields:
  1403.     java.util.Vector clients
  1404.     int nclients
  1405.     Unreached Methods:
  1406.     void remove(public interface ltk.FocusClient)
  1407.     Unaccessed Fields:
  1408.  
  1409. public class ltk.HorizontalLayout
  1410.     superclass: public class ltk.Layout
  1411.     instantiated: yes
  1412.     subclasses: []
  1413.     Reached Methods:
  1414.     void <init>(public class ltk.DisplayListCanvas)
  1415.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1416.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1417.     Accessed Fields:
  1418.     Unreached Methods:
  1419.     void <init>(public class ltk.Graphical)
  1420.     void <init>(public class ltk.Graphical, public class ltk.Graphical)
  1421.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1422.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1423.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1424.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1425.     Unaccessed Fields:
  1426.  
  1427. public class ltk.Label
  1428.     superclass: public class ltk.Graphical
  1429.     instantiated: yes
  1430.     subclasses: []
  1431.     Reached Methods:
  1432.     void <init>(public class ltk.DisplayListCanvas, public final synchronized class java.lang.String)
  1433.     void init(public class ltk.DisplayListCanvas, int, int, int, int, public final synchronized class java.lang.String)
  1434.     void setStyle(public abstract class ltk.GUIStyle)
  1435.     void setFont(public synchronized class java.awt.Font)
  1436.     void draw()
  1437.     java.lang.String toString()
  1438.     Accessed Fields:
  1439.     ltk.GUIStyle gui_style
  1440.     java.lang.String label
  1441.     java.awt.Font font
  1442.     int text_width
  1443.     int text_height
  1444.     Unreached Methods:
  1445.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int, public final synchronized class java.lang.String)
  1446.     void <init>(public class ltk.DisplayListCanvas, int, int, public final synchronized class java.lang.String)
  1447.     void setLabel(public final synchronized class java.lang.String)
  1448.     Unaccessed Fields:
  1449.  
  1450. public class ltk.MotifStyle
  1451.     superclass: public abstract class ltk.GUIStyle
  1452.     instantiated: yes
  1453.     subclasses: []
  1454.     Reached Methods:
  1455.     void <init>()
  1456.     void drawSunkenRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  1457.     java.awt.Color getSunkenColor()
  1458.     int getPadding()
  1459.     void drawRaisedRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  1460.     java.awt.Color getRaisedColor()
  1461.     java.lang.String toString()
  1462.     Accessed Fields:
  1463.     java.awt.Color foreground
  1464.     java.awt.Color bottomShadow
  1465.     java.awt.Color topShadow
  1466.     java.awt.Color background
  1467.     Unreached Methods:
  1468.     java.awt.Color getBackground()
  1469.     int getBorderWidth()
  1470.     void drawLine(public class ltk.DisplayListCanvas, int, int, int, int, int)
  1471.     Unaccessed Fields:
  1472.  
  1473. class ltk.MotionCompressor
  1474.     superclass: public synchronized class java.lang.Object
  1475.     instantiated: yes
  1476.     subclasses: []
  1477.     Reached Methods:
  1478.     boolean needsCompression(public synchronized class java.awt.Event)
  1479.     void endOfAction(public synchronized class java.awt.Event)
  1480.     void <init>()
  1481.     Accessed Fields:
  1482.     long last_motion_time
  1483.     Unreached Methods:
  1484.     Unaccessed Fields:
  1485.     long interval
  1486.  
  1487. public class ltk.Space
  1488.     superclass: public class ltk.Graphical
  1489.     instantiated: yes
  1490.     subclasses: []
  1491.     Reached Methods:
  1492.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  1493.     Accessed Fields:
  1494.     Unreached Methods:
  1495.     Unaccessed Fields:
  1496.  
  1497. public class ltk.VerticalLayout
  1498.     superclass: public class ltk.Layout
  1499.     instantiated: yes
  1500.     subclasses: []
  1501.     Reached Methods:
  1502.     void <init>(public class ltk.DisplayListCanvas)
  1503.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1504.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1505.     Accessed Fields:
  1506.     Unreached Methods:
  1507.     void <init>(public class ltk.Graphical)
  1508.     void <init>(public class ltk.Graphical, public class ltk.Graphical)
  1509.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1510.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1511.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1512.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  1513.     Unaccessed Fields:
  1514.  
  1515. public class ltk.Win31Style
  1516.     superclass: public abstract class ltk.GUIStyle
  1517.     instantiated: yes
  1518.     subclasses: []
  1519.     Reached Methods:
  1520.     void <init>()
  1521.     java.awt.Color getSunkenColor()
  1522.     int getPadding()
  1523.     void drawSunkenRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  1524.     void drawRaisedRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  1525.     java.awt.Color getRaisedColor()
  1526.     java.lang.String toString()
  1527.     Accessed Fields:
  1528.     Unreached Methods:
  1529.     java.awt.Color getBackground()
  1530.     int getBorderWidth()
  1531.     void drawLine(public class ltk.DisplayListCanvas, int, int, int, int, int)
  1532.     Unaccessed Fields:
  1533.  
  1534. public class ltk.Win95Style
  1535.     superclass: public abstract class ltk.GUIStyle
  1536.     instantiated: yes
  1537.     subclasses: []
  1538.     Reached Methods:
  1539.     void drawSunkenRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  1540.     java.awt.Color getSunkenColor()
  1541.     int getPadding()
  1542.     void drawRaisedRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  1543.     java.awt.Color getRaisedColor()
  1544.     java.lang.String toString()
  1545.     java.awt.Color darker(public synchronized class java.awt.Color)
  1546.     java.awt.Color brighter(public synchronized class java.awt.Color)
  1547.     void <init>()
  1548.     Accessed Fields:
  1549.     java.awt.Color background
  1550.     java.awt.Color foreground
  1551.     java.awt.Color bottomShadow
  1552.     java.awt.Color topShadow
  1553.     java.awt.Color bottomShadowTopLiner
  1554.     java.awt.Color bottomShadowBottomLiner
  1555.     Unreached Methods:
  1556.     java.awt.Color getBackground()
  1557.     int getBorderWidth()
  1558.     void drawLine(public class ltk.DisplayListCanvas, int, int, int, int, int)
  1559.     Unaccessed Fields:
  1560.  
  1561.  
  1562. ========================================================
  1563. Classes that are not instantiated
  1564. ========================================================
  1565.  
  1566. public class ltk.Box
  1567.     superclass: public class ltk.Moveable
  1568.     instantiated: no
  1569.     subclasses: [class Peg]
  1570.     Reached Methods:
  1571.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  1572.     void draw()
  1573.     void <clinit>()
  1574.     Accessed Fields:
  1575.     int ltk_Box
  1576.     Unreached Methods:
  1577.     java.lang.String toString()
  1578.     Unaccessed Fields:
  1579.  
  1580. public interface ltk.CallBackable
  1581.     superclass: public synchronized class java.lang.Object
  1582.     instantiated: no
  1583.     subclasses: []
  1584.     Reached Methods:
  1585.     boolean activateCallback(int)
  1586.     Accessed Fields:
  1587.     Unreached Methods:
  1588.     Unaccessed Fields:
  1589.  
  1590. public class ltk.Constraint
  1591.     superclass: public synchronized class java.lang.Object
  1592.     instantiated: no
  1593.     subclasses: []
  1594.     Reached Methods:
  1595.     Accessed Fields:
  1596.     Unreached Methods:
  1597.     ltk.Graphical set(public class ltk.Graphical, short)
  1598.     ltk.Graphical setNone(public class ltk.Graphical)
  1599.     ltk.Graphical setLeft(public class ltk.Graphical)
  1600.     ltk.Graphical setRight(public class ltk.Graphical)
  1601.     ltk.Graphical setTop(public class ltk.Graphical)
  1602.     ltk.Graphical setBottom(public class ltk.Graphical)
  1603.     ltk.Graphical setFixedWidth(public class ltk.Graphical)
  1604.     ltk.Graphical setFixedHeight(public class ltk.Graphical)
  1605.     ltk.Graphical setFixedSize(public class ltk.Graphical)
  1606.     ltk.Graphical setCentered(public class ltk.Graphical)
  1607.     void <init>()
  1608.     Unaccessed Fields:
  1609.     short None
  1610.     short Left
  1611.     short Right
  1612.     short Top
  1613.     short Bottom
  1614.     short FixedWidth
  1615.     short FixedHeight
  1616.     short FixedSize
  1617.     short Centered
  1618.  
  1619. public class ltk.FilledGraphical
  1620.     superclass: public class ltk.Graphical
  1621.     instantiated: no
  1622.     subclasses: [public class ltk.Moveable, public abstract class ltk.Selectable]
  1623.     Reached Methods:
  1624.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  1625.     void <clinit>()
  1626.     Accessed Fields:
  1627.     java.awt.Color fill_color
  1628.     int ltk_FilledGraphical
  1629.     Unreached Methods:
  1630.     void setFillColor(public synchronized class java.awt.Color)
  1631.     java.awt.Color fillColor()
  1632.     Unaccessed Fields:
  1633.  
  1634. public interface ltk.FocusClient
  1635.     superclass: public synchronized class java.lang.Object
  1636.     instantiated: no
  1637.     subclasses: []
  1638.     Reached Methods:
  1639.     void setFocus(boolean)
  1640.     void setFocusHandler(public class ltk.FocusHandler)
  1641.     Accessed Fields:
  1642.     Unreached Methods:
  1643.     Unaccessed Fields:
  1644.  
  1645. public abstract class ltk.GUIStyle
  1646.     superclass: public synchronized class java.lang.Object
  1647.     instantiated: no
  1648.     subclasses: [public class ltk.MotifStyle, public class ltk.Win31Style, public class ltk.Win95Style]
  1649.     Reached Methods:
  1650.     void drawSunkenRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  1651.     void drawRaisedRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  1652.     java.awt.Color getSunkenColor()
  1653.     java.awt.Color getRaisedColor()
  1654.     int getPadding()
  1655.     java.awt.Font getLabelFont()
  1656.     void drawSunkenRect(public class ltk.DisplayListCanvas, public class ltk.Area, int)
  1657.     void drawRaisedRect(public class ltk.DisplayListCanvas, public class ltk.Area, int)
  1658.     ltk.GUIStyle getDefaultStyle()
  1659.     void <init>()
  1660.     Accessed Fields:
  1661.     ltk.GUIStyle defaultStyle
  1662.     java.awt.Font label_font
  1663.     Unreached Methods:
  1664.     void drawLine(public class ltk.DisplayListCanvas, int, int, int, int, int)
  1665.     java.awt.Color getBackground()
  1666.     int getBorderWidth()
  1667.     void selectStyle(short)
  1668.     void setDefaultStyle(public abstract class ltk.GUIStyle)
  1669.     Unaccessed Fields:
  1670.     short Motif
  1671.     short Win31
  1672.     short Win95
  1673.     java.lang.String graphics_class_name
  1674.  
  1675. public class ltk.Graphical
  1676.     superclass: public synchronized class java.lang.Object
  1677.     instantiated: no
  1678.     subclasses: [public class ltk.Line, public class ltk.FilledGraphical, class Disk, public class ltk.Layout, public class ltk.Space, public class ltk.Label]
  1679.     Reached Methods:
  1680.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  1681.     void draw()
  1682.     void lower()
  1683.     boolean reset(int, int, int, int)
  1684.     void setConstrainedArea(int, int, int, int, int)
  1685.     void move(int, int)
  1686.     void move(int, int, int)
  1687.     void resize(int, int)
  1688.     void update()
  1689.     void <clinit>()
  1690.     Accessed Fields:
  1691.     ltk.Area area
  1692.     java.awt.Color color
  1693.     int line_width
  1694.     ltk.DisplayListCanvas canvas
  1695.     boolean visible
  1696.     int constraint
  1697.     int ltk_Graphical
  1698.     Unreached Methods:
  1699.     void <init>()
  1700.     void remove()
  1701.     void erase()
  1702.     void setLineWidth(int)
  1703.     void setColor(public synchronized class java.awt.Color)
  1704.     void raise()
  1705.     void setConstraint(int)
  1706.     void setVisibility(boolean)
  1707.     Unaccessed Fields:
  1708.  
  1709. public abstract class ltk.LTKApplet
  1710.     superclass: public synchronized class java.applet.Applet
  1711.     instantiated: no
  1712.     subclasses: [public class Hanoi]
  1713.     Reached Methods:
  1714.     void init()
  1715.     void start()
  1716.     void runAppletAsApplication(public final synchronized class java.lang.String)
  1717.     void runAppletAsApplication(public final synchronized class java.lang.String, int, int)
  1718.     java.lang.String getParameter(public final synchronized class java.lang.String)
  1719.     void update(public synchronized abstract class java.awt.Graphics)
  1720.     void paint(public synchronized abstract class java.awt.Graphics)
  1721.     void <init>()
  1722.     Accessed Fields:
  1723.     java.awt.Frame frame
  1724.     ltk.DisplayListCanvas canvas
  1725.     boolean running_as_applet
  1726.     Unreached Methods:
  1727.     void stop()
  1728.     Unaccessed Fields:
  1729.  
  1730. public class ltk.Layout
  1731.     superclass: public class ltk.Graphical
  1732.     instantiated: no
  1733.     subclasses: [public class ltk.VerticalLayout, public class ltk.HorizontalLayout]
  1734.     Reached Methods:
  1735.     void <init>(public class ltk.DisplayListCanvas)
  1736.     void addClient(public class ltk.Graphical)
  1737.     boolean reset(int, int, int, int)
  1738.     void setParent(public class ltk.Layout)
  1739.     void resizeToCanvas()
  1740.     void rearrange()
  1741.     void draw()
  1742.     java.lang.String toString()
  1743.     ltk.Graphical space(public class ltk.DisplayListCanvas)
  1744.     ltk.Graphical largeSpace(public class ltk.DisplayListCanvas)
  1745.     ltk.Graphical space(public class ltk.DisplayListCanvas, int, int)
  1746.     Accessed Fields:
  1747.     short padding
  1748.     java.util.Vector clients
  1749.     int nclients
  1750.     short orientation
  1751.     ltk.Layout parent
  1752.     Unreached Methods:
  1753.     void removeClient(public class ltk.Graphical)
  1754.     void setVisibility(boolean)
  1755.     ltk.Graphical hugeSpace(public class ltk.DisplayListCanvas)
  1756.     Unaccessed Fields:
  1757.     short Horizontal
  1758.     short Vertical
  1759.     short None
  1760.  
  1761. public class ltk.Line
  1762.     superclass: public class ltk.Graphical
  1763.     instantiated: no
  1764.     subclasses: []
  1765.     Reached Methods:
  1766.     Accessed Fields:
  1767.     Unreached Methods:
  1768.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  1769.     boolean reset(int, int, int, int)
  1770.     void setLineWidth(int)
  1771.     void draw()
  1772.     java.lang.String toString()
  1773.     Unaccessed Fields:
  1774.     int x1
  1775.     int y1
  1776.     int x2
  1777.     int y2
  1778.     int[] xpoints
  1779.     int[] ypoints
  1780.  
  1781. public class ltk.Moveable
  1782.     superclass: public class ltk.FilledGraphical
  1783.     implements: [public interface ltk.CallBackable]
  1784.     instantiated: no
  1785.     subclasses: [public class ltk.Box]
  1786.     Reached Methods:
  1787.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  1788.     boolean mouseDown()
  1789.     boolean mouseDrag()
  1790.     boolean moveToEvent(int, int)
  1791.     boolean mouseUp()
  1792.     boolean activateCallback(int)
  1793.     void <clinit>()
  1794.     Accessed Fields:
  1795.     boolean down
  1796.     int dx
  1797.     int dy
  1798.     int ltk_Moveable
  1799.     Unreached Methods:
  1800.     Unaccessed Fields:
  1801.     int _mouseDown
  1802.     int _mouseUp
  1803.     int _mouseDrag
  1804.  
  1805. public abstract class ltk.Selectable
  1806.     superclass: public class ltk.FilledGraphical
  1807.     implements: [public interface ltk.CallBackable, public interface ltk.FocusClient]
  1808.     instantiated: no
  1809.     subclasses: [public class ltk.Button]
  1810.     Reached Methods:
  1811.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  1812.     void activate()
  1813.     boolean mouseDown()
  1814.     boolean mouseLeave()
  1815.     boolean mouseUp()
  1816.     boolean keyPress()
  1817.     void setFocusHandler(public class ltk.FocusHandler)
  1818.     void setFocus(boolean)
  1819.     boolean activateCallback(int)
  1820.     Accessed Fields:
  1821.     boolean down
  1822.     boolean focus
  1823.     ltk.FocusHandler focus_handler
  1824.     Unreached Methods:
  1825.     Unaccessed Fields:
  1826.     int _mouseDown
  1827.     int _mouseUp
  1828.     int _mouseLeave
  1829.     int _keyPress
  1830.  
  1831. removing method ltk.Win95Style drawLine (Lltk/DisplayListCanvas;IIIII)V
  1832. removing method ltk.Win95Style getBorderWidth ()I
  1833. removing method ltk.Win95Style getBackground ()Ljava/awt/Color;
  1834. removing method ltk.Win31Style drawLine (Lltk/DisplayListCanvas;IIIII)V
  1835. removing method ltk.Win31Style getBorderWidth ()I
  1836. removing method ltk.Win31Style getBackground ()Ljava/awt/Color;
  1837. removing method ltk.VerticalLayout <init> (Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;)V
  1838. removing method ltk.VerticalLayout <init> (Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;)V
  1839. removing method ltk.VerticalLayout <init> (Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;)V
  1840. removing method ltk.VerticalLayout <init> (Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;)V
  1841. removing method ltk.VerticalLayout <init> (Lltk/Graphical;Lltk/Graphical;)V
  1842. removing method ltk.VerticalLayout <init> (Lltk/Graphical;)V
  1843. removing method ltk.MotifStyle drawLine (Lltk/DisplayListCanvas;IIIII)V
  1844. removing method ltk.MotifStyle getBorderWidth ()I
  1845. removing method ltk.MotifStyle getBackground ()Ljava/awt/Color;
  1846. removing method ltk.Line toString ()Ljava/lang/String;
  1847. removing method ltk.Line draw ()V
  1848. removing method ltk.Line setLineWidth (I)V
  1849. removing method ltk.Line reset (IIII)Z
  1850. removing method ltk.Line <init> (Lltk/DisplayListCanvas;IIII)V
  1851. removing method ltk.Layout hugeSpace (Lltk/DisplayListCanvas;)Lltk/Graphical;
  1852. removing method ltk.Layout setVisibility (Z)V
  1853. removing method ltk.Layout removeClient (Lltk/Graphical;)V
  1854. removing method ltk.Label setLabel (Ljava/lang/String;)V
  1855. removing method ltk.Label <init> (Lltk/DisplayListCanvas;IILjava/lang/String;)V
  1856. removing method ltk.Label <init> (Lltk/DisplayListCanvas;IIIILjava/lang/String;)V
  1857. removing method ltk.LTKApplet stop ()V
  1858. removing method ltk.HorizontalLayout <init> (Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;)V
  1859. removing method ltk.HorizontalLayout <init> (Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;)V
  1860. removing method ltk.HorizontalLayout <init> (Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;)V
  1861. removing method ltk.HorizontalLayout <init> (Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;Lltk/Graphical;)V
  1862. removing method ltk.HorizontalLayout <init> (Lltk/Graphical;Lltk/Graphical;)V
  1863. removing method ltk.HorizontalLayout <init> (Lltk/Graphical;)V
  1864. removing method ltk.Graphical setVisibility (Z)V
  1865. removing method ltk.Graphical setConstraint (I)V
  1866. removing method ltk.Graphical raise ()V
  1867. removing method ltk.Graphical setColor (Ljava/awt/Color;)V
  1868. removing method ltk.Graphical setLineWidth (I)V
  1869. removing method ltk.Graphical erase ()V
  1870. removing method ltk.Graphical remove ()V
  1871. removing method ltk.Graphical <init> ()V
  1872. removing method ltk.GUIStyle setDefaultStyle (Lltk/GUIStyle;)V
  1873. removing method ltk.GUIStyle selectStyle (S)V
  1874. removing body of method ltk.GUIStyle getPadding ()I
  1875. removing method ltk.GUIStyle getBorderWidth ()I
  1876. removing method ltk.GUIStyle getBackground ()Ljava/awt/Color;
  1877. removing method ltk.GUIStyle drawLine (Lltk/DisplayListCanvas;IIIII)V
  1878. removing method ltk.FocusHandler remove (Lltk/FocusClient;)V
  1879. removing method ltk.FilledGraphical fillColor ()Ljava/awt/Color;
  1880. removing method ltk.FilledGraphical setFillColor (Ljava/awt/Color;)V
  1881. removing method ltk.DisplayListCanvas drawImage (Ljava/awt/Image;II)V
  1882. removing method ltk.DisplayListCanvas fillPolygon (Ljava/awt/Polygon;)V
  1883. removing method ltk.DisplayListCanvas fillPolygon ([I[II)V
  1884. removing method ltk.DisplayListCanvas drawPolygon (Ljava/awt/Polygon;)V
  1885. removing method ltk.DisplayListCanvas fillSunkenRect (IIII)V
  1886. removing method ltk.DisplayListCanvas fillRaisedRect (IIII)V
  1887. removing method ltk.DisplayListCanvas drawSunkenRect (IIII)V
  1888. removing method ltk.DisplayListCanvas drawRaisedRect (IIII)V
  1889. removing method ltk.DisplayListCanvas fillCircle (III)V
  1890. removing method ltk.DisplayListCanvas fillOval (IIII)V
  1891. removing method ltk.DisplayListCanvas drawCircle (III)V
  1892. removing method ltk.DisplayListCanvas drawOval (IIII)V
  1893. removing method ltk.DisplayListCanvas getRepairArea ()Lltk/Area;
  1894. removing method ltk.DisplayListCanvas raiseGraphical (Lltk/Graphical;)V
  1895. removing method ltk.DisplayListCanvas removeGraphical (Lltk/Graphical;)V
  1896. removing method ltk.DisplayListCanvas resetBufferImage ()V
  1897. removing method ltk.DisplayListCanvas setBufferImage (Ljava/awt/Image;)V
  1898. removing method ltk.Constraint <init> ()V
  1899. removing method ltk.Constraint setCentered (Lltk/Graphical;)Lltk/Graphical;
  1900. removing method ltk.Constraint setFixedSize (Lltk/Graphical;)Lltk/Graphical;
  1901. removing method ltk.Constraint setFixedHeight (Lltk/Graphical;)Lltk/Graphical;
  1902. removing method ltk.Constraint setFixedWidth (Lltk/Graphical;)Lltk/Graphical;
  1903. removing method ltk.Constraint setBottom (Lltk/Graphical;)Lltk/Graphical;
  1904. removing method ltk.Constraint setTop (Lltk/Graphical;)Lltk/Graphical;
  1905. removing method ltk.Constraint setRight (Lltk/Graphical;)Lltk/Graphical;
  1906. removing method ltk.Constraint setLeft (Lltk/Graphical;)Lltk/Graphical;
  1907. removing method ltk.Constraint setNone (Lltk/Graphical;)Lltk/Graphical;
  1908. removing method ltk.Constraint set (Lltk/Graphical;S)Lltk/Graphical;
  1909. removing method ltk.Button setStyle (Lltk/GUIStyle;)V
  1910. removing method ltk.Button <init> (Lltk/DisplayListCanvas;Lltk/CallBackable;IIILjava/lang/String;)V
  1911. removing method ltk.Button <init> (Lltk/DisplayListCanvas;ILltk/CallBackable;ILjava/lang/String;)V
  1912. removing method ltk.Button <init> (Lltk/DisplayListCanvas;Lltk/CallBackable;IIIIILjava/lang/String;)V
  1913. removing method ltk.Box toString ()Ljava/lang/String;
  1914. removing method ltk.Area overlaps (IIII)Z
  1915. removing method ltk.Area inside (IIIIII)Z
  1916. removing method ltk.Area join (Lltk/Area;)V
  1917. removing method ltk.Area set (Lltk/Area;)V
  1918. removing method ltk.Area <init> (Lltk/Area;)V
  1919. removing method Peg erase ()V
  1920. removing method Garbage bar3 (II)V
  1921. removing method Garbage bar2 (II)V
  1922. removing method Garbage bar (I)V
  1923. removing method Disk erase ()V
  1924.  
  1925. ============================================================
  1926. starting inlining
  1927. inlining virtual call to (g) ltk.DisplayListCanvas.getFocusHandler ()Lltk/FocusHandler; at offset 36 in ltk.Selectable.<init> (Lltk/DisplayListCanvas;IIII)V
  1928. inlining virtual call to (g) ltk.EventManager.getLastEvent ()Ljava/awt/Event; at offset 4 in ltk.DisplayListCanvas.getLastEvent ()Ljava/awt/Event;
  1929. inlining virtual call to (p) ltk.Selectable.setFocusHandler (Lltk/FocusHandler;)V at offset 44 in ltk.Selectable.<init> (Lltk/DisplayListCanvas;IIII)V
  1930. removing method (g) ltk.DisplayListCanvas getFocusHandler ()Lltk/FocusHandler;
  1931. removing method (g) ltk.EventManager getLastEvent ()Ljava/awt/Event;
  1932. finished inlining
  1933. ============================================================
  1934.  
  1935.  
  1936. starting class hierarchy transformations
  1937.     MERGING class Peg into class ltk.Box
  1938.     REMOVING class ltk.Constraint
  1939.     MERGING class ltk.HorizontalLayout into class ltk.Layout
  1940.     REMOVING class ltk.Line
  1941.     MERGING class ltk.Box into class ltk.Moveable
  1942.     MERGING class ltk.Space into class ltk.Graphical
  1943.     MERGING class ltk.VerticalLayout into class ltk.Layout
  1944.     MERGING class ltk.Win31Style into abstract class ltk.GUIStyle
  1945.      removing method ltk.GUIStyle.getSunkenColor()Ljava/awt/Color; while merging class ltk.Win31Style into ltk.GUIStyle
  1946.      removing method ltk.GUIStyle.getPadding()I while merging class ltk.Win31Style into ltk.GUIStyle
  1947.      removing method ltk.GUIStyle.drawSunkenRect(Lltk/DisplayListCanvas;IIIII)V while merging class ltk.Win31Style into ltk.GUIStyle
  1948.      removing method ltk.GUIStyle.drawRaisedRect(Lltk/DisplayListCanvas;IIIII)V while merging class ltk.Win31Style into ltk.GUIStyle
  1949.      removing method ltk.GUIStyle.getRaisedColor()Ljava/awt/Color; while merging class ltk.Win31Style into ltk.GUIStyle
  1950.     MERGING class ltk.Button into abstract class ltk.Selectable
  1951.      removing method ltk.Selectable.activate()V while merging class ltk.Button into ltk.Selectable
  1952. finished class hierarchy transformations
  1953.  
  1954. Environment after doing transformations:
  1955.  
  1956.  
  1957. ========================================================
  1958. Classes that are instantiated
  1959. ========================================================
  1960.  
  1961. public class Disk
  1962.     superclass: public class ltk.Graphical
  1963.     instantiated: yes
  1964.     subclasses: []
  1965.     Reached Methods:
  1966.     void moveTo(public class ltk.Moveable)
  1967.     void move(int, int, int)
  1968.     void draw()
  1969.     java.lang.String toString()
  1970.     void <init>(public class ltk.DisplayListCanvas, public class ltk.Moveable, int, int)
  1971.     void <clinit>()
  1972.     Accessed Fields:
  1973.     int speed
  1974.     ltk.Moveable peg
  1975.     Unreached Methods:
  1976.     Unaccessed Fields:
  1977.  
  1978. public class Garbage
  1979.     superclass: public synchronized class java.lang.Object
  1980.     instantiated: yes
  1981.     subclasses: []
  1982.     Reached Methods:
  1983.     void foo()
  1984.     void <init>()
  1985.     Accessed Fields:
  1986.     Unreached Methods:
  1987.     Unaccessed Fields:
  1988.  
  1989. public class Hanoi
  1990.     superclass: public abstract class ltk.LTKApplet
  1991.     implements: [public interface ltk.CallBackable, public abstract interface java.lang.Runnable]
  1992.     instantiated: yes
  1993.     subclasses: []
  1994.     Reached Methods:
  1995.     boolean go()
  1996.     void run()
  1997.     void hanoi(int, public class ltk.Moveable, public class ltk.Moveable, public class ltk.Moveable)
  1998.     boolean pause()
  1999.     boolean quit()
  2000.     boolean slower()
  2001.     boolean faster()
  2002.     void init()
  2003.     void start()
  2004.     void stop()
  2005.     void main(java.lang.String[])
  2006.     boolean activateCallback(int)
  2007.     java.lang.String toString()
  2008.     void <init>()
  2009.     void <clinit>()
  2010.     Accessed Fields:
  2011.     boolean take_a_break
  2012.     int numberOfDisks
  2013.     ltk.Graphical line
  2014.     ltk.Moveable peg1
  2015.     ltk.Moveable peg2
  2016.     ltk.Moveable peg3
  2017.     java.lang.Thread thread
  2018.     ltk.Selectable go_button
  2019.     ltk.Selectable quit_button
  2020.     ltk.Selectable pause_button
  2021.     ltk.FocusHandler focus_handler
  2022.     Unreached Methods:
  2023.     Unaccessed Fields:
  2024.  
  2025. public class ltk.Area
  2026.     superclass: public synchronized class java.lang.Object
  2027.     instantiated: yes
  2028.     subclasses: []
  2029.     Reached Methods:
  2030.     void <init>(int, int, int, int)
  2031.     void <init>()
  2032.     void set(int, int, int, int)
  2033.     void join(int, int, int, int)
  2034.     boolean inside(int, int)
  2035.     boolean outside(int, int)
  2036.     java.lang.String toString()
  2037.     void <clinit>()
  2038.     Accessed Fields:
  2039.     int x
  2040.     int y
  2041.     int w
  2042.     int h
  2043.     Unreached Methods:
  2044.     Unaccessed Fields:
  2045.  
  2046. public class ltk.DisplayListCanvas
  2047.     superclass: public synchronized class java.awt.Panel
  2048.     instantiated: yes
  2049.     subclasses: []
  2050.     Reached Methods:
  2051.     void <init>(public synchronized class java.applet.Applet, int, int)
  2052.     void initializeGraphics()
  2053.     void repairArea(int, int, int, int)
  2054.     void update(public synchronized abstract class java.awt.Graphics)
  2055.     void paint(public synchronized abstract class java.awt.Graphics)
  2056.     java.awt.Image createImage(int, int)
  2057.     void doubleBuffering(boolean)
  2058.     void repairArea(public class ltk.Area)
  2059.     void addGraphical(public class ltk.Graphical)
  2060.     void lowerGraphical(public class ltk.Graphical)
  2061.     void freeze()
  2062.     void unFreeze()
  2063.     ltk.DisplayListElement findGraphical(public class ltk.Graphical)
  2064.     void reshape(int, int, int, int)
  2065.     void addClient(public interface ltk.CallBackable, int, public class ltk.Area, int)
  2066.     void removeClient(public interface ltk.CallBackable, int, public class ltk.Area, int)
  2067.     boolean handleEvent(public synchronized class java.awt.Event)
  2068.     java.awt.Event getLastEvent()
  2069.     java.lang.String toString()
  2070.     void setColor(public synchronized class java.awt.Color)
  2071.     void drawString(public final synchronized class java.lang.String, int, int)
  2072.     void drawLine(int, int, int, int)
  2073.     void fillRect(int, int, int, int)
  2074.     void drawRect(int, int, int, int)
  2075.     void fillRoundRect(int, int, int, int, int, int)
  2076.     void drawRoundRect(int, int, int, int, int, int)
  2077.     void flush()
  2078.     void setFont(public synchronized class java.awt.Font)
  2079.     Accessed Fields:
  2080.     ltk.EventManager event_manager
  2081.     ltk.DisplayListElement first
  2082.     ltk.DisplayListElement last
  2083.     int frozen_level
  2084.     ltk.Area frozen_area
  2085.     ltk.FocusHandler defaultFocusHandler
  2086.     ltk.Area area
  2087.     ltk.Area anywhere
  2088.     ltk.Area repair_area
  2089.     java.applet.Applet applet
  2090.     java.awt.Image buffer_image
  2091.     java.awt.Graphics buffer_graphics
  2092.     java.awt.Image original_buffer_image
  2093.     java.awt.Graphics original_buffer_graphics
  2094.     boolean double_buffering
  2095.     Unreached Methods:
  2096.     Unaccessed Fields:
  2097.  
  2098. public class ltk.DisplayListElement
  2099.     superclass: public synchronized class java.lang.Object
  2100.     instantiated: yes
  2101.     subclasses: []
  2102.     Reached Methods:
  2103.     void <init>()
  2104.     Accessed Fields:
  2105.     ltk.Graphical graphical
  2106.     ltk.DisplayListElement previous
  2107.     ltk.DisplayListElement next
  2108.     Unreached Methods:
  2109.     Unaccessed Fields:
  2110.  
  2111. public class ltk.EventClient
  2112.     superclass: public synchronized class java.lang.Object
  2113.     instantiated: yes
  2114.     subclasses: []
  2115.     Reached Methods:
  2116.     void <init>(public interface ltk.CallBackable, int, public class ltk.Area)
  2117.     Accessed Fields:
  2118.     ltk.CallBackable client
  2119.     int method_nr
  2120.     ltk.Area area
  2121.     ltk.EventClient next
  2122.     Unreached Methods:
  2123.     Unaccessed Fields:
  2124.  
  2125. public class ltk.EventManager
  2126.     superclass: public synchronized class java.lang.Object
  2127.     instantiated: yes
  2128.     subclasses: []
  2129.     Reached Methods:
  2130.     void <init>()
  2131.     void addClient(public interface ltk.CallBackable, int, public class ltk.Area, int)
  2132.     void removeClient(public interface ltk.CallBackable, int, public class ltk.Area, int)
  2133.     void dispatchEvent(public synchronized class java.awt.Event)
  2134.     void dispatch(public class ltk.EventClient, public synchronized class java.awt.Event)
  2135.     java.lang.String toString()
  2136.     Accessed Fields:
  2137.     ltk.EventClient EnterNotifyQueue
  2138.     ltk.EventClient LeaveNotifyQueue
  2139.     ltk.EventClient KeyPressQueue
  2140.     ltk.EventClient KeyReleaseQueue
  2141.     ltk.EventClient ButtonPressQueue
  2142.     ltk.EventClient ButtonReleaseQueue
  2143.     ltk.EventClient MotionNotifyQueue
  2144.     int oldx
  2145.     int oldy
  2146.     java.awt.Event last_event
  2147.     ltk.MotionCompressor motion_compressor
  2148.     Unreached Methods:
  2149.     Unaccessed Fields:
  2150.  
  2151. public class ltk.FocusHandler
  2152.     superclass: public synchronized class java.lang.Object
  2153.     instantiated: yes
  2154.     subclasses: []
  2155.     Reached Methods:
  2156.     void add(public interface ltk.FocusClient)
  2157.     void setFocus(int)
  2158.     void setFocus(public interface ltk.FocusClient)
  2159.     void setFocusToNext(public interface ltk.FocusClient)
  2160.     void setFocusToPrevious(public interface ltk.FocusClient)
  2161.     void <init>()
  2162.     Accessed Fields:
  2163.     java.util.Vector clients
  2164.     int nclients
  2165.     Unreached Methods:
  2166.     Unaccessed Fields:
  2167.  
  2168. public class ltk.GUIStyle
  2169.     superclass: public synchronized class java.lang.Object
  2170.     instantiated: yes
  2171.     subclasses: [public class ltk.MotifStyle, public class ltk.Win95Style]
  2172.     Reached Methods:
  2173.     java.awt.Font getLabelFont()
  2174.     void drawSunkenRect(public class ltk.DisplayListCanvas, public class ltk.Area, int)
  2175.     void drawRaisedRect(public class ltk.DisplayListCanvas, public class ltk.Area, int)
  2176.     ltk.GUIStyle getDefaultStyle()
  2177.     void <init>()
  2178.     void <init>(int)
  2179.     java.awt.Color getSunkenColor()
  2180.     int getPadding()
  2181.     void drawSunkenRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  2182.     void drawRaisedRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  2183.     java.awt.Color getRaisedColor()
  2184.     java.lang.String toString()
  2185.     Accessed Fields:
  2186.     ltk.GUIStyle defaultStyle
  2187.     java.awt.Font label_font
  2188.     Unreached Methods:
  2189.     Unaccessed Fields:
  2190.  
  2191. public class ltk.Graphical
  2192.     superclass: public synchronized class java.lang.Object
  2193.     instantiated: yes
  2194.     subclasses: [public class ltk.FilledGraphical, public class Disk, public class ltk.Layout, public class ltk.Label]
  2195.     Reached Methods:
  2196.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  2197.     void draw()
  2198.     void lower()
  2199.     boolean reset(int, int, int, int)
  2200.     void setConstrainedArea(int, int, int, int, int)
  2201.     void move(int, int)
  2202.     void move(int, int, int)
  2203.     void resize(int, int)
  2204.     void update()
  2205.     void <clinit>()
  2206.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int, int)
  2207.     Accessed Fields:
  2208.     ltk.Area area
  2209.     java.awt.Color color
  2210.     ltk.DisplayListCanvas canvas
  2211.     boolean visible
  2212.     int constraint
  2213.     Unreached Methods:
  2214.     Unaccessed Fields:
  2215.  
  2216. public class ltk.Label
  2217.     superclass: public class ltk.Graphical
  2218.     instantiated: yes
  2219.     subclasses: []
  2220.     Reached Methods:
  2221.     void <init>(public class ltk.DisplayListCanvas, public final synchronized class java.lang.String)
  2222.     void init(public class ltk.DisplayListCanvas, int, int, int, int, public final synchronized class java.lang.String)
  2223.     void setStyle(public class ltk.GUIStyle)
  2224.     void setFont(public synchronized class java.awt.Font)
  2225.     void draw()
  2226.     java.lang.String toString()
  2227.     Accessed Fields:
  2228.     ltk.GUIStyle gui_style
  2229.     java.lang.String label
  2230.     java.awt.Font font
  2231.     int text_width
  2232.     int text_height
  2233.     Unreached Methods:
  2234.     Unaccessed Fields:
  2235.  
  2236. public class ltk.Layout
  2237.     superclass: public class ltk.Graphical
  2238.     instantiated: yes
  2239.     subclasses: []
  2240.     Reached Methods:
  2241.     void <init>(public class ltk.DisplayListCanvas)
  2242.     void addClient(public class ltk.Graphical)
  2243.     boolean reset(int, int, int, int)
  2244.     void setParent(public class ltk.Layout)
  2245.     void resizeToCanvas()
  2246.     void rearrange()
  2247.     void draw()
  2248.     java.lang.String toString()
  2249.     ltk.Graphical space(public class ltk.DisplayListCanvas)
  2250.     ltk.Graphical largeSpace(public class ltk.DisplayListCanvas)
  2251.     ltk.Graphical space(public class ltk.DisplayListCanvas, int, int)
  2252.     void <init>(public class ltk.DisplayListCanvas, int)
  2253.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  2254.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical)
  2255.     void <init>(public class ltk.DisplayListCanvas, int, int)
  2256.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, int)
  2257.     void <init>(public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, public class ltk.Graphical, int)
  2258.     Accessed Fields:
  2259.     short padding
  2260.     java.util.Vector clients
  2261.     int nclients
  2262.     short orientation
  2263.     ltk.Layout parent
  2264.     Unreached Methods:
  2265.     Unaccessed Fields:
  2266.  
  2267. public class ltk.MotifStyle
  2268.     superclass: public class ltk.GUIStyle
  2269.     instantiated: yes
  2270.     subclasses: []
  2271.     Reached Methods:
  2272.     void <init>()
  2273.     void drawSunkenRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  2274.     java.awt.Color getSunkenColor()
  2275.     int getPadding()
  2276.     void drawRaisedRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  2277.     java.awt.Color getRaisedColor()
  2278.     java.lang.String toString()
  2279.     Accessed Fields:
  2280.     java.awt.Color foreground
  2281.     java.awt.Color bottomShadow
  2282.     java.awt.Color topShadow
  2283.     java.awt.Color background
  2284.     Unreached Methods:
  2285.     Unaccessed Fields:
  2286.  
  2287. public class ltk.MotionCompressor
  2288.     superclass: public synchronized class java.lang.Object
  2289.     instantiated: yes
  2290.     subclasses: []
  2291.     Reached Methods:
  2292.     boolean needsCompression(public synchronized class java.awt.Event)
  2293.     void endOfAction(public synchronized class java.awt.Event)
  2294.     void <init>()
  2295.     Accessed Fields:
  2296.     long last_motion_time
  2297.     Unreached Methods:
  2298.     Unaccessed Fields:
  2299.  
  2300. public class ltk.Moveable
  2301.     superclass: public class ltk.FilledGraphical
  2302.     implements: [public interface ltk.CallBackable]
  2303.     instantiated: yes
  2304.     subclasses: []
  2305.     Reached Methods:
  2306.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  2307.     boolean mouseDown()
  2308.     boolean mouseDrag()
  2309.     boolean moveToEvent(int, int)
  2310.     boolean mouseUp()
  2311.     boolean activateCallback(int)
  2312.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int, int)
  2313.     void draw()
  2314.     void <clinit>()
  2315.     void addDisk(public class Disk)
  2316.     boolean reset(int, int, int, int)
  2317.     void arrangeDisks()
  2318.     void removeDisk(public class Disk)
  2319.     void moveDisk(public class ltk.Moveable)
  2320.     java.lang.String toString()
  2321.     void <init>(public class ltk.DisplayListCanvas, int, public final synchronized class java.lang.String)
  2322.     Accessed Fields:
  2323.     int dx
  2324.     int dy
  2325.     java.util.Vector disks
  2326.     int nDisks
  2327.     java.lang.String id
  2328.     Unreached Methods:
  2329.     Unaccessed Fields:
  2330.  
  2331. public class ltk.Selectable
  2332.     superclass: public class ltk.FilledGraphical
  2333.     implements: [public interface ltk.CallBackable, public interface ltk.FocusClient]
  2334.     instantiated: yes
  2335.     subclasses: []
  2336.     Reached Methods:
  2337.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  2338.     boolean mouseDown()
  2339.     boolean mouseLeave()
  2340.     boolean mouseUp()
  2341.     boolean keyPress()
  2342.     void setFocusHandler(public class ltk.FocusHandler)
  2343.     void setFocus(boolean)
  2344.     boolean activateCallback(int)
  2345.     void <init>(public class ltk.DisplayListCanvas, public interface ltk.CallBackable, int, public final synchronized class java.lang.String)
  2346.     void activate()
  2347.     void init(public class ltk.DisplayListCanvas, public interface ltk.CallBackable, int, int, int, int, int, public final synchronized class java.lang.String)
  2348.     void setFont(public synchronized class java.awt.Font)
  2349.     void computeSizes()
  2350.     void setPadding(int)
  2351.     void draw()
  2352.     java.lang.String toString()
  2353.     void <clinit>()
  2354.     Accessed Fields:
  2355.     boolean down
  2356.     boolean focus
  2357.     ltk.FocusHandler focus_handler
  2358.     ltk.GUIStyle gui_style
  2359.     java.lang.String title
  2360.     java.awt.Font font
  2361.     ltk.CallBackable client
  2362.     int callback_method_nr
  2363.     int text_width
  2364.     int text_height
  2365.     int padding
  2366.     short borderwidth
  2367.     Unreached Methods:
  2368.     Unaccessed Fields:
  2369.  
  2370. public class ltk.Win95Style
  2371.     superclass: public class ltk.GUIStyle
  2372.     instantiated: yes
  2373.     subclasses: []
  2374.     Reached Methods:
  2375.     void drawSunkenRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  2376.     java.awt.Color getSunkenColor()
  2377.     int getPadding()
  2378.     void drawRaisedRect(public class ltk.DisplayListCanvas, int, int, int, int, int)
  2379.     java.awt.Color getRaisedColor()
  2380.     java.lang.String toString()
  2381.     java.awt.Color darker(public synchronized class java.awt.Color)
  2382.     java.awt.Color brighter(public synchronized class java.awt.Color)
  2383.     void <init>()
  2384.     Accessed Fields:
  2385.     java.awt.Color foreground
  2386.     java.awt.Color bottomShadow
  2387.     java.awt.Color topShadow
  2388.     java.awt.Color bottomShadowTopLiner
  2389.     java.awt.Color bottomShadowBottomLiner
  2390.     Unreached Methods:
  2391.     Unaccessed Fields:
  2392.  
  2393.  
  2394. ========================================================
  2395. Classes that are not instantiated
  2396. ========================================================
  2397.  
  2398. public interface ltk.CallBackable
  2399.     superclass: public synchronized class java.lang.Object
  2400.     instantiated: no
  2401.     subclasses: []
  2402.     Reached Methods:
  2403.     boolean activateCallback(int)
  2404.     Accessed Fields:
  2405.     Unreached Methods:
  2406.     Unaccessed Fields:
  2407.  
  2408. public class ltk.FilledGraphical
  2409.     superclass: public class ltk.Graphical
  2410.     instantiated: no
  2411.     subclasses: [public class ltk.Moveable, public class ltk.Selectable]
  2412.     Reached Methods:
  2413.     void <init>(public class ltk.DisplayListCanvas, int, int, int, int)
  2414.     void <clinit>()
  2415.     Accessed Fields:
  2416.     java.awt.Color fill_color
  2417.     Unreached Methods:
  2418.     Unaccessed Fields:
  2419.  
  2420. public interface ltk.FocusClient
  2421.     superclass: public synchronized class java.lang.Object
  2422.     instantiated: no
  2423.     subclasses: []
  2424.     Reached Methods:
  2425.     void setFocus(boolean)
  2426.     void setFocusHandler(public class ltk.FocusHandler)
  2427.     Accessed Fields:
  2428.     Unreached Methods:
  2429.     Unaccessed Fields:
  2430.  
  2431. public abstract class ltk.LTKApplet
  2432.     superclass: public synchronized class java.applet.Applet
  2433.     instantiated: no
  2434.     subclasses: [public class Hanoi]
  2435.     Reached Methods:
  2436.     void init()
  2437.     void start()
  2438.     void runAppletAsApplication(public final synchronized class java.lang.String)
  2439.     void runAppletAsApplication(public final synchronized class java.lang.String, int, int)
  2440.     java.lang.String getParameter(public final synchronized class java.lang.String)
  2441.     void update(public synchronized abstract class java.awt.Graphics)
  2442.     void paint(public synchronized abstract class java.awt.Graphics)
  2443.     void <init>()
  2444.     Accessed Fields:
  2445.     java.awt.Frame frame
  2446.     ltk.DisplayListCanvas canvas
  2447.     boolean running_as_applet
  2448.     Unreached Methods:
  2449.     Unaccessed Fields:
  2450.  
  2451.  
  2452. starting name compression
  2453.  
  2454. Method names map:
  2455.  
  2456.     fillRect            m20
  2457.     setParent            m62
  2458.     freeze            m29
  2459.     drawRoundRect        m17
  2460.     setPadding            m73
  2461.     moveTo            m3
  2462.     drawString            m22
  2463.     getPadding            m45
  2464.     slower            m7
  2465.     setStyle            m56
  2466.     fillRoundRect        m18
  2467.     add                m41
  2468.     setFocusHandler        m37
  2469.     moveDisk            m65
  2470.     mouseDrag            m71
  2471.     moveToEvent            m70
  2472.     activateCallback        m5
  2473.     resizeToCanvas        m61
  2474.     getDefaultStyle        m47
  2475.     needsCompression        m64
  2476.     reset            m52
  2477.     setFocusToPrevious        m39
  2478.     runAppletAsApplication    m54
  2479.     setConstrainedArea        m51
  2480.     initializeGraphics        m34
  2481.     quit            m8
  2482.     lowerGraphical        m30
  2483.     drawSunkenRect        m44
  2484.     dispatchEvent        m36
  2485.     drawRect            m19
  2486.     brighter            m78
  2487.     mouseDown            m72
  2488.     findGraphical        m27
  2489.     doubleBuffering        m33
  2490.     foo                m4
  2491.     mouseUp            m69
  2492.     keyPress            m76
  2493.     join            m14
  2494.     drawRaisedRect        m43
  2495.     endOfAction            m63
  2496.     flush            m16
  2497.     hanoi            m10
  2498.     set                m15
  2499.     inside            m13
  2500.     move            m2
  2501.     setFocus            m38
  2502.     dispatch            m35
  2503.     update            m49
  2504.     drawLine            m21
  2505.     rearrange            m60
  2506.     removeDisk            m66
  2507.     activate            m75
  2508.     addClient            m26
  2509.     init            m57
  2510.     darker            m79
  2511.     go                m11
  2512.     setFocusToNext        m40
  2513.     draw            m1
  2514.     resize            m50
  2515.     getSunkenColor        m46
  2516.     faster            m6
  2517.     getRaisedColor        m42
  2518.     addGraphical        m31
  2519.     outside            m12
  2520.     mouseLeave            m77
  2521.     setFont            m55
  2522.     getLabelFont        m48
  2523.     computeSizes        m74
  2524.     setColor            m23
  2525.     getLastEvent        m24
  2526.     largeSpace            m59
  2527.     arrangeDisks        m67
  2528.     addDisk            m68
  2529.     repairArea            m32
  2530.     removeClient        m25
  2531.     unFreeze            m28
  2532.     lower            m53
  2533.     space            m58
  2534.     pause            m9
  2535.  
  2536. Field names map:
  2537.  
  2538.     last_event            f16
  2539.     focus_handler        f57
  2540.     constraint            f31
  2541.     canvas            f33
  2542.     oldy            f17
  2543.     KeyPressQueue        f23
  2544.     oldx            f18
  2545.     dy                f52
  2546.     dx                f53
  2547.     next            f9
  2548.     color            f34
  2549.     down            f59
  2550.     foreground            f47
  2551.     label            f39
  2552.     graphical            f11
  2553.     title            f56
  2554.     defaultStyle        f30
  2555.     bottomShadow        f46
  2556.     numberOfDisks        f3
  2557.     visible            f32
  2558.     background            f44
  2559.     take_a_break        f4
  2560.     bottomShadowBottomLiner    f60
  2561.     ButtonReleaseQueue        f20
  2562.     last_motion_time        f48
  2563.     fill_color            f26
  2564.     font            f38
  2565.     nclients            f27
  2566.     borderwidth            f54
  2567.     id                f49
  2568.     frame            f35
  2569.     callback_method_nr        f55
  2570.     clients            f28
  2571.     speed            f2
  2572.     ButtonPressQueue        f21
  2573.     previous            f10
  2574.     EnterNotifyQueue        f25
  2575.     bottomShadowTopLiner    f61
  2576.     text_width            f37
  2577.     label_font            f29
  2578.     method_nr            f13
  2579.     topShadow            f45
  2580.     y                f7
  2581.     MotionNotifyQueue        f19
  2582.     x                f8
  2583.     client            f14
  2584.     w                f6
  2585.     orientation            f42
  2586.     peg                f1
  2587.     disks            f51
  2588.     text_height            f36
  2589.     area            f12
  2590.     focus            f58
  2591.     LeaveNotifyQueue        f24
  2592.     parent            f41
  2593.     h                f5
  2594.     padding            f43
  2595.     gui_style            f40
  2596.     motion_compressor        f15
  2597.     KeyReleaseQueue        f22
  2598.     nDisks            f50
  2599.  
  2600. Class names map:
  2601.  
  2602.     ltk.CallBackable        i4
  2603.     ltk.FocusHandler        c10
  2604.     ltk.FilledGraphical        c8
  2605.     ltk.EventManager        c7
  2606.     ltk.MotionCompressor    c16
  2607.     ltk.Graphical        c12
  2608.     ltk.Area            c3
  2609.     ltk.Selectable        c18
  2610.     ltk.Layout            c14
  2611.     ltk.DisplayListElement    c5
  2612.     Garbage            c2
  2613.     Disk            c1
  2614.     ltk.Win95Style        c19
  2615.     ltk.Label            c13
  2616.     ltk.GUIStyle        c11
  2617.     ltk.Moveable        c17
  2618.     ltk.EventClient        c6
  2619.     ltk.MotifStyle        c15
  2620.     ltk.FocusClient        i9
  2621.  
  2622. finished name compression        
  2623.  
  2624. starting devirtualization of method calls
  2625.  
  2626. Replacing virtual calls to (a) private methods, and 
  2627. (b) methods declared in a superclass. 
  2628. Some VMs run invokespecial faster than invokevirtual. 
  2629.  
  2630.     devirtualizing call to method in superclass: void c12.m49() at offset 39 in method c1.<init> (Lltk/DisplayListCanvas;Lc17;II)V
  2631.     devirtualizing call to method in superclass: void ltk.LTKApplet.m54(java.lang.String) at offset 6 in method Hanoi.main ([Ljava/lang/String;)V
  2632.     devirtualizing call to method in superclass: void c12.m49() at offset 23 in method c13.m55 (Ljava/awt/Font;)V
  2633.     devirtualizing call to method in superclass: void c12.m50(int, int) at offset 9 in method c14.m61 ()V
  2634.     devirtualizing call to method in superclass: void c12.m53() at offset 20 in method c14.m26 (Lc12;)V
  2635.     devirtualizing call to method in superclass: void c12.m2(int, int) at offset 44 in method c17.m67 ()V
  2636.     devirtualizing call to method in superclass: void c12.m49() at offset 11 in method c17.<init> (Lltk/DisplayListCanvas;IIIII)V
  2637.     devirtualizing call to method in superclass: void c12.m2(int, int) at offset 9 in method c17.m70 (II)Z
  2638.     devirtualizing call to method in superclass: void c12.m49() at offset 29 in method c18.m38 (Z)V
  2639.  
  2640.  
  2641. Making each method that has no overriding descendant final.
  2642. This will allows a JIT to inline the method.
  2643.  
  2644.     making final: java.lang.String c1.toString()
  2645.     making final: void c1.m1()
  2646.     making final: void c1.m2(int, int, int)
  2647.     making final: void c1.m3(c17)
  2648.     making final: void c2.m4()
  2649.     making final: java.lang.String Hanoi.toString()
  2650.     making final: boolean Hanoi.m5(int)
  2651.     making final: void Hanoi.stop()
  2652.     making final: void Hanoi.start()
  2653.     making final: void Hanoi.init()
  2654.     making final: boolean Hanoi.m6()
  2655.     making final: boolean Hanoi.m7()
  2656.     making final: boolean Hanoi.m8()
  2657.     making final: boolean Hanoi.m9()
  2658.     making final: void Hanoi.m10(int, c17, c17, c17)
  2659.     making final: void Hanoi.run()
  2660.     making final: boolean Hanoi.m11()
  2661.     making final: java.lang.String c3.toString()
  2662.     making final: boolean c3.m12(int, int)
  2663.     making final: boolean c3.m13(int, int)
  2664.     making final: void c3.m14(int, int, int, int)
  2665.     making final: void c3.m15(int, int, int, int)
  2666.     making final: void ltk.DisplayListCanvas.setFont(java.awt.Font)
  2667.     making final: void ltk.DisplayListCanvas.m16()
  2668.     making final: void ltk.DisplayListCanvas.m17(int, int, int, int, int, int)
  2669.     making final: void ltk.DisplayListCanvas.m18(int, int, int, int, int, int)
  2670.     making final: void ltk.DisplayListCanvas.m19(int, int, int, int)
  2671.     making final: void ltk.DisplayListCanvas.m20(int, int, int, int)
  2672.     making final: void ltk.DisplayListCanvas.m21(int, int, int, int)
  2673.     making final: void ltk.DisplayListCanvas.m22(java.lang.String, int, int)
  2674.     making final: void ltk.DisplayListCanvas.m23(java.awt.Color)
  2675.     making final: java.lang.String ltk.DisplayListCanvas.toString()
  2676.     making final: java.awt.Event ltk.DisplayListCanvas.m24()
  2677.     making final: boolean ltk.DisplayListCanvas.handleEvent(java.awt.Event)
  2678.     making final: void ltk.DisplayListCanvas.m25(i4, int, c3, int)
  2679.     making final: void ltk.DisplayListCanvas.m26(i4, int, c3, int)
  2680.     making final: void ltk.DisplayListCanvas.reshape(int, int, int, int)
  2681.     making final: c5 ltk.DisplayListCanvas.m27(c12)
  2682.     making final: void ltk.DisplayListCanvas.m28()
  2683.     making final: void ltk.DisplayListCanvas.m29()
  2684.     making final: void ltk.DisplayListCanvas.m30(c12)
  2685.     making final: void ltk.DisplayListCanvas.m31(c12)
  2686.     making final: void ltk.DisplayListCanvas.m32(c3)
  2687.     making final: void ltk.DisplayListCanvas.m33(boolean)
  2688.     making final: java.awt.Image ltk.DisplayListCanvas.createImage(int, int)
  2689.     making final: void ltk.DisplayListCanvas.paint(java.awt.Graphics)
  2690.     making final: void ltk.DisplayListCanvas.update(java.awt.Graphics)
  2691.     making final: void ltk.DisplayListCanvas.m32(int, int, int, int)
  2692.     making final: void ltk.DisplayListCanvas.m34()
  2693.     making final: java.lang.String c7.toString()
  2694.     making final: void c7.m35(c6, java.awt.Event)
  2695.     making final: void c7.m36(java.awt.Event)
  2696.     making final: void c7.m25(i4, int, c3, int)
  2697.     making final: void c7.m26(i4, int, c3, int)
  2698.     making final: void c10.m39(i9)
  2699.     making final: void c10.m40(i9)
  2700.     making final: void c10.m38(i9)
  2701.     making final: void c10.m38(int)
  2702.     making final: void c10.m41(i9)
  2703.     making final: void c11.m43(ltk.DisplayListCanvas, c3, int)
  2704.     making final: void c11.m44(ltk.DisplayListCanvas, c3, int)
  2705.     making final: java.awt.Font c11.m48()
  2706.     making final: void c12.m49()
  2707.     making final: void c12.m50(int, int)
  2708.     making final: void c12.m2(int, int)
  2709.     making final: void c12.m51(int, int, int, int, int)
  2710.     making final: void c12.m53()
  2711.     making final: void ltk.LTKApplet.paint(java.awt.Graphics)
  2712.     making final: void ltk.LTKApplet.update(java.awt.Graphics)
  2713.     making final: java.lang.String ltk.LTKApplet.getParameter(java.lang.String)
  2714.     making final: void ltk.LTKApplet.m54(java.lang.String, int, int)
  2715.     making final: void ltk.LTKApplet.m54(java.lang.String)
  2716.     making final: java.lang.String c13.toString()
  2717.     making final: void c13.m1()
  2718.     making final: void c13.m55(java.awt.Font)
  2719.     making final: void c13.m56(c11)
  2720.     making final: void c13.m57(ltk.DisplayListCanvas, int, int, int, int, java.lang.String)
  2721.     making final: java.lang.String c14.toString()
  2722.     making final: void c14.m1()
  2723.     making final: void c14.m60()
  2724.     making final: void c14.m61()
  2725.     making final: void c14.m62(c14)
  2726.     making final: boolean c14.m52(int, int, int, int)
  2727.     making final: void c14.m26(c12)
  2728.     making final: java.lang.String c15.toString()
  2729.     making final: java.awt.Color c15.m42()
  2730.     making final: void c15.m43(ltk.DisplayListCanvas, int, int, int, int, int)
  2731.     making final: int c15.m45()
  2732.     making final: java.awt.Color c15.m46()
  2733.     making final: void c15.m44(ltk.DisplayListCanvas, int, int, int, int, int)
  2734.     making final: void c16.m63(java.awt.Event)
  2735.     making final: boolean c16.m64(java.awt.Event)
  2736.     making final: boolean c17.m5(int)
  2737.     making final: boolean c17.m69()
  2738.     making final: boolean c17.m70(int, int)
  2739.     making final: boolean c17.m71()
  2740.     making final: boolean c17.m72()
  2741.     making final: void c18.m75()
  2742.     making final: boolean c18.m5(int)
  2743.     making final: void c18.m38(boolean)
  2744.     making final: void c18.m37(c10)
  2745.     making final: boolean c18.m76()
  2746.     making final: boolean c18.m69()
  2747.     making final: boolean c18.m77()
  2748.     making final: boolean c18.m72()
  2749.     making final: java.awt.Color c19.m78(java.awt.Color)
  2750.     making final: java.awt.Color c19.m79(java.awt.Color)
  2751.     making final: java.lang.String c19.toString()
  2752.     making final: java.awt.Color c19.m42()
  2753.     making final: void c19.m43(ltk.DisplayListCanvas, int, int, int, int, int)
  2754.     making final: int c19.m45()
  2755.     making final: java.awt.Color c19.m46()
  2756.     making final: void c19.m44(ltk.DisplayListCanvas, int, int, int, int, int)
  2757.  
  2758. finished devirtualization of method calls
  2759.  
  2760.  
  2761. Warning: no "Hanoi_jax.dlc" file with dynamically loaded class names
  2762. Warning: no "Hanoi_jax.fcn" file with fixed class names
  2763. Warning: no "Hanoi_jax.dim" file with names of dynamically invoked methods
  2764. Warning: no "Hanoi_jax.daf" file with names of dynamically accessed fields
  2765.  
  2766.  
  2767.  
  2768.  
  2769. starting verification
  2770. verifying...
  2771. finished verification
  2772.  
  2773.  
  2774. saved 22 classes into Hanoi_jax.zip
  2775.  
  2776. Analyzed: 31 classes.
  2777.  
  2778. Total memory used by jax for processing: 4638432 bytes.
  2779.  
  2780. --------------------------------------------------------------
  2781.         zipfile    methods    fields    classes 
  2782. --------------------------------------------------------------
  2783. before:        58140    285    147    31
  2784. after:        22039    184    100    22
  2785. --------------------------------------------------------------
  2786. savings:    36101    101    47    9    
  2787.         62%    35%    31%    29%        
  2788. --------------------------------------------------------------
  2789.  
  2790.  
  2791.  
  2792. Time used for analysis: 9 seconds.
  2793.  
  2794.  
  2795. Thanks for using JAX, a technology preview from IBM.
  2796. Please email your feedback to: jax@watson.ibm.com
  2797.  
  2798.