Dia 09/04/2010:
(*1*) EM ACT:
	1. Nenhum erro de compilao;
	2. A traduo est IDNTICA ao JCircus implementado por Angela Freitas
OK [1]

(*2*) EM ActionParallelism:

	1. Erros de compilao:
		1. Mtodo duplicado "private CircusInteger axdef ()";

	2. OBSERVAO: Os cdigos gerados para ActionParallelism, no JCircus original, de Angela, esto com 
erros de compilao tambm.

	3. Foram gerados os seguintes cdigos para ActionParallelism
		JCircusAngela:
			1. AxiomaticDefinitions.java
			2. AP_P.java
			3. CircusInteger.java
			4. Color.java
			5. Typing.java
		JCircusNewParser:
			1. Main_APP.java
			2. AxiomaticDefinitions.java
			3. Gui_APP.java
			4. APP.java
			5. CircusInteger.java
			6. Color.java
			7. Type.java
	4. Diferenas entre os cdigos gerados
		AxiomaticDefinitions: Os cdigos esto IDNTICOS
		Color: Os cdigos esto IDNTICOS
		CircusInteger: Os cdigos esto IDNTICOS
		Type: Os cdigos esto IDNTICOS
		APP/AP_P: Os cdigos so QUASE IDNTICOS, a diferena  a duplicao do mtodo axdef
Concluso: O nico problema  o mtodo duplicado axdef

(*3*) ActionParEx

(*4*) Dot
	1. Main_DotP.java/Main_Dot_P.java:
		1.1 Erro de compilao na linha de "new DotP" (mas esta est idntica em Main_Dot_P, de JCircusAngela)
		1.2 Os parmetros de chanInfo_gc1.put esto diferentes nos dois Main_Dot(_?)P. 
		Onde  put(new Integer(0), new Integer(1)), era para ser
		put(new Integer(17), new Integer(1))
(*4*) Ex1

(*5*) ExtMultiSingleMod

(*6*) Fibonacci

(*7*) GCD

(*8*) GenChannel
	1. Em Main_GenChannelP:
		1.1 Os parmetros de chanInfo_g[?].put esto diferentes nos dois Main_GenChannel
		1.2 Erro de compilao na linha da chamada do construtor
	2. Sem erros em GenChannelP
			
	3. Em Gui_GenChannelP, erros de compilao, mas cdigo idntico ao original
		
	(Os demais cdigos esto idnticos aos de JCircusAngela)
	
(*9*) Guarded

(*10*) LocalEnv
	1. Gui_LocalEnvP e Main_LocalEnvP no foram gerados por JCircusAngela, portanto no os checarei
	2. Erros de compilao em LocalEnv:
		2.1. Duplicao do mtodo axdef (mesmo erro de especificaes anteriores)
		2.2. Outros erros de compilao decorrentes de falhas do JCircus anterior. Por exemplo:
			public I_0 (Colour x1, Colour x2, Colour x3CircusInteger ap, CircusInteger lve){
		
		Saliente-se que o JCircus implementado por Angela tambm gera esta especificao com erros de compilao

(*14*) NameReuse
	1. Main_NameReuseP e Gui_NameReuseP no foram considerados para esta verificao, 
	pois os seus correspondentes no JCircus anterior no foram gerados;
	2. Erro nico: Duplicao do mtodo lconst(). Mesmo problema de especificaes anteriores
	
(*15*) ParActionsComm
	Sem erros de compilao
(*21*) SyncOnMultiple
	Erro de checagem de tipo