br.uff.puro.dct
Class PreCond

java.lang.Object
  extended by br.uff.puro.dct.PreCond

 class PreCond
extends java.lang.Object

Classe responsável pelas pré-condições de LEP na tabela.

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

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

linha

int linha

recebimento

Recebimento recebimento

boolExpr

BoolExpr boolExpr

inicio

boolean inicio

verdade

boolean verdade

padrao

boolean padrao
Constructor Detail

PreCond

PreCond()
Method Detail

isInicio

public boolean isInicio()
Método padrão para obter a variável da classe desejada.

Returns:
Retornar a variável desejada.

setInicio

public void setInicio(boolean inicio)
Método padrão para atribuir valor a variável da classe desejada.

Parameters:
inicio - Valor a ser atribuido à variável.

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.

isPadrao

public boolean isPadrao()
Método padrão para obter a variável da classe desejada.

Returns:
Retornar a variável desejada.

setPadrao

public void setPadrao(boolean padrao)
Método padrão para atribuir valor a variável da classe desejada.

Parameters:
padrao - Valor a ser atribuido à variável.

getRecebimento

public Recebimento getRecebimento()
Método padrão para obter o objeto da classe desejado.

Returns:
Retornar o objeto desejado.

setRecebimento

public void setRecebimento(Recebimento recebimento)
Método padrão para atribuir referência ao objeto desejado.

Parameters:
recebimento - Referência do objeto a ser atribuida.

isVerdade

public boolean isVerdade()
Método padrão para obter a variável da classe desejada.

Returns:
Retornar a variável desejada.

setVerdade

public void setVerdade(boolean verdade)
Método padrão para atribuir valor a variável da classe desejada.

Parameters:
verdade - Valor a ser atribuido à variável.

printPreCond

public void printPreCond()
Método para imprimir as pré-condições.


runPreCond

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

Parameters:
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.

setBoolExpr

public void setBoolExpr(BoolExpr boolExpr)
Método padrão para atribuir referência ao objeto desejado.

Parameters:
boolExpr - Referência do objeto a ser atribuida.

getBoolExpr

public BoolExpr getBoolExpr()
Método padrão para obter o objeto da classe desejado.

Returns:
Retornar o objeto desejado.