package jcircus.implementationtemplates;

import net.sourceforge.czt.circus.ast.*;
import net.sourceforge.czt.circuspatt.ast.JokerProcess;
import net.sourceforge.czt.z.ast.AxPara;
import net.sourceforge.czt.z.ast.Expr;
import net.sourceforge.czt.z.ast.ZDeclList;
import net.sourceforge.czt.z.ast.ZExprList;
import net.sourceforge.czt.z.ast.ZName;
import net.sourceforge.czt.z.ast.ZNameList;
import net.sourceforge.czt.z.ast.ZParaList;

public class ProcessesTemplate {
	public void templatetotal (CircusProcess process) {
		if (process instanceof Process1) {
			if (process instanceof RenameProcess) {
				RenameProcess rp = (RenameProcess)process;
				CircusProcess proc = rp.getCircusProcess();
				AssignmentPairs asspairs = rp.getAssignmentPairs();
				ZNameList listOfPairs = asspairs.getZLHS();
				ZExprList listOfExprs = asspairs.getZRHS();
				//TODO the rest
			}
			else if (process instanceof ProcessD) {
				if (process instanceof ParamProcess) {
					ParamProcess pp = (ParamProcess)process;
					CircusProcess cp = pp.getCircusProcess();
					BasicProcess cbp = pp.getCircusBasicProcess();
					ZDeclList declList = pp.getZDeclList();
					//TODO the rest
				}
				else if (process instanceof ProcessIdx) {
					if (process instanceof AlphabetisedParallelProcessIdx) {
						AlphabetisedParallelProcessIdx appi = (AlphabetisedParallelProcessIdx) process;
						ChannelSet chanSet = appi.getChannelSet();
						BasicProcess bp = appi.getCircusBasicProcess();
						CircusProcess cp = appi.getCircusProcess();
						ZDeclList declList = appi.getZDeclList();
						//TODO the rest
					}
					else if (process instanceof ExtChoiceProcessIdx) {
						
					}
					else if (process instanceof IntChoiceProcessIdx) {
						
					}
					else if (process instanceof ParProcessIdx) {
						if (process instanceof InterleaveProcessIdx) {
							
						}
						else if (process instanceof ParallelProcessIdx) {
							
						}
					}
					else if (process instanceof SeqProcessIdx) {
						
					}
				}
				else if (process instanceof ProcessIte) {
					if (process instanceof AlphabetisedParallelProcessIte) {
						
					}
					else if (process instanceof ExtChoiceProcessIte) {
						
					}
					else if (process instanceof IntChoiceProcessIte) {
						
					}
					else if (process instanceof ParProcessIte) {
						if (process instanceof InterleaveProcessIte) {
							
						}
						else if (process instanceof ParallelProcessIte) {
							
						}
					}
					else if (process instanceof SeqProcessIte) {
						
					}
				}
			}
			else if (process instanceof HideProcess) {
				
			}
			else if (process instanceof IndexedProcess) {
				
			}
		}
		else if (process instanceof Process2) {
			if (process instanceof AlphabetisedParallelProcess) {
				
			}
			else if (process instanceof ExtChoiceProcess) {
				
			}
			else if (process instanceof IntChoiceProcess) {
				
			}
			else if (process instanceof ParProcess) {
				if (process instanceof InterleaveProcess) {
					
				}
				else if (process instanceof ParallelProcess) {
					
				}
			}
			else if (process instanceof SeqProcess) {
				
			}
		}
		else if (process instanceof BasicProcess) {
			BasicProcess bp = (BasicProcess) process;
			AxPara statePara = bp.getStatePara();
			ZName stateName = bp.getStateParaZName();
			CircusAction mainAction = bp.getMainAction();
			ZParaList actionParas = bp.getZParaList();
			//TODO the rest
		}
		else if (process instanceof CallProcess) {
			CallProcess cp = (CallProcess) process;
			Expr ce = cp.getCallExpr();
			ZExprList actuals = cp.getZActuals();
			CallUsage callusage = cp.getUsage();
			//TODO the rest
		}
		else if (process instanceof JokerProcess) {
			JokerProcess jp = (JokerProcess) process;
			String jokerId = jp.getId();
			String jokerName = jp.getName();
			//TODO the rest
		}
	}
}