graph
Class GraphAnd

public class GraphAnd

extends graph.GraphElement

Title:

Description: Classe que representa o elemento AND na visualização gráfica do Graph 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 linhas presentes no GraphAnd.

Returns:

int

getMaximumNumberOfWorkingsteps

public int getMaximumNumberOfWorkingsteps()

Determina qual e a maior sequencia de workingsteps possivel.

Returns:

int

addLine

public void addLine(graph.GraphLine lineTmp)

Adiciona uma nova GraphLine ao GraphAnd.

Parameters:

lineTmp - GraphLine

setLines

public void setLines(java.util.Vector lines)

Seta as linhas do elemento AND

Parameters:

lines - Vector

getLines

public java.util.Vector getLines()

Retorna um vetor com todas as linhas (GraphLine) do elemento AND.

Returns:

Vector

setOrigin

public void setOrigin(int x,
                      int y)

Seta a origem do elemento AND no plano X-Y.

Parameters:

x - int

y - int

setHeight

public void setHeight(int h)

Seta a altura do retangulo externo ao elemento AND.

Parameters:

h - int

getHeight

public int getHeight()

Retorna a altura do elemento AND.

Returns:

int

setWidth

public void setWidth(int w)

Seta o comprimento do retangulo externo ao elemento AND.

Parameters:

w - int

getWidth

public int getWidth()

Retorna o comprimento do elemento AND.

Returns:

int

setInternalWidth

public boolean setInternalWidth(int w)

Seta o comprimento das GraphLines presentes no elemento AND.

Parameters:

w - int

Returns:

boolean

getInternalWidth

public int getInternalWidth()

Retorna o comprimeto das GraphLines existentes no elemento AND.

Returns:

int

getWorkingstepIndexSequence

public java.util.Vector getWorkingstepIndexSequence()

Retorna todas as sequencias de workingsteps possiveis no elemento AND.

Returns:

Vector

organize

public void organize()

Posiciona os elementos internos ao AND de maneira correta.

setHighlight

public void setHighlight(boolean x)

Altera a marcacao do GraphAnd.

Parameters:

x - boolean

isHighlighted

public boolean isHighlighted()

Retorna o tipo da marcacao do elemento.

Returns:

boolean

setPossibility

public void setPossibility(int[][] sequencia)

Marca os elementos do GraphAnd que estao presentes na sequencia de entrada.

Parameters:

sequencia - int[][]

verifyIfIsEmpty

public boolean verifyIfIsEmpty()

Verifica se o GraphAnd está vazio, isto é, verifica se alguma das suas GraphLines está vazia.

Returns:

boolean

draw

public void draw(java.awt.Graphics g)

Desenha o elemento GraphAnd e seus elementos internos em um Graphics.

Parameters:

g - Graphics

getNode

public javax.swing.tree.DefaultMutableTreeNode getNode()

Retorna uma árvore cujas folhas representam os elementos do GraphAnd.

Returns:

DefaultMutableTreeNode

findPoint

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

Determina se um determinado ponto do plano X-Y pertence ao elemento GraphAnd.

Parameters:

x - int

y - int

highlight - boolean

Returns:

int