SEdit
Class SEditTools

java.lang.Object
  extended bySEdit.SEditTools

public class SEditTools
extends Object

A class which contains some tools used by different parts of SEdit


Constructor Summary
SEditTools()
           
 
Method Summary
static void createStructure(AbstractAgent ag, Message m)
           
static String editText(Component comp, String title, String textInit)
           
static Frame getFrameParent(Component _c)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SEditTools

public SEditTools()
Method Detail

getFrameParent

public static Frame getFrameParent(Component _c)

editText

public static String editText(Component comp,
                              String title,
                              String textInit)

createStructure

public static void createStructure(AbstractAgent ag,
                                   Message m)


Copyright © J. Ferber, O. Gutknecht All Rights Reserved.