graph
Class GraphOr

public class GraphOr

extends graph.GraphElement

Title:

Description: Classe que representa o elemento Or no ambiente gráfico do Grafo E/OU

Copyright: Copyright (c) 2006

Company: Grima(UFSC) & Graco(UnB)

Version:

1.0

Author:

Roman Moura Lorenzo

getNumberOfLines

public int getNumberOfLines()

Retorna o numero de GraphLines existentes no elemento GraphOr.

Returns:

int

getMaximumNumberOfWorkingsteps

public int getMaximumNumberOfWorkingsteps()

Retorna o numero de Workingsteps da maior sequencia possivel no GraphOr.

Returns:

int

setOrigin

public void setOrigin(int x,
                      int y)

Seta a origem do elemento GraphOr

Parameters:

x - int

y - int

setHeight

public void setHeight(int h)

Seta a altura do elemento GraphOr.

Parameters:

h - int

getHeight

public int getHeight()

Retorna a altura do elemento GraphOr.

Returns:

int

setWidth

public void setWidth(int w)

Seta o comprimento do retangulo externo ao elemento GraphOr.

Parameters:

w - int

getWidth

public int getWidth()

Retorna a altura do elemento GraphOr.

Returns:

int

setInternalWidth

public boolean setInternalWidth(int w)

Seta o comprimento das GraphLines presentes no elemento GraphOr.

Parameters:

w - int

Returns:

boolean

getInternalWidth

public int getInternalWidth()

Retorna o comprimento das GraphLines internas ao GraphOr.

Returns:

int

getWorkingstepIndexSequence

public java.util.Vector getWorkingstepIndexSequence()

Retorna todas as sequencias de workingsteps possiveis no elemento GraphOr.

Returns:

Vector

addLine

public void addLine(graph.GraphLine lineTmp)

Adiciona uma GraphLine ao vetor de GraphLines do elemento GraphOr.

Parameters:

lineTmp - GraphLine

organize

public void organize()

Método responsável pela disposição dos elementos do GraphOr no plano X-Y.

setHighlight

public void setHighlight(boolean x)

Altera a marcação do elemento GraphOr.

Parameters:

x - boolean

isHighlighted

public boolean isHighlighted()

Verifica se o elemento GraphOr está marcado (verifica se a GraphLine que está ativada no momento está marcada).

Returns:

boolean

setPossibility

public void setPossibility(int[][] sequencia)

Marca os elementos do GraphOr que estão presentes na sequencia de entrada.

Parameters:

sequencia - int[][]

findActivatedLine

public int findActivatedLine()

Determina qual das GraphLines esta ativada.

Returns:

int

verifyIfIsEmpty

public boolean verifyIfIsEmpty()

Verifica se o elemento GraphOr está vazio.

Returns:

boolean

draw

public void draw(java.awt.Graphics g)

Desenha o elemento GraphOr e seus elementos interno no Graphics.

Parameters:

g - Graphics

getNode

public javax.swing.tree.DefaultMutableTreeNode getNode()

Retorna um galho de uma arvore cujas folhas representam os elementos internos ao GraphOr.

Returns:

DefaultMutableTreeNode

findPoint

public int findPoint(int x,
                     int y,
                     boolean highlight)

Determina se o ponto de entrada é interno ao retangulo que possui todo o GraphOr em seu interior.

Parameters:

x - int

y - int

highlight - boolean

Returns:

int