Esempio n. 1
0
        public void allStep()
        {
            PrgState prg = repo.getCrtPrg();

            while (!prg.getExeStack().empty())
            {
                try
                {
                    while (true)
                    {
                        oneStep(prg);
                        repo.logPrgStateExec();
                    }
                }

                catch (IOException e)
                {
                    throw new Exception(e.Message);
                }
                catch (Exception e)
                {
                    throw new Exception(e.Message);
                }
            }
        }