br.uerj.petrinetanalyzer.common
Class PlaceBase

java.lang.Object
  br.uerj.petrinetanalyzer.common.PlaceBase

Direct Known Subclasses:

PlaceGraph

public class PlaceBase
extends java.lang.Object

Esta classe é a classe base para definição de Lugares (Places) em uma Rede de Petri.

Author:

Felipe Lino
Data: 09/12/2006
Atualizado: 09/02/2007

Field Summary

private int	fichas Informa o número de fichas no Lugar.
private java.lang.String	identificador Para ser usado no lugar do nome.
private java.lang.String	nome Nome do Lugar (Opcional)
private int	posicao Informa a posição do Lugar.

Constructor Summary

PlaceBase()

PlaceBase(int posicao)
Construtor de PlaceBase.

PlaceBase(int fichas, int posicao)
Construtor de PlaceBase.

PlaceBase(java.lang.String nome, int fichas, int posicao)
Construtor de PlaceBase.

Method Summary

int	getFichas() Retorna o número de fichas do lugar.
java.lang.String	getIdentificador() Retorna identificador.
java.lang.String	getNome() Retorna o nome do Lugar.
int	getPosicao() Retorna a posição do Lugar na matriz.
void	setFichas(int fichas) Seta a quantidade de fichas do Lugar.
void	setNome(java.lang.String nome) Seta o nome do Lugar.
void	setPosicao(int posicao) Seta a posição do Lugar na matriz.
java.lang.String	toString() Retorna String com informações do Lugar.

Methods inherited from class java.lang.Object

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

Field Detail

nome

private java.lang.String nome

Nome do Lugar (Opcional)

posicao

private int posicao

Informa a posição do Lugar. Para auxiliar a representação da Rede de Petri em Matriz.

fichas

private int fichas

Informa o número de fichas no Lugar.

identificador

private java.lang.String identificador

Para ser usado no lugar do nome. Possui o formato: "Pn"

Constructor Detail

PlaceBase

public PlaceBase()

PlaceBase

public PlaceBase(java.lang.String nome,
                 int fichas,
                 int posicao)

Construtor de PlaceBase.

Parameters:

nome - nome do Lugar

fichas - número de fichas do Lugar

posicao - posição na matriz

PlaceBase

public PlaceBase(int fichas,
                 int posicao)

Construtor de PlaceBase.

Não sendo fornecido o nome, um identificado será usado em seu lugar, será nomeado da sguinte forma: "Pn", onde n é a posição.

Parameters:

fichas - número de fichas no Lugar

posicao - posição na matriz

PlaceBase

public PlaceBase(int posicao)

Construtor de PlaceBase.

Número de fichas default é Zero. O identificador usado no lugar do nome é da forma "Pn", onde n é a posição na matriz.

Parameters:

posicao - posição na matriz.

Method Detail

getNome

public java.lang.String getNome()

Retorna o nome do Lugar.

Returns:

nome do Lugar, ou identificador se nenhum nome foi fornecido.

getPosicao

public int getPosicao()

Retorna a posição do Lugar na matriz.

Returns:

posição do Lugar na matriz.

getFichas

public int getFichas()

Retorna o número de fichas do lugar.

Returns:

número de fichas do lugar

getIdentificador

public java.lang.String getIdentificador()

Retorna identificador.

Returns:

identificador no formato "Pn"

setNome

public void setNome(java.lang.String nome)

Seta o nome do Lugar.

Parameters:

nome - Nome do Lugar

setPosicao

public void setPosicao(int posicao)

Seta a posição do Lugar na matriz.

Parameters:

posicao - posição do Lugar na matriz

setFichas

public void setFichas(int fichas)

Seta a quantidade de fichas do Lugar.

Parameters:

fichas - número de fichas do Lugar

toString

public java.lang.String toString()

Retorna String com informações do Lugar.

Overrides:

toString in class java.lang.Object

Returns:

informações do Lugar