|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectbr.uff.puro.dct.PreCond
class PreCond
Classe responsável pelas pré-condições de LEP na tabela.
| Field Summary | |
|---|---|
(package private) BoolExpr |
boolExpr
|
(package private) boolean |
inicio
|
(package private) int |
linha
|
(package private) boolean |
padrao
|
(package private) Recebimento |
recebimento
|
(package private) boolean |
verdade
|
| Constructor Summary | |
|---|---|
PreCond()
|
|
| Method Summary | |
|---|---|
BoolExpr |
getBoolExpr()
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. |
Recebimento |
getRecebimento()
Método padrão para obter o objeto da classe desejado. |
boolean |
isInicio()
Método padrão para obter a variável da classe desejada. |
boolean |
isPadrao()
Método padrão para obter a variável da classe desejada. |
boolean |
isVerdade()
Método padrão para obter a variável da classe desejada. |
void |
printPreCond()
Método para imprimir as pré-condições. |
void |
runPreCond(Module mod,
java.util.ArrayList<Trans> trans,
Mensagens[] mensagens,
int idTrans,
int idThread,
java.util.ArrayList<Id> variaveis,
int[] cont)
Método para executar as pré-condições. |
void |
setBoolExpr(BoolExpr boolExpr)
Método padrão para atribuir referência ao objeto desejado. |
void |
setInicio(boolean inicio)
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 |
setPadrao(boolean padrao)
Método padrão para atribuir valor a variável da classe desejada. |
void |
setRecebimento(Recebimento recebimento)
Método padrão para atribuir referência ao objeto desejado. |
void |
setVerdade(boolean verdade)
Método padrão para atribuir valor a variável da classe desejada. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
int linha
Recebimento recebimento
BoolExpr boolExpr
boolean inicio
boolean verdade
boolean padrao
| Constructor Detail |
|---|
PreCond()
| Method Detail |
|---|
public boolean isInicio()
public void setInicio(boolean inicio)
inicio - Valor a ser atribuido à variável.public int getLinha()
public void setLinha(int linha)
linha - Valor a ser atribuido à variável.public boolean isPadrao()
public void setPadrao(boolean padrao)
padrao - Valor a ser atribuido à variável.public Recebimento getRecebimento()
public void setRecebimento(Recebimento recebimento)
recebimento - Referência do objeto a ser atribuida.public boolean isVerdade()
public void setVerdade(boolean verdade)
verdade - Valor a ser atribuido à variável.public void printPreCond()
public void runPreCond(Module mod,
java.util.ArrayList<Trans> trans,
Mensagens[] mensagens,
int idTrans,
int idThread,
java.util.ArrayList<Id> variaveis,
int[] cont)
mod - Módulo em questão.trans - Trans em questão.mensagens - Vetor de mensagens.idTrans - Identificador do Trans.idThread - Identificador da thread.variaveis - Tabela de variáveis de cada thread.cont - Contador do paramentro any.public void setBoolExpr(BoolExpr boolExpr)
boolExpr - Referência do objeto a ser atribuida.public BoolExpr getBoolExpr()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||