|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Uses of Attributi in GestoreNomi |
| Methods in GestoreNomi that return Attributi | |
Attributi |
GestoreNomi.cerca(java.lang.String url)
cerca il server richiesto dall'utente |
| Methods in GestoreNomi with parameters of type Attributi | |
void |
GestoreNomi.Registra(java.lang.String url,
Attributi p)
permette di registrare un server |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||