keel.GraphInterKeel.experiments

Class Arc

java.lang.Object

keel.GraphInterKeel.experiments.Arc

All Implemented Interfaces:

java.io.Serializable

public class Arc
extends java.lang.Object
implements java.io.Serializable

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Arc() Builder
Arc(GraphPanel p) Builder
Arc(int source, int destination, GraphPanel p) Builder

Method Summary

Modifier and Type	Method and Description
void	draw(java.awt.Graphics2D g2, java.awt.Point source, java.awt.Point destination, boolean select) Draws this component
int	getDestination() Gets the destination node
int	getDestination2() Gets the destination node
int	getSource() Gets the source node of this arc
int	getSource2() Gets the source node of this arc
boolean	isInside(java.awt.Point point, java.awt.Point source, java.awt.Point destination) Test if the provided point is inside
void	setDestination(int destination) Sets the destination node
void	setDestination2(int destination) Sets the destination node
void	setSource(int source) Sets the node source
void	setSource2(int source) Sets the node source

Methods inherited from class java.lang.Object

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

Constructor Detail

Arc

public Arc()

Builder

Arc

public Arc(GraphPanel p)

Builder

Parameters:

p - Parent graph

Arc

public Arc(int source,
           int destination,
           GraphPanel p)

Builder

Parameters:

source - Source node

destination - Destination node

p - Parent graph

Method Detail

getSource

public int getSource()

Gets the source node of this arc

Returns:

The source node

getDestination

public int getDestination()

Gets the destination node

Returns:

the destination node

setSource

public void setSource(int source)

Sets the node source

Parameters:

source - The new node source

setDestination

public void setDestination(int destination)

Sets the destination node

Parameters:

destination - the new destination node

getSource2

public int getSource2()

Gets the source node of this arc

Returns:

The source node

getDestination2

public int getDestination2()

Gets the destination node

Returns:

the destination node

setSource2

public void setSource2(int source)

Sets the node source

Parameters:

source - The new node source

setDestination2

public void setDestination2(int destination)

Sets the destination node

Parameters:

destination - the new destination node

draw

public void draw(java.awt.Graphics2D g2,
                 java.awt.Point source,
                 java.awt.Point destination,
                 boolean select)

Draws this component

Parameters:

g2 - The graphic element

source - The point of origin

destination - The destination point

select - if this element is selected

isInside

public boolean isInside(java.awt.Point point,
                        java.awt.Point source,
                        java.awt.Point destination)

Test if the provided point is inside

Parameters:

point - Point

source - Source node

destination - Destination node

Returns:

If the provided point is inside