/*
 * Created on 10-Jun-2005
 *
 */
package jcircus.visitor;

import net.sourceforge.czt.base.visitor.TermVisitor;
import net.sourceforge.czt.circus.visitor.Action1Visitor;
import net.sourceforge.czt.circus.visitor.Action2Visitor;
import net.sourceforge.czt.circus.visitor.ActionDVisitor;
import net.sourceforge.czt.circus.visitor.ActionParaVisitor;
import net.sourceforge.czt.circus.visitor.AssignmentCommandVisitor;
import net.sourceforge.czt.circus.visitor.BasicActionVisitor;
//import net.sourceforge.czt.circus.visitor.BasicChannelSetVisitor; //"Páze antigo"
import net.sourceforge.czt.circus.visitor.BasicChannelSetExprVisitor; //By Sam's
import net.sourceforge.czt.circus.visitor.BasicProcessVisitor;
import net.sourceforge.czt.circus.visitor.CallActionVisitor;
import net.sourceforge.czt.circus.visitor.CallProcessVisitor;
import net.sourceforge.czt.circus.visitor.ChannelDeclVisitor;
import net.sourceforge.czt.circus.visitor.ChannelParaVisitor;
import net.sourceforge.czt.circus.visitor.ChannelSetParaVisitor;
import net.sourceforge.czt.circus.visitor.CommunicationVisitor;
import net.sourceforge.czt.circus.visitor.DotFieldVisitor;
import net.sourceforge.czt.circus.visitor.ExtChoiceActionVisitor;
import net.sourceforge.czt.circus.visitor.GuardedActionVisitor;
import net.sourceforge.czt.circus.visitor.HideProcessVisitor;
import net.sourceforge.czt.circus.visitor.IfGuardedCommandVisitor;
import net.sourceforge.czt.circus.visitor.InputFieldVisitor;
import net.sourceforge.czt.circus.visitor.MuActionVisitor;
import net.sourceforge.czt.circus.visitor.NameSetParaVisitor;
import net.sourceforge.czt.circus.visitor.ParamProcessVisitor;
//import net.sourceforge.czt.circus.visitor.OutputFieldVisitor; //By Angela
import net.sourceforge.czt.circus.visitor.OutputFieldAnnVisitor; //Bái Sammmmmmmmmm
import net.sourceforge.czt.circus.visitor.ParActionVisitor;
import net.sourceforge.czt.circus.visitor.ParProcessVisitor;
import net.sourceforge.czt.circus.visitor.PrefixingActionVisitor;
import net.sourceforge.czt.circus.visitor.Process1Visitor;
import net.sourceforge.czt.circus.visitor.Process2Visitor;
import net.sourceforge.czt.circus.visitor.ProcessDVisitor;
import net.sourceforge.czt.circus.visitor.ProcessParaVisitor;
//import net.sourceforge.czt.circus.visitor.RefChannelSetVisitor; //By Angela
import net.sourceforge.czt.circus.visitor.ChannelSetVisitor; //By Sam!!!!!!!!!
import net.sourceforge.czt.circus.visitor.RenameProcessVisitor;
import net.sourceforge.czt.circus.visitor.VarDeclCommandVisitor;
import net.sourceforge.czt.util.Visitor;
import net.sourceforge.czt.z.visitor.ApplExprVisitor;
import net.sourceforge.czt.z.visitor.AxParaVisitor;
import net.sourceforge.czt.z.visitor.BindExprVisitor;
import net.sourceforge.czt.z.visitor.CondExprVisitor;
import net.sourceforge.czt.z.visitor.ConstDeclVisitor;
import net.sourceforge.czt.z.visitor.Expr0NVisitor;
import net.sourceforge.czt.z.visitor.Expr1Visitor;
import net.sourceforge.czt.z.visitor.Expr2Visitor;
import net.sourceforge.czt.z.visitor.ExprPredVisitor;
import net.sourceforge.czt.z.visitor.FactVisitor;
import net.sourceforge.czt.z.visitor.FreeParaVisitor;
import net.sourceforge.czt.z.visitor.FreetypeVisitor;
import net.sourceforge.czt.z.visitor.InclDeclVisitor;
import net.sourceforge.czt.z.visitor.LatexMarkupParaVisitor;
import net.sourceforge.czt.z.visitor.MemPredVisitor;
import net.sourceforge.czt.z.visitor.NarrParaVisitor;
import net.sourceforge.czt.z.visitor.NegPredVisitor;
import net.sourceforge.czt.z.visitor.NumExprVisitor;
import net.sourceforge.czt.z.visitor.Pred2Visitor;
import net.sourceforge.czt.z.visitor.RefExprVisitor;
import net.sourceforge.czt.z.visitor.SchExprVisitor;
import net.sourceforge.czt.z.visitor.SchTextVisitor;
import net.sourceforge.czt.z.visitor.SpecVisitor;
import net.sourceforge.czt.z.visitor.VarDeclVisitor;

/**
 * @author aff
 *
 */
interface EnvLoadingVisitorInterface extends

	/* Term Tree */
	TermVisitor,
	LatexMarkupParaVisitor,
	NarrParaVisitor,
		//BranchVisitor,
		//ChannelSetVisitor,
			//ApplChannelSetVisitor, 
			BasicChannelSetExprVisitor,
			//RefChannelSetVisitor, //COMENTADO POR SAMUEL
			ChannelSetVisitor, //ACRESCENTADO POR SAMUEL
		//CircusActionVisitor,
			// see tree below
		//CircusProcessVisitor, 
			// see tree below
		CommunicationVisitor, //OK
		//DeclVisitor, 
			ChannelDeclVisitor, 
			ConstDeclVisitor, 
			//InclDeclVisitor, 
			//QualifiedDeclVisitor,		We do not use this. 
			VarDeclVisitor,
		//DirectiveVisitor, 
		//ExprVisitor, 
			// see tree below
		//FieldVisitor, 
			// see tree below
		FreetypeVisitor, 
/*		NameVisitor,
			DeclNameVisitor,
			RefNameVisitor,*/
/*		NameSetVisitor, 
			ApplNameSetVisitor, 
			BasicNameSetVisitor, 
			RefNameSetVisitor,*/ 
		//ParaVisitor, 
			// see tree below
		//ParentVisitor, 
		//PredVisitor, 
			// see tree below
		SchTextVisitor, 
		//SectVisitor, 
			//NarrSectVisitor, 
			//UnparsedZSectVisitor, 
			//ZSectVisitor, 
		SpecVisitor, //OK
		//TypeVisitor, 

/**
 * Circus + Z 
 */
	/* Para Tree */
	// ParaVisitor,
		ActionParaVisitor, //OK
		NameSetParaVisitor,
		AxParaVisitor,
		ChannelParaVisitor,
		ChannelSetParaVisitor,
		//ConjParaVisitor,
		FreeParaVisitor,
		//GivenParaVisitor,
		//LatexMarkupParaVisitor,
		//NarrParaVisitor,
		//OptempParaVisitor,
		//UnparsedParaVisitor,
		ProcessParaVisitor, //OK

/**
 * Circus 
 */
	/* CircusProcess Tree */	
	//CircusProcessVisitor,
		BasicProcessVisitor, //OK
		CallProcessVisitor, //OK
		Process1Visitor, //OK
			HideProcessVisitor, //OK
			RenameProcessVisitor, //OK
			//GuardedProcessVisitor,
			//PrefixingProcessVisitor,
			//MuProcessVisitor,
			ProcessDVisitor, //OK
				//IndexedProcessVisitor, 
				//ParamProcessVisitor,
				//ProcessIteVisitor, 
					//ExtChoiceProcessIteVisitor, 
					//IntChoiceProcessIteVisitor, 
					//ParProcessIteVisitor, 
						//AlphabetisedParallelProcessIteVisitor, 
						//InterleaveProcessIteVisitor, 
						//ParallelProcessIteVisitor,
					//ProcessIdxVisitor, 
						//ExtChoiceProcessIdxVisitor, 
						//IntChoiceProcessIdxVisitor, 
						//ParProcessIdxVisitor, 
							//AlphabetisedParallelProcessIdxVisitor, 
							//InterleaveProcessIdxVisitor,
							//ParallelProcessIdxVisitor, 
						//SeqProcessIdxVisitor, 
					//SeqProcessIteVisitor, 
		Process2Visitor, //OK
			//ExtChoiceProcessVisitor,	Translation Strategy does not consider this case.
			//IntChoiceProcessVisitor,
			ParProcessVisitor,
				//InterleaveProcessVisitor,
				//ParallelProcessVisitor,
				//AlphabetisedParallelProcessVisitor,
			//SeqProcessVisitor,
			
/**
 * Circus 
 */
	/* CircusAction Tree */
	//CircusAction
		BasicActionVisitor, //OK
			//StopActionVisitor,
	        //SkipActionVisitor,
	        //ChaosActionVisitor,
	    Action1Visitor, //OK
	        GuardedActionVisitor, //OK
	        //HideActionVisitor,
	        MuActionVisitor, //OK
	        PrefixingActionVisitor, //OK
	        //SubstitutionActionVisitor,
	        ActionDVisitor, //OK
		        //ActionIteVisitor,
		        	//ExtChoiceActionIteVisitor,
		        	//IntChoiceActionIteVisitor,
		        	//SeqActionIteVisitor,
		        	//ParActionIteVisitor,
		        		//InterleaveActionIteVisitor,
		        		//ParallelActionIteVisitor,
		        		//AlphabetisedParallelActionIteVisitor,
		        //ParamActionVisitor,
	    Action2Visitor, //OK
	        ExtChoiceActionVisitor, //OK
	        //IntChoiceActionVisitor,
	        //SeqActionVisitor,
	        ParActionVisitor, //OK
	        	//InterleaveActionVisitor,
	        	//ParallelActionVisitor,
	        	//AlphabetisedParallelActionVisitor,
        CallActionVisitor, //OK
        //CommandVisitor,
        	// see tree below
        //SchExprActionVisitor,

	/* Field Tree */
	// FieldVisitor,
		InputFieldVisitor, //OK
		DotFieldVisitor, //OK
		//OutputFieldVisitor, //OK //COMENTADO POR SAMUEL, ESSA LINHA FOI BY ANGELA
		OutputFieldAnnVisitor, //ACRESCENTADO POR SAMUEL, SUBSTITUINDO O DE CIMA
			
			
	/* Command Tree */
	//Command
		AssignmentCommandVisitor, //OK
		IfGuardedCommandVisitor, //OK
		//ParamCommandVisitor, 
		//SpecStmtCommandVisitor, 
		VarDeclCommandVisitor, //OK
		
/**
 * Z 
 */
	/* Expr Tree */
	//ExprVisitor,
		BindExprVisitor, //OK
		CondExprVisitor, //OK
		Expr0NVisitor, //OK
			//Expr2NVisitor,
				//ProdExprVisitor,
				//TupleExprVisitor,
		    //SetExprVisitor,
		Expr1Visitor, //OK
			//BindSelExprVisitor,
			//DecorExprVisitor,
			//HideExprVisitor,
			//NegExprVisitor,
			//PowerExprVisitor, 
			//PreExprVisitor, 
			//RenameExprVisitor,
			//ThetaExprVisitor,
			//TupleSelExprVisitor,
		Expr2Visitor, //OK
			ApplExprVisitor,
			//SchExpr2Visitor,
				//AndExprVisitor, 
				//CompExprVisitor,
				//IffExprVisitor,
				//ImpliesExprVisitor,
				//OrExprVisitor,
				//PipeExprVisitor,
				//ProjExprVisitor,
		NumExprVisitor, //OK
		//QntExprVisitor,
			//MuExprVisitor,
			//Qnt1ExprVisitor,
				//Exists1ExprVisitor, 
				//ExistsExprVisitor,
				//ForallExprVisitor, 
				//LambdaExprVisitor,
				//LetExprVisitor,
			//SetCompExprVisitor,
		RefExprVisitor, //OK 
		SchExprVisitor, //OK
		
	/* Pred Tree */
	//PredVisitor, 
		ExprPredVisitor, 
		FactVisitor, //OK 
			//FalsePredVisitor, 
			//TruePredVisitor,
		MemPredVisitor, 
		NegPredVisitor, 
		Pred2Visitor, //OK
			//AndPredVisitor, 
			//IffPredVisitor, 
			//ImpliesPredVisitor, 
			//OrPredVisitor, 
		//QntPredVisitor,
			//Exists1PredVisitor, 
			//ExistsPredVisitor, 
			//ForallPredVisitor,
		
    Visitor {

}