package jcircus.util;

import java.util.ArrayList;
import java.util.List;
import net.sourceforge.czt.circus.ast.ProcessPara;
import net.sourceforge.czt.z.ast.VarDecl;
import net.sourceforge.czt.z.ast.Expr;

/**
 * ProcInfo.java
 *
 * Contains the information of a process definition.
 *
 * @author Angela Freitas
 */
public class ProcInfo {

    /** Process name */
    private String _processName;
    
    /** Process definition */
    private ProcessPara _processPara;
    
    /** Code resulting from the translation of the process definition */
    private String _code;
    
    /** Normalized variable declarations. That is, each VarDecl declares at most
        one variable */
    private List<VarDecl> _parameters;
    
    /** Code for the parameters */
    private List<String> _codeForActuals;
    
    /** Flag indicating if a main is to be created for the process or not. */
    private boolean _createMain;
    
    
    /**
     * Constructor.
     */
    public ProcInfo(String processName, ProcessPara processPara, String code,
            List<VarDecl> parameters, boolean createMain) {
        this._processName = processName;
        this._processPara = processPara;
        this._code = code;
        this._parameters = parameters;
        this._codeForActuals = new ArrayList();
        this._createMain = createMain;
    }
    
    /**
     * Getters
     */
    public String getProcessName() {
        return this._processName;
    }
    
    public ProcessPara getProcessPara() {
        return this._processPara;
    }

    public List<VarDecl> getParameters() {
        return this._parameters;
    }
    
    public List<String> getCodeForActuals() {
        return this._codeForActuals;
    }
    
    public boolean getCreateMain() {
        return this._createMain;
    }
    
    public String getCode() {
        return this._code;
    }

    /**
     * Setters
     */
    public void setCreateMain(boolean createMain) {
        this._createMain = createMain;
    }

    /**
     * Other methods.
     */
    public void addCodeForActuals(int position, String code) {
        this._codeForActuals.add(position, code);
    }
    
    public Expr getTypeOfParameter(int position) {
        return ((VarDecl) _parameters.get(position)).getExpr();
    }
    
}