| 
org.codehaus.gpars | |||||||
| FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | METHOD | DETAIL: FIELD | METHOD | |||||||
public interface Pool
Represents an actor's thread pool
| Field Summary | |
|---|---|
        java.lang.String | 
        
            POOL_SIZE_MUST_BE_A_POSITIVE_NUMBER
             | 
        
        java.lang.String | 
        
            UNCAUGHT_EXCEPTION_OCCURRED_IN_ACTOR_POOL
             | 
        
| Method Summary | |
|---|---|
            void
         | 
        
            execute(java.lang.Runnable task)
            schedules a new task for processing with the pool  | 
        
            int
         | 
        
            getPoolSize()
            Retrieves the current thread pool size  | 
        
            void
         | 
        
            resetDefaultSize()
            Sets the pool size to the default  | 
        
            void
         | 
        
            resize(int poolSize)
            Resizes the thread pool to the specified value  | 
        
            void
         | 
        
            shutdown()
            Gently stops the pool  | 
        
| Field Detail | 
|---|
public java.lang.String POOL_SIZE_MUST_BE_A_POSITIVE_NUMBER
public java.lang.String UNCAUGHT_EXCEPTION_OCCURRED_IN_ACTOR_POOL
| Method Detail | 
|---|
public void execute(java.lang.Runnable task)
task -  The task to schedule
public int getPoolSize()
public void resetDefaultSize()
public void resize(int poolSize)
poolSize -  The new pool size
public void shutdown()
Copyright © 2008–2012 Václav Pech. All Rights Reserved.