📄 server.java
字号:
/* * Server.java * * Created on 26. oktober 2005, 17:01 * * To change this template, choose Tools | Options and locate the template under * the Source Creation and Management node. Right-click the template and choose * Open. You can then make changes to the template in the Source Editor. */package backup.server;import java.rmi.*;import backup.model.*;import java.io.File;import backup.client.Gui;import backup.client.*;import backup.model.*;import java.util.Vector;import java.io.IOException;import java.io.FileNotFoundException;/** * * @author Kim Stenbo Nielsen */public interface Server extends Remote { public boolean getFile(FileTarget fileTarget, BackupIso source) throws RemoteException; public Vector<BackupIso> getFileList() throws RemoteException; public boolean login(FileClerc fc) throws RemoteException; public void confirmBackup(BackupIso iso) throws RemoteException;}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -