package jcircus.parallelism;

import java.util.List;

import javax.swing.JOptionPane;

import net.sourceforge.czt.circus.ast.ActionPara;
import net.sourceforge.czt.circus.ast.BasicProcess;
import net.sourceforge.czt.circus.ast.CircusStateAnn;
import net.sourceforge.czt.circus.ast.OnTheFlyDefAnn;
import net.sourceforge.czt.circus.ast.SkipAction;
import net.sourceforge.czt.circus.util.Factory;
import net.sourceforge.czt.z.ast.AxPara;
import net.sourceforge.czt.z.ast.Box;
import net.sourceforge.czt.z.ast.Decl;
import net.sourceforge.czt.z.ast.ParaList;
import net.sourceforge.czt.z.ast.TruePred;
import net.sourceforge.czt.z.ast.ZDeclList;
import net.sourceforge.czt.z.ast.ZNameList;
import net.sourceforge.czt.z.ast.ZParaList;
import net.sourceforge.czt.z.ast.ZSchText;

public class TestBasicProcess {
	static Factory f = new Factory ();
	public static void main (String args []) { //Classe que cria um processo básico com main action válida e estado válido

//*******************CRIAÇÃO DA MAIN ACTION DO PROCESSO BÁSICO
		OnTheFlyDefAnn otfda = f.createOnTheFlyDefAnn();
		SkipAction mainAction = f.createSkipAction();
		mainAction.getAnns().add(otfda);
		ActionPara mainActionPara = f.createActionPara();
		mainActionPara.setName(f.createZName("$$mainAction"));
		mainActionPara.setCircusAction(mainAction);

//*****************CRIAÇÃO DO ESTADO DO PROCESSO BÁSICO
		CircusStateAnn csa = f.createCircusStateAnn(); //Assinatura que deve ser colocada em 
		AxPara newPara = f.createAxPara();
		ZSchText st1 = f.createZSchText();
		ZDeclList decllist1 = f.createZDeclList();
		ZNameList namelist1 = f.createZNameList();
		namelist1.add(f.createZName("$$defaultSt"));
		decllist1.add(f.createConstDecl(f.createZName("%%defaultSt"), f.createNumExpr()));
		newPara.setBox(Box.AxBox);
		newPara.setNameList(namelist1); //como demos um addAll(decllist2), é como se ele tivesse acrescentando as duas listas
		ZSchText zschtext = f.createZSchText();
		zschtext.setDeclList(decllist1);
		TruePred truePred = f.createTruePred();
		zschtext.setPred(truePred);
		newPara.setSchText(zschtext);
		AxPara statePara = newPara;
		statePara.getAnns().add(csa);
//**********************************************************
		ZParaList paraList = f.createZParaList();
		paraList.add(mainActionPara);
		paraList.add(statePara);

		BasicProcess bp = f.createBasicProcess();
		bp.setParaList(paraList);
		//otfda.
		List ptfp = bp.getOnTheFlyPara();
	}
}