SEdit
Class SEditTools
java.lang.Object
SEdit.SEditTools
- public class SEditTools
- extends Object
A class which contains some tools used by different parts of SEdit
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SEditTools
public SEditTools()
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.