br.uerj.petrinetanalyzer.gui.objects
Class PetriNetGraph

java.lang.Object
  br.uerj.petrinetanalyzer.common.ImplPetriNetBase
      br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph

All Implemented Interfaces:

IntfPetriNetBase

public class PetriNetGraph
extends ImplPetriNetBase

Esta classe é a classe base para definição de Redes de Petri. Com os atributos necessários para a parte gráfica.

Version:

2.0

Author:

Felipe Lino
Data: 08/01/2007
Atualização: 20/10/2007

Field Summary

private java.util.ArrayList	listLabel
private int	selectedArc Informa qual o Arco Selecionado.
private int	selectedLabel Informa qual o Rótulo Selecionado.
private int	selectedPlace Informa qual o Lugar Selecionado.
private int	selectedTrans Informa qual a Transição Selecionada.

Fields inherited from class br.uerj.petrinetanalyzer.common.ImplPetriNetBase

NOME_REDE

Constructor Summary

PetriNetGraph()
Construtor.

Method Summary

void	addArco(ArcGraph arco) Adiciona Arco.
void	addLabel(Label label) Adiciona Rótulo.
void	addLugar(PlaceGraph place) Adiciona Lugar.
void	addTransicao(TransitionGraph transicao) Adiciona transição.
void	deselectArc() Deseleciona o Arco.
void	deselectLabel() Deseleciona o Rótulo.
void	deselectPlace() Deseleciona o Lugar.
void	deselectTransition() Deseleciona a Transição.
ArcGraph	getArc(int posicao) Retorna o Arco através da posição.
Label	getLabel(int posicao) Retorna o Rótulo da posição desejada.
int	getNumLabel() Retorna o total de rótulos existentes no array de rótulos.
java.lang.Object	getObjectPosition(int x, int y) Retorna o objeto nas proximidades da posição dada, caso exista senão retorna null.
PlaceGraph	getPlace(int posicao) Retorna Lugar através da posição.
PlaceGraph	getPlace(java.lang.String nome) Retorna Lugar através do nome.
ArcGraph	getSelectedArc() Retorna o Arco correntemente selecionado
Label	getSelectedLabel()
TransitionGraph	getTransition(int posicao) Retorna Transição através da posição.
TransitionGraph	getTransition(java.lang.String nome) Retorna Transição através do Nome.
void	removeLabel(Label label) Remove o rótulo do array de rótulos.
boolean	verifyArcSelected(ArcGraph arc) Verifica se o arco está ligado a um objeto selecionado.
boolean	verifyLabelSelected(Label label) Verifica se o rótulo passado como parâmetro foi o último selecionado.
boolean	verifyPlaceSelected(PlaceGraph place) Verifica se o Lugar passado como parâmetro foi o último selecionado.
boolean	verifyPosition(int x, int y) Retorna true caso exista algum objeto que ocupe as proximidades da posição x, y fornecida.
boolean	verifyTransitionSelected(TransitionGraph trans) Verifica se a Transição passada como parâmetro foi a última selecionada.

Methods inherited from class br.uerj.petrinetanalyzer.common.ImplPetriNetBase

addArco, addLugar, addTransicao, buildMatrizEntradaAndSaida, buildMatrizIncidencia, getArrMarking, getDimensao, getListArcos, getListLugar, getListTransicao, getLugar, getLugar, getMatrizEntrada, getMatrizIncidencia, getMatrizSaida, getNome, getNumArco, getNumLugar, getNumTransicao, getTransicao, getTransicao, removeArco, removeArco, removeArcoAssociadoLugar, removeArcoAssociadoTransicao, removeLugar, removeLugar, removeLugar, removeTransicao, removeTransicao, removeTransicao, setNome

Methods inherited from class java.lang.Object

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

Field Detail

selectedPlace

private int selectedPlace

Informa qual o Lugar Selecionado.

selectedTrans

private int selectedTrans

Informa qual a Transição Selecionada.

selectedArc

private int selectedArc

Informa qual o Arco Selecionado.

selectedLabel

private int selectedLabel

Informa qual o Rótulo Selecionado.

listLabel

private java.util.ArrayList listLabel

Constructor Detail

PetriNetGraph

public PetriNetGraph()

Construtor.

Since:

1.0

Method Detail

addLugar

public void addLugar(PlaceGraph place)

Adiciona Lugar.

Parameters:

place - Lugar

Since:

1.0

addTransicao

public void addTransicao(TransitionGraph transicao)

Adiciona transição.

Parameters:

transicao - Transição

Since:

1.0

addArco

public void addArco(ArcGraph arco)

Adiciona Arco.

Parameters:

arco - Arco

Since:

1.0

addLabel

public void addLabel(Label label)

Adiciona Rótulo.

Parameters:

label -

Since:

2.0

getPlace

public PlaceGraph getPlace(int posicao)

Retorna Lugar através da posição.

Parameters:

posicao - Posição do Lugar na Rede de Petri

Returns:

Lugar Lugar da posição especificada

Since:

1.0

getPlace

public PlaceGraph getPlace(java.lang.String nome)

Retorna Lugar através do nome.

Parameters:

nome - Nome do Lugar

Returns:

Lugar Lugar com o nome fornecido

Since:

1.0

getTransition

public TransitionGraph getTransition(int posicao)

Retorna Transição através da posição.

Parameters:

posicao - Posição da Transição

Returns:

Transição especificada pela posição

Since:

1.0

getTransition

public TransitionGraph getTransition(java.lang.String nome)

Retorna Transição através do Nome.

Parameters:

nome - Nome da Transição

Returns:

Transição especificada pelo nome.

Since:

1.0

getArc

public ArcGraph getArc(int posicao)

Retorna o Arco através da posição.

Overrides:

getArc in class ImplPetriNetBase

Parameters:

posicao - Posição do Arco na Rede de Petri

Returns:

Arco especificado pela posição.

Since:

1.0

getLabel

public Label getLabel(int posicao)

Retorna o Rótulo da posição desejada.

Parameters:

posicao -

Returns:

Rótulo da posição desejada

Since:

2.0

verifyPosition

public boolean verifyPosition(int x,
                              int y)

Retorna true caso exista algum objeto que ocupe as proximidades da posição x, y fornecida.

Parameters:

x - Coordenada x

y - Coordenada y

Returns:

true caso exista algum objeto que ocupe as proximidades do ponto fornecido, e false caso contrário.

Since:

1.0

getObjectPosition

public java.lang.Object getObjectPosition(int x,
                                          int y)

Retorna o objeto nas proximidades da posição dada, caso exista senão retorna null.

Parameters:

x - Coordenada x

y - Coordenada y

Returns:

Objeto nas proximidades da posição dada

Since:

1.0

verifyPlaceSelected

public boolean verifyPlaceSelected(PlaceGraph place)

Verifica se o Lugar passado como parâmetro foi o último selecionado.

Parameters:

place - Lugar

Returns:

Retorna True caso o Lugar passado tenha sido selecionado.

Since:

1.0

verifyTransitionSelected

public boolean verifyTransitionSelected(TransitionGraph trans)

Verifica se a Transição passada como parâmetro foi a última selecionada.

Parameters:

trans - Transição

Returns:

Retorna True caso a Transição passada tenha sido selecionada.

Since:

1.0

verifyArcSelected

public boolean verifyArcSelected(ArcGraph arc)

Verifica se o arco está ligado a um objeto selecionado.

Parameters:

arc - Arco

Returns:

retorna true se o objeto origem do arco estiver selecionado.

Since:

1.0

verifyLabelSelected

public boolean verifyLabelSelected(Label label)

Verifica se o rótulo passado como parâmetro foi o último selecionado.

Parameters:

label - Rótulo

Returns:

Retorna true caso o rótulo passado como parâmetro tenha sido selecionado.

deselectPlace

public void deselectPlace()

Deseleciona o Lugar.

Since:

1.0

deselectTransition

public void deselectTransition()

Deseleciona a Transição.

Since:

1.0

deselectArc

public void deselectArc()

Deseleciona o Arco.

Since:

1.0

deselectLabel

public void deselectLabel()

Deseleciona o Rótulo.

Since:

2.0

getSelectedArc

public ArcGraph getSelectedArc()

Retorna o Arco correntemente selecionado

Returns:

Arco

Since:

1.0

getSelectedLabel

public Label getSelectedLabel()

getNumLabel

public int getNumLabel()

Retorna o total de rótulos existentes no array de rótulos.

Returns:

total de rótulos existentes no array de rótulos

Since:

2.0

removeLabel

public void removeLabel(Label label)

Remove o rótulo do array de rótulos.

Parameters:

label - Rótulo

Since:

2.0