📄 placeregistercommand.java
字号:
package SOMA.naming.place;
import SOMA.network.connection.Command;
/** Comando di registrazione del {@link PlaceNameService PNS} di un place presso il PNS del default place.
*
* @author Livio Profiri
*/
public class PlaceRegisterCommand extends Command
{
/** @serial*/
protected PlaceInfo myPlaceInfo;
/** Costruttore */
public PlaceRegisterCommand ( PlaceInfo myPlaceInfo )
{
this.myPlaceInfo = myPlaceInfo;
System.out.println( "Register command " + myPlaceInfo + " created " );
}
/** Registra il place e gli spedisce un {@link PlaceRefreshCommand}.
*
* <P> Se un place con lo stesso nome era gia' presente, gli viene spedito un messaggio di errore.
*/
public void run()
{
env.out.println( "Register command " + myPlaceInfo + " running " );
//env.out.println( "Environment: " + env );
// Verifico che non sia gi
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -