Esempio n. 1
0
        public bool visit(SWLWorkflowNewSemaphore <bool> node)
        {
            Semaphore s = new Semaphore(node.init, int.MaxValue);

            dict_semaphore [node.sem_id] = s;
            return(true);
        }
        public bool visit(SWLWorkflowNewSemaphore <bool> node)
        {
            Console.WriteLine("NEW SEMAPHORE");
            Semaphore s = new Semaphore(node.init, int.MaxValue);

            dict_semaphore [node.sem_id] = s;
            return(true);
        }