|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use WaitAndTimeout | |
| SOMA.gui._theAgent | |
| Uses of WaitAndTimeout in SOMA.gui._theAgent |
| Fields in SOMA.gui._theAgent declared as WaitAndTimeout | |
protected WaitAndTimeout |
TheAgent.exitSemaphore
"Semaforo" su cui attendere prima di uscire. |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||