|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Direction | |
de.uni_paderborn.fujaba.fsa.listener | |
de.uni_paderborn.fujaba.fsa.swing |
Uses of Direction in de.uni_paderborn.fujaba.fsa.listener |
Methods in de.uni_paderborn.fujaba.fsa.listener that return Direction | |
static Direction |
GrabMouseListener.getOrientation(int x,
int y,
java.awt.Rectangle bounds)
Get the orientation attribute of the GrabMouseListener class |
Uses of Direction in de.uni_paderborn.fujaba.fsa.swing |
Fields in de.uni_paderborn.fujaba.fsa.swing declared as Direction | |
static Direction |
Direction.TOP
No comment provided by developer, please add a comment to improve documentation. |
static Direction |
Direction.UNDEFINED
No comment provided by developer, please add a comment to improve documentation. |
static Direction |
Direction.RIGHT
No comment provided by developer, please add a comment to improve documentation. |
static Direction |
Direction.BOTTOM
No comment provided by developer, please add a comment to improve documentation. |
static Direction |
Direction.LEFT
No comment provided by developer, please add a comment to improve documentation. |
Methods in de.uni_paderborn.fujaba.fsa.swing that return Direction | |
Direction |
JGrab.getOrientation()
|
Direction |
JArrowHead.getDirection()
Get the direction attribute of the JArrowHead object |
static Direction |
Direction.fromInt(int value)
No comment provided by developer, please add a comment to improve documentation. |
Direction |
Direction.reverse()
No comment provided by developer, please add a comment to improve documentation. |
Methods in de.uni_paderborn.fujaba.fsa.swing with parameters of type Direction | |
void |
JGrab.setOrientation(Direction orientation)
Set the orientation of the Grab at its target component. |
void |
JGrab.setLayoutOrientation(Direction orientation)
Set the Orientation without notifying the GrabManager or resetting the autoOrientation property |
boolean |
JArrowHead.setDirection(Direction direction)
Set the direction attribute of the JArrowHead object |
protected void |
DefaultGrabLayouter.layoutGrab(GrabManager manager,
JGrab grab,
Direction orientation,
double align,
double start,
double end,
double[] used)
layout the grab |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |