PLP: C:/temp/PLP/eclipse/workspace/ProjetoJava1.5_2006.1/src/plp/imperative2/memory/AmbienteExecucaoImperativa2.java Source File

00001 package plp.imperative2.memory;
00002 
00003 import plp.expressions2.expression.Id;
00004 import plp.imperative1.memory.AmbienteExecucaoImperativa;
00005 
00006 public interface AmbienteExecucaoImperativa2 extends AmbienteExecucaoImperativa {
00007 
00008     public void mapProcedimento(Id idArg, Procedimento procedimentoId) throws ProcedimentoJaDeclaradoException;
00009     public Procedimento getProcedimento(Id idArg) throws ProcedimentoNaoDeclaradoException;
00010 
00011 }