br.uff.puro.dct
Class Trans

java.lang.Object
  br.uff.puro.dct.Trans

 class Trans
extends java.lang.Object

Classe responsável pelas transições de LEP na tabela.

Author:

Rafaelli de C. Coutinho , Ubiratam C. de Paula Junior e Carlos Bazilio Martins

Field Summary

(package private) java.util.ArrayList<Action>	acao
(package private) boolean	executado
(package private) int	linha
(package private) PreCond	preCond

Constructor Summary

Trans()

Method Summary

java.util.ArrayList<Action>	getAcao() Método padrão para obter o objeto da classe desejado.
int	getLinha() Método padrão para obter a variável da classe desejada.
PreCond	getPreCond() Método padrão para obter o objeto da classe desejado.
boolean	isExecutado() Método padrão para obter a variável da classe desejada.
void	printTrans() Método para imprimir as transições.
void	runTrans(Module mod, java.util.ArrayList<Trans> trans, Mensagens[] mensagens, int idTrans, int idThread, JanelaExibicao j, java.util.ArrayList<Send> enviadas, java.util.ArrayList<Id> variaveis, int[] cont) Método para executar as trnsições;
void	setAcao(java.util.ArrayList<Action> acao) Método padrão para atribuir referência ao objeto desejado.
void	setExecutado(boolean executado) Método padrão para atribuir valor a variável da classe desejada.
void	setLinha(int linha) Método padrão para atribuir valor a variável da classe desejada.
void	setPreCond(PreCond preCond) Método padrão para atribuir referência ao objeto desejado.

Methods inherited from class java.lang.Object

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

Field Detail

linha

int linha

preCond

PreCond preCond

acao

java.util.ArrayList<Action> acao

executado

boolean executado

Constructor Detail

Trans

Trans()

Method Detail

getLinha

public int getLinha()

Método padrão para obter a variável da classe desejada.

Returns:

Retornar a variável desejada.

setLinha

public void setLinha(int linha)

Método padrão para atribuir valor a variável da classe desejada.

Parameters:

linha - Valor a ser atribuido à variável.

getPreCond

public PreCond getPreCond()

Método padrão para obter o objeto da classe desejado.

Returns:

Retornar o objeto desejado.

setPreCond

public void setPreCond(PreCond preCond)

Método padrão para atribuir referência ao objeto desejado.

Parameters:

preCond - Referência do objeto a ser atribuida.

getAcao

public java.util.ArrayList<Action> getAcao()

Método padrão para obter o objeto da classe desejado.

Returns:

Retornar o objeto desejado.

setAcao

public void setAcao(java.util.ArrayList<Action> acao)

Método padrão para atribuir referência ao objeto desejado.

Parameters:

acao - Referência do objeto a ser atribuida.

printTrans

public void printTrans()

Método para imprimir as transições.

runTrans

public void runTrans(Module mod,
                     java.util.ArrayList<Trans> trans,
                     Mensagens[] mensagens,
                     int idTrans,
                     int idThread,
                     JanelaExibicao j,
                     java.util.ArrayList<Send> enviadas,
                     java.util.ArrayList<Id> variaveis,
                     int[] cont)

Método para executar as trnsições;

Parameters:

mod - Módulo em questão.

trans - Trans a ser executado.

mensagens - Vetor de mensagens.

idThread - Identificação da thread.

j - Objeto referente a janela principal.

enviadas - Conjunto de mensagens enviadas.

variaveis - Tabela de variáveis de cada thread.

cont - Contador do paramentro any.

isExecutado

public boolean isExecutado()

Método padrão para obter a variável da classe desejada.

Returns:

Retornar a variável desejada.

setExecutado

public void setExecutado(boolean executado)

Método padrão para atribuir valor a variável da classe desejada.

Parameters:

executado - Valor a ser atribuido à variável.