org.graphstream.ui.android_viewer.util

Class DefaultMouseManager

java.lang.Object

org.graphstream.ui.android_viewer.util.DefaultMouseManager

All Implemented Interfaces:

android.view.View.OnTouchListener, org.graphstream.ui.view.util.MouseManager

public class DefaultMouseManager
extends java.lang.Object
implements org.graphstream.ui.view.util.MouseManager, android.view.View.OnTouchListener

Field Summary

Fields

Modifier and Type	Field and Description
protected android.content.Context	context
protected org.graphstream.ui.graphicGraph.GraphicElement	curElement
protected android.view.ScaleGestureDetector	gestureManager Manager to detect gesture (pinch) and the context needed
protected org.graphstream.ui.graphicGraph.GraphicGraph	graph The graph to modify according to the view actions.
protected org.graphstream.ui.view.View	view The view this manager operates upon.
protected float	x1
protected float	x2
protected float	y1
protected float	y2

Constructor Summary

Constructors

Constructor and Description
DefaultMouseManager()
DefaultMouseManager(java.util.EnumSet<org.graphstream.ui.view.util.InteractiveElement> types)

Method Summary

Modifier and Type	Method and Description
protected void	elementMoving(org.graphstream.ui.graphicGraph.GraphicElement element, android.view.MotionEvent event)
java.util.EnumSet<org.graphstream.ui.view.util.InteractiveElement>	getManagedTypes()
void	init(org.graphstream.ui.graphicGraph.GraphicGraph graph, org.graphstream.ui.view.View view)
void	initContext(android.content.Context context)
protected void	mouseButtonPress(android.view.MotionEvent event)
protected void	mouseButtonPressOnElement(org.graphstream.ui.graphicGraph.GraphicElement element, android.view.MotionEvent event)
protected void	mouseButtonRelease(android.view.MotionEvent event, java.lang.Iterable<org.graphstream.ui.graphicGraph.GraphicElement> elementsInArea)
protected void	mouseButtonReleaseOffElement(org.graphstream.ui.graphicGraph.GraphicElement element, android.view.MotionEvent event)
boolean	onTouch(android.view.View v, android.view.MotionEvent event)
void	release()

Methods inherited from class java.lang.Object

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

Field Detail

view

protected org.graphstream.ui.view.View view

The view this manager operates upon.

graph

protected org.graphstream.ui.graphicGraph.GraphicGraph graph

The graph to modify according to the view actions.

curElement

protected org.graphstream.ui.graphicGraph.GraphicElement curElement

x1

protected float x1

x2

protected float x2

y1

protected float y1

y2

protected float y2

gestureManager

protected android.view.ScaleGestureDetector gestureManager

Manager to detect gesture (pinch) and the context needed

context

protected android.content.Context context

Constructor Detail

DefaultMouseManager

public DefaultMouseManager()

DefaultMouseManager

public DefaultMouseManager(java.util.EnumSet<org.graphstream.ui.view.util.InteractiveElement> types)

Method Detail

init

public void init(org.graphstream.ui.graphicGraph.GraphicGraph graph,
                 org.graphstream.ui.view.View view)

Specified by:

init in interface org.graphstream.ui.view.util.MouseManager

initContext

public void initContext(android.content.Context context)

getManagedTypes

public java.util.EnumSet<org.graphstream.ui.view.util.InteractiveElement> getManagedTypes()

Specified by:

getManagedTypes in interface org.graphstream.ui.view.util.MouseManager

release

public void release()

Specified by:

release in interface org.graphstream.ui.view.util.MouseManager

onTouch

public boolean onTouch(android.view.View v,
                       android.view.MotionEvent event)

Specified by:

onTouch in interface android.view.View.OnTouchListener

mouseButtonPress

protected void mouseButtonPress(android.view.MotionEvent event)

mouseButtonRelease

protected void mouseButtonRelease(android.view.MotionEvent event,
                                  java.lang.Iterable<org.graphstream.ui.graphicGraph.GraphicElement> elementsInArea)

mouseButtonPressOnElement

protected void mouseButtonPressOnElement(org.graphstream.ui.graphicGraph.GraphicElement element,
                                         android.view.MotionEvent event)

elementMoving

protected void elementMoving(org.graphstream.ui.graphicGraph.GraphicElement element,
                             android.view.MotionEvent event)

mouseButtonReleaseOffElement

protected void mouseButtonReleaseOffElement(org.graphstream.ui.graphicGraph.GraphicElement element,
                                            android.view.MotionEvent event)