org.eclipse.gmf.graphdef.editor.edit.policies.keyhandler
Class KeyPressedRequest

java.lang.Object
  extended by org.eclipse.gef.Request
      extended by org.eclipse.gef.requests.LocationRequest
          extended by org.eclipse.gmf.graphdef.editor.edit.policies.keyhandler.KeyPressedRequest

public class KeyPressedRequest
extends org.eclipse.gef.requests.LocationRequest


Constructor Summary
KeyPressedRequest(org.eclipse.gef.KeyStroke keyStroke)
           
 
Method Summary
 org.eclipse.gef.KeyStroke getKeyStroke()
           
 boolean isPerformed()
           
 void markPerformed()
           
 
Methods inherited from class org.eclipse.gef.requests.LocationRequest
getLocation, setLocation
 
Methods inherited from class org.eclipse.gef.Request
getExtendedData, getType, setExtendedData, setType
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

KeyPressedRequest

public KeyPressedRequest(org.eclipse.gef.KeyStroke keyStroke)
Method Detail

isPerformed

public final boolean isPerformed()

markPerformed

public void markPerformed()

getKeyStroke

public org.eclipse.gef.KeyStroke getKeyStroke()


Copyright © 2012. All Rights Reserved.