org.jledit

Class EditorOperation

java.lang.Object

org.jledit.EditorOperation

public class EditorOperation
extends Object

Constructor Summary

Constructors

Constructor and Description
EditorOperation(EditorOperationType type, String input)

Method Summary

Methods

Modifier and Type	Method and Description
String	getInput()
EditorOperationType	getType()

Methods inherited from class java.lang.Object

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

Constructor Detail

EditorOperation

public EditorOperation(EditorOperationType type,
               String input)

Method Detail

getType

public EditorOperationType getType()

getInput

public String getInput()