plp.orientadaAspectos1
Class Programa

java.lang.Object
  extended by plp.orientadaAspectos1.Programa

public class Programa
extends java.lang.Object

Classe que representa um programa na linguagem OO.


Constructor Summary
Programa(DecElemento decElemento, Comando comando)
          Construtor.
 
Method Summary
 boolean checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos do programa
 ListaValor executar(AmbienteExecucao ambiente)
          Executa o programa.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Programa

public Programa(DecElemento decElemento,
                Comando comando)
Construtor.

Parameters:
decElemento - A declaraçao de elementos(s)
comando - O comando executado após a declaraçao.
Method Detail

executar

public ListaValor executar(AmbienteExecucao ambiente)
                    throws VariavelNaoDeclaradaException,
                           VariavelJaDeclaradaException,
                           ObjetoNaoDeclaradoException,
                           ObjetoJaDeclaradoException,
                           ProcedimentoJaDeclaradoException,
                           ProcedimentoNaoDeclaradoException,
                           ClasseJaDeclaradaException,
                           ClasseNaoDeclaradaException,
                           EntradaNaoFornecidaException,
                           EntradaInvalidaException,
                           PointcutNaoDeclaradoException,
                           UnsuporttedAdviceAroundForAccessAttributeException
Executa o programa.

Parameters:
ambiente - o ambiente de execução.
Returns:
o ambiente depois de modificado pela execução do programa.
Throws:
EntradaNaoFornecidaException - se não for fornecida a lista de valores de entrada do programa.
UnsuporttedAdviceAroundForAccessAttributeException
VariavelNaoDeclaradaException
VariavelJaDeclaradaException
ObjetoNaoDeclaradoException
ObjetoJaDeclaradoException
ProcedimentoJaDeclaradoException
ProcedimentoNaoDeclaradoException
ClasseJaDeclaradaException
ClasseNaoDeclaradaException
EntradaInvalidaException
PointcutNaoDeclaradoException

checaTipo

public boolean checaTipo(AmbienteCompilacao ambiente)
                  throws VariavelNaoDeclaradaException,
                         VariavelJaDeclaradaException,
                         ProcedimentoNaoDeclaradoException,
                         ProcedimentoJaDeclaradoException,
                         ClasseJaDeclaradaException,
                         ClasseNaoDeclaradaException,
                         EntradaNaoFornecidaException
Realiza a verificacao de tipos do programa

Parameters:
ambiente - o ambiente de compilação.
Returns:
true se o programa está bem tipado; false caso contrario.
Throws:
EntradaNaoFornecidaException - se não for fornecida a lista de valores de entrada do programa.
VariavelNaoDeclaradaException
VariavelJaDeclaradaException
ProcedimentoNaoDeclaradoException
ProcedimentoJaDeclaradoException
ClasseJaDeclaradaException
ClasseNaoDeclaradaException