jaugment2.texteditor
Class TextEditorProxyIF.Bookmark

java.lang.Object
  |
  +--jaugment2.texteditor.TextEditorProxyIF.Bookmark

Enclosing class:

TextEditorProxyIF

public static class TextEditorProxyIF.Bookmark

extends java.lang.Object

implements java.io.Serializable

See Also:

Serialized Form

Field Summary

private int	line
private java.lang.Object	source

Constructor Summary

TextEditorProxyIF.Bookmark(java.lang.Object source, int line)

Method Summary

int	getLine()
java.lang.Object	getSource() gives the source of the document (usually a java.net.URL)

Methods inherited from class java.lang.Object

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

Field Detail

source

private java.lang.Object source

line

private int line

Constructor Detail

TextEditorProxyIF.Bookmark

public TextEditorProxyIF.Bookmark(java.lang.Object source,
                                  int line)

Method Detail

getSource

public java.lang.Object getSource()

gives the source of the document (usually a java.net.URL)

getLine

public int getLine()