Testes do Grupo 9

README.md

@@ -0,0 +1,68 @@
+Read-Write Sets Implementation
+==============================
+
+[![Gitter](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/fulano7/ProjetoCompiladores?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
+
+Directories
+-----------
+
+```bin``` - build files (e.g., class files). <br/>
+```code``` - instrumentation - ignore. <br/>
+```dat``` - resources (e.g., .xml and .txt configuration files). <br/>
+```docs``` - some documentation. <br/>
+```example-apps``` - sample applications to demo this project. <br/>
+```libs``` - java libraries (.jar files). <br/>
+```results``` - temporary directory to store execution-generated files. <br/>
+```scripts``` - script to use the system. <br/>
+```src``` - source of the read-writes set implementation. <br/>
+```src-tests``` - source of test cases.
+
+Files modified in this fork
+---------------------------
+
+* Added several files under directories ```src-tests/rwsets``` and ```example-apps```. <br/>
+* Added file ```rwset_bugs```.
+* ```src-tests/rwsets/Helper.java``` - Modified <br/>
+* ```src-tests/rwsets/AllTests.java``` - Modified <br/>
+* ```README.txt``` - changed to ```README.md``` and added some stuff. <br/>
+
+Apps used in the tests
+----------------------
+
+* ```Projeto IP``` - small app that models a delivery management system, featuring very simple classes, interfaces and subpackages. <br/>
+* ```Restaurante``` - same as ```Projeto IP```, with all the code in a single package. <br/>
+* ```Projeto PG``` - complex app that models graphic processing of surfaces. <br/>
+* ```Projeto GDI``` - simple app that connects to an Oracle database and inserts one row into one table.
+
+Configuration
+-------------
+
+Please follow configuration instructions in the following files for
+your setup.
+
+Please choose either ```Mac OS```, ```Unix``` or ```Windows```, if you want our support. Detailed
+setup information can be found at ```docs/CONFIG_MAC```, ```docs/CONFIG_UNIX``` and ```docs/CONFIG_WINDOWS```.
+
+Please use ```JDK 1.7```.  We apologize for this inconvenience, we should
+address this limitation in the future. 
+
+Documentation
+-------------
+
+```docs/RWSETS.txt``` - summarized explanation of the read-write sets algorithm. <br/>
+```docs/TRY.txt``` - info on how to use the system from the command line.
+
+Known issues
+------------
+
+- Unpredictable results for ```JDK``` different than ```1.7```.
+- The directory where ```Java Runtime``` libraries are located is hardcoded in ```wala.properties```.
+- Doesn't provide support for ```implements``` clause.
+- Command-line script only handles ```Unix``` and ```Mac OS``` installations. Run scripts on Windows requires [Cygwin](https://www.cygwin.com) installed.
+- ./scripts/runRegressionTests breaks (mab@cin.ufpe.br is working on this).
+- 2 tests are ignored (mab@cin.ufpe.br is working on this).
+
+Questions
+---------
+
+if688-l@cin.ufpe.br

example-apps/src/IP/br/ufpe/cin/dados/IRepositorio.java

@@ -0,0 +1,19 @@
+package br.ufpe.cin.dados;
+
+import java.util.Iterator;
+
+import br.ufpe.cin.exception.ClienteJaCadastradoException;
+import br.ufpe.cin.exception.ClienteNaoCadastradoException;
+import br.ufpe.cin.exception.PedidoNaoExistenteException;
+import br.ufpe.cin.exception.ProdutoJaCadastradoException;
+import br.ufpe.cin.exception.ProdutoNaoCadastradoException;
+
+public interface IRepositorio<T> {
+	void inserir(T valor) throws ClienteJaCadastradoException,
+			ProdutoJaCadastradoException;
+
+	void remover(T valor) throws ClienteNaoCadastradoException,
+			PedidoNaoExistenteException, ProdutoNaoCadastradoException;
+
+	Iterator<T> procurar(T valor);
+}

example-apps/src/IP/br/ufpe/cin/dados/RepositorioClientesArray.java

@@ -0,0 +1,65 @@
+package br.ufpe.cin.dados;
+
+import java.util.Iterator;
+
+import br.ufpe.cin.exception.ClienteJaCadastradoException;
+import br.ufpe.cin.exception.ClienteNaoCadastradoException;
+import br.ufpe.cin.restaurante.Cliente;
+
+public class RepositorioClientesArray implements IRepositorio<Cliente> {
+	private Cliente[] clientes;
+	private int indice;
+
+	public RepositorioClientesArray(int tamanhoArray) {
+		this.clientes = new Cliente[tamanhoArray];
+		this.indice = 0;
+	}
+
+	public void inserir(Cliente cliente)
+			throws ClienteJaCadastradoException {
+		if (this.procurar(cliente.getTelefone()) == null) {
+			clientes[indice] = cliente;
+			indice++;
+		} else {
+			throw new ClienteJaCadastradoException();
+		}
+	}
+
+	public void remover(Cliente cliente) throws ClienteNaoCadastradoException {
+		if (this.procurar(cliente.getTelefone()) == null) {
+			throw new ClienteNaoCadastradoException();
+		} else {
+			clientes[this.getPosicao(cliente)] = clientes[indice - 1];
+			clientes[indice - 1] = null;
+			indice--;
+
+		}
+	}
+
+	private Cliente procurar(String telefone) {
+		Cliente retorno = null;
+		boolean achou = false;
+		for (int i = 0; i < indice && !achou; i++) {
+			if (clientes[i].getTelefone().equals(telefone)) {
+				retorno = clientes[i];
+			}
+		}
+		return retorno;
+	}
+
+	private int getPosicao(Cliente cliente) {
+		int resposta = 0;
+		for (int i = 0; i < indice; i++) {
+			if (clientes[i].getTelefone() == cliente.getTelefone()) {
+				resposta = i;
+			}
+		}
+		return resposta;
+	}
+
+	@Override
+	public Iterator<Cliente> procurar(Cliente valor) {
+		// TODO Auto-generated method stub
+		return null;
+	}
+}

example-apps/src/IP/br/ufpe/cin/dados/RepositorioPedidosArray.java

@@ -0,0 +1,59 @@
+package br.ufpe.cin.dados;
+
+import java.util.Iterator;
+
+import br.ufpe.cin.exception.PedidoNaoExistenteException;
+import br.ufpe.cin.restaurante.Pedido;
+
+public class RepositorioPedidosArray {
+  //  implements IRepositorio<Pedido>
+	private Pedido[] pedidos;
+	private int indice;
+
+	public RepositorioPedidosArray(int tamanhoArray) {
+		this.pedidos = new Pedido[tamanhoArray];
+		this.indice = 0;
+	}
+
+	public void inserir(Pedido pedido) {
+		this.pedidos[indice] = pedido;
+		this.indice++;
+	}
+
+	public void remover(Pedido pedido)
+			throws PedidoNaoExistenteException {
+		if (this.procurar(pedido.getCodigo()) == null) {
+			throw new PedidoNaoExistenteException();
+		} else {
+			pedidos[this.getPosicao(pedido)] = pedidos[indice - 1];
+			pedidos[indice - 1] = null;
+			indice--;
+
+		}
+	}
+
+	private Pedido procurar(String codigo) {
+		Pedido retorno = null;
+		boolean achou = false;
+		for (int i = 0; i < indice && !achou; i++) {
+			if (pedidos[i].getCodigo().equals(codigo)) {
+				retorno = pedidos[i];
+			}
+		}
+		return retorno;
+	}
+
+	private int getPosicao(Pedido pedido) {
+		int posicao = 0;
+		for (int i = 0; i < indice; i++) {
+			if (pedidos[i].getCodigo() == pedido.getCodigo()) {
+				posicao = i;
+			}
+		}
+		return posicao;
+	}
+
+	public Iterator<Pedido> procurar(Pedido valor) {
+		return null;
+	}
+}

example-apps/src/IP/br/ufpe/cin/dados/RepositorioProdutosArray.java

@@ -0,0 +1,67 @@
+package br.ufpe.cin.dados;
+
+import java.util.Iterator;
+
+import br.ufpe.cin.exception.ProdutoJaCadastradoException;
+import br.ufpe.cin.exception.ProdutoNaoCadastradoException;
+import br.ufpe.cin.restaurante.Produto;
+
+public class RepositorioProdutosArray implements IRepositorio<Produto>{
+
+	private Produto[] produtos;
+	private int indice;
+
+	public RepositorioProdutosArray(int tamanhoArray) {
+		this.produtos = new Produto[tamanhoArray];
+		this.indice = 0;
+	}
+
+	public void inserir(Produto produto)
+			throws ProdutoJaCadastradoException {
+		if (this.procurar(produto.getCodigo()) == null) {
+			produtos[indice] = produto;
+			indice++;
+		} else {
+			throw new ProdutoJaCadastradoException();
+		}
+	}
+
+	public void remover(Produto produto)
+			throws ProdutoNaoCadastradoException {
+		if (this.procurar(produto.getCodigo()) == null) {
+			throw new ProdutoNaoCadastradoException();
+		} else {
+			produtos[this.getPosicao(produto)] = produtos[indice - 1];
+			produtos[indice - 1] = null;
+			indice--;
+
+		}
+	}
+
+	private Produto procurar(String codigo) {
+		Produto retorno = null;
+		boolean achou = false;
+		for (int i = 0; i < indice && !achou; i++) {
+			if (produtos[i].getCodigo().equals(codigo)) {
+				retorno = produtos[i];
+			}
+		}
+		return retorno;
+	}
+
+	private int getPosicao(Produto produto) {
+		int resposta = 0;
+		for (int i = 0; i < indice; i++) {
+			if (produtos[i].getCodigo() == produto.getCodigo()) {
+				resposta = i;
+			}
+		}
+		return resposta;
+	}
+
+	@Override
+	public Iterator<Produto> procurar(Produto valor) {
+		// TODO Auto-generated method stub
+		return null;
+	}
+}

example-apps/src/IP/br/ufpe/cin/exception/ClienteJaCadastradoException.java

@@ -0,0 +1,13 @@
+package br.ufpe.cin.exception;
+
+public class ClienteJaCadastradoException extends Exception{
+
+	/**
+	 * 
+	 */
+	private static final long serialVersionUID = -6490933969455438764L;
+
+	public ClienteJaCadastradoException(){
+		super("O cliente ja esta cadastrado.");
+	}
+}

example-apps/src/IP/br/ufpe/cin/exception/ClienteNaoCadastradoException.java

@@ -0,0 +1,13 @@
+package br.ufpe.cin.exception;
+
+public class ClienteNaoCadastradoException extends Exception{
+
+	/**
+	 * 
+	 */
+	private static final long serialVersionUID = 4855606300053472516L;
+
+	public  ClienteNaoCadastradoException(){
+	super("Cliente nao cadastrado.");
+	}
+}

example-apps/src/IP/br/ufpe/cin/exception/PedidoNaoExistenteException.java

@@ -0,0 +1,13 @@
+package br.ufpe.cin.exception;
+
+public class PedidoNaoExistenteException extends Exception{
+
+	/**
+	 * 
+	 */
+	private static final long serialVersionUID = 9143022182046227046L;
+
+	public PedidoNaoExistenteException(){
+		super("Pedido nao existente.");
+	}
+}

example-apps/src/IP/br/ufpe/cin/exception/ProdutoJaCadastradoException.java

@@ -0,0 +1,13 @@
+package br.ufpe.cin.exception;
+
+public class ProdutoJaCadastradoException extends Exception {
+
+	/**
+	 * 
+	 */
+	private static final long serialVersionUID = 3967223092703092831L;
+
+	public ProdutoJaCadastradoException() {
+		super("Produto ja cadastrado.");
+	}
+}