Overview  Package   Class  Use  Deprecated  Index
Home >> All >> jpicedt >> graphic >> [ event overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

jpicedt.graphic.event
Class EditorKitEvent  

java.lang.Object
  jpicedt.graphic.event.EditorKitEvent

---

public class EditorKitEvent

extends java.lang.Object

A class that allows an EditorKit's mousetool to send high-level mouse-events, i.e. somehow pre-processed by the EditorKit machinery. This is inspired from javax.swing.event.HyperlinkListener.
Application cover :

• UI implementation outside the jpicedt.graphic package can react to mouse-event w/o the burden of processing the event.
• Internal use by other EditorKit's mousetools.

  [pending] underway ; compile ok but not used yet.

  Since:

  jPicEdt 1.3.2

  ---

  Nested Class Summary
  static class	EditorKitEvent.EventType           list of allowed event types

   

  Field Summary
  private  jpicedt.graphic.view.HitInfo	hitInfo
  private  jpicedt.graphic.toolkit.EditorKit	source
  private  EditorKitEvent.EventType	type

   

  Constructor Summary

  EditorKitEvent(jpicedt.graphic.toolkit.EditorKit source, EditorKitEvent.EventType type, jpicedt.graphic.view.HitInfo hitInfo)           contruct a new event

   

  Method Summary
  jpicedt.graphic.view.HitInfo	getHitInfo()
  jpicedt.graphic.toolkit.EditorKit	getSource()
  EditorKitEvent.EventType	getType()
  java.lang.String	toString()           Convert this Object to a human-readable String.

   

  Methods inherited from class java.lang.Object

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

   

  Field Detail

  type

  private EditorKitEvent.EventType type

  ---

  source

  private jpicedt.graphic.toolkit.EditorKit source

  ---

  hitInfo

  private jpicedt.graphic.view.HitInfo hitInfo

  Constructor Detail

  EditorKitEvent

  public EditorKitEvent(jpicedt.graphic.toolkit.EditorKit source,
                        EditorKitEvent.EventType type,
                        jpicedt.graphic.view.HitInfo hitInfo)

  contruct a new event

  Method Detail

  getSource

  public jpicedt.graphic.toolkit.EditorKit getSource()

  Since:

  jPicEdt 1.3.2

  ---

  getType

  public EditorKitEvent.EventType getType()

  Since:

  jPicEdt 1.3.2

  ---

  getHitInfo

  public jpicedt.graphic.view.HitInfo getHitInfo()

  Since:

  jPicEdt 1.3.2

  ---

  toString

  public java.lang.String toString()

  Description copied from class: java.lang.Object

  Convert this Object to a human-readable String. There are no limits placed on how long this String should be or what it should contain. We suggest you make it as intuitive as possible to be able to place it into System.out.println() 55 and such.

  It is typical, but not required, to ensure that this method never completes abruptly with a java.lang.RuntimeException.

  This method will be called when performing string concatenation with this object. If the result is null, string concatenation will instead use "null".

  The default implementation returns getClass().getName() + "@" + Integer.toHexString(hashCode()).

  Since:

  jPicEdt 1.3.2

  ---

  Overview  Package   Class  Use  Deprecated  Index
  Home >> All >> jpicedt >> graphic >> [ event overview ]	PREV CLASS  NEXT CLASS
  SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

  ---