|
|||||||||
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 |