grph.edit

Class ShellEditor

java.lang.Object

grph.edit.ShellEditor

Direct Known Subclasses:

GUIShellEditor

public class ShellEditor
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ShellEditor(Grph g)

Method Summary

Modifier and Type	Method and Description
void	execute(java.lang.String text)

Methods inherited from class java.lang.Object

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

Constructor Detail

ShellEditor

public ShellEditor(Grph g)

Method Detail

execute

public void execute(java.lang.String text)