001    package net.minecraft.src;
002    
003    public interface IServer
004    {
005        int getOrSetIntProperty(String var1, int var2);
006    
007        String getOrSetProperty(String var1, String var2);
008    
009        void setArbitraryProperty(String var1, Object var2);
010    
011        void saveSettingsToFile();
012    
013        String getSettingsFilePath();
014    
015        String getHostName();
016    
017        /**
018         * never used. Can not be called "getServerPort" is already taken
019         */
020        int getMyServerPort();
021    
022        /**
023         * minecraftServer.getMOTD is used in 2 places instead (it is a non-virtual function which returns the same thing)
024         */
025        String getServerMOTD();
026    
027        String getMinecraftVersion();
028    
029        int getPlayerListSize();
030    
031        int getMaxPlayers();
032    
033        String[] getAllUsernames();
034    
035        String getFolderName();
036    
037        /**
038         * rename this when a patch comes out which uses it
039         */
040        String returnAnEmptyString();
041    
042        String executeCommand(String var1);
043    
044        boolean doLogInfoEvent();
045    
046        void logInfoMessage(String var1);
047    
048        void logWarningMessage(String var1);
049    
050        void logSevereEvent(String var1);
051    
052        void logInfoEvent(String var1);
053    }