mcMMO/vMinecraftUsers.java

399 lines
14 KiB
Java
Raw Normal View History

import java.io.*;
import java.util.ArrayList;
import java.util.logging.Level;
import java.util.logging.Logger;
import java.util.Scanner;
2010-12-01 22:15:37 +01:00
public class vMinecraftUsers {
private static volatile vMinecraftUsers instance;
protected static final Logger log = Logger.getLogger("Minecraft");
String file = "vminecraftusers.txt";
private PropertiesFile properties;
String location = "vminecraftusers.txt";
2010-12-08 05:00:32 +01:00
public static PlayerList players = new PlayerList();
public void loadUsers(){
File theDir = new File("vminecraftusers.txt");
if(!theDir.exists()){
properties = new PropertiesFile("vminecraftusers.txt");
FileWriter writer = null;
try {
writer = new FileWriter(location);
writer.write("#Storage place for user information\r\n");
writer.write("#username:nickname:suffix:tag:ignore,list,names:alias,commands,here\r\n");
} catch (Exception e) {
log.log(Level.SEVERE, "Exception while creating " + location, e);
} finally {
try {
if (writer != null) {
writer.close();
}
} catch (IOException e) {
log.log(Level.SEVERE, "Exception while closing writer for " + location, e);
}
}
} else {
properties = new PropertiesFile("vminecraftusers.txt");
try {
properties.load();
} catch (IOException e) {
log.log(Level.SEVERE, "Exception while loading vminecraftusers.txt", e);
}
}
}
public boolean doesPlayerExist(String player) {
try {
Scanner scanner = new Scanner(new File(location));
while (scanner.hasNextLine()) {
String line = scanner.nextLine();
if (line.startsWith("#") || line.equals("") || line.startsWith("")) {
continue;
}
String[] split = line.split(":");
if (!split[0].equalsIgnoreCase(player)) {
continue;
}
return true;
}
scanner.close();
} catch (Exception e) {
log.log(Level.SEVERE, "Exception while reading " + location + " (Are you sure you formatted it correctly?)", e);
}
return false;
}
public static void addUser(Player player){
players.addPlayer(player);
}
public static vMinecraftUsers getInstance() {
if (instance == null) {
instance = new vMinecraftUsers();
}
return instance;
}
2010-12-01 22:15:37 +01:00
public static void getRow(){
}
}
//=====================================================================
//Class: PlayerList
//Use: Encapsulates the player list
//Author: cerevisiae
//=====================================================================
class PlayerList
{
protected static final Logger log = Logger.getLogger("Minecraft");
ArrayList<PlayerProfile> players;
//=====================================================================
//Function: PlayerList
//Input: Player player: The player to create a profile object for
//Output: none
//Use: Initializes the ArrayList
//=====================================================================
public PlayerList() { players = new ArrayList<PlayerProfile>(); }
//=====================================================================
//Function: addPlayer
//Input: Player player: The player to add
//Output: None
//Use: Add a profile of the specified player
//=====================================================================
public void addPlayer(Player player)
{
players.add(new PlayerProfile(player));
}
//=====================================================================
//Function: removePlayer
//Input: Player player: The player to remove
//Output: None
//Use: Remove the profile of the specified player
//=====================================================================
public void removePlayer(Player player)
{
players.remove(findProfile(player));
}
//=====================================================================
//Function: findProfile
//Input: Player player: The player to find's profile
//Output: PlayerProfile: The profile of the specified player
//Use: Get the profile for the specified player
//=====================================================================
2010-12-08 05:00:32 +01:00
public PlayerProfile findProfile(Player player)
{
for(PlayerProfile ply : players)
{
2010-12-08 05:00:32 +01:00
if(ply.isPlayer(player))
return ply;
}
return null;
}
//=====================================================================
//Class: PlayerProfile
//Use: Encapsulates all commands for player options
//Author: cerevisiae
//=====================================================================
class PlayerProfile
{
protected final Logger log = Logger.getLogger("Minecraft");
2010-12-08 05:00:32 +01:00
private String playerName,
lastMessage,
nickName,
tag,
suffix;
private ArrayList<Player> ignoreList;
private commandList aliasList;
static final int EXIT_FAIL = 0,
EXIT_SUCCESS = 1,
EXIT_CONTINUE = 2;
//=====================================================================
//Function: PlayerProfile
//Input: Player player: The player to create a profile object for
//Output: none
//Use: Loads settings for the player or creates them if they don't
// exist.
//=====================================================================
public PlayerProfile(Player player)
{
2010-12-08 05:00:32 +01:00
//Declare things
playerName = player.getName();
nickName = new String();
tag = new String();
suffix = new String();
2010-12-08 05:00:32 +01:00
ignoreList = new ArrayList<Player>();
aliasList = new commandList();
String location = "vminecraftusers.txt";
2010-12-08 05:00:32 +01:00
//Try to apply what we can
try {
Scanner scanner = new Scanner(new File(location));
while (scanner.hasNextLine()) {
String line = scanner.nextLine();
if (line.startsWith("#") || line.equals("") || line.startsWith("")) {
continue;
}
String[] split = line.split(":");
2010-12-08 05:00:32 +01:00
//If the player name is equal to the name in the list
if (split.length > 0 && split[0].equalsIgnoreCase(player.getName())) {
//Get the tag from the 1st split
nickName = (split[1].split(",").toString());
//Get the tag from the 2nd split
suffix = split[2];
//Get the tag from the 3rd split
if (split.length >= 4) {
tag = (split[3]);
}
//Add all the ignored people to the player's ignore list
if (split.length >= 5) {
for(String name : split[4].split(","))
ignoreList.add(etc.getServer().getPlayer(name));
}
//Get the alias list, from the 5th split
if (split.length >= 6) {
//Loop through all the aliases
for(String alias : split[5].split(","))
{
//Break apart the two parts of the alias
String[] parts = alias.split("@");
if(parts.length > 1)
{
//Get the arguments for the alias if there are any
String[] command = parts[1].split(" ");
String[] args = null;
if(command.length > 1)
System.arraycopy(command, 1, args,
0, command.length - 2);
//Register the alias to the player's aliasList
aliasList.registerAlias(parts[0], command[0], args);
}
}
}
break;
}
}
scanner.close();
} catch (Exception e) {
2010-12-08 05:00:32 +01:00
log.log(Level.SEVERE, "Exception while reading "
+ location + " (Are you sure you formatted it correctly?)", e);
}
2010-12-02 22:46:50 +01:00
}
//=====================================================================
// Function: save
// Input: none
2010-12-02 22:46:50 +01:00
// Output: None
// Use: Writes current values of PlayerProfile to disk
// Call this function to save current values
//=====================================================================
public void save(){
try {
String location = "vminecraftusers.txt";
BufferedWriter bw = new BufferedWriter(new FileWriter(location, true));
Scanner scanner = new Scanner(new File(location));
while (scanner.hasNextLine()) {
String line = scanner.nextLine();
if (line.startsWith("#") || line.equals("") || line.startsWith("")) {
continue;
}
String[] split = line.split(":");
2010-12-08 05:00:32 +01:00
if (!split[0].equalsIgnoreCase(playerName)) {
continue;
}
bw.write(playerName + ":" + nickName + ":" + suffix + ":" + tag + ":" + ignoreList + ":" + aliasList);
}
scanner.close();
} catch (Exception e) {
String location = "vminecraftusers.txt";
log.log(Level.SEVERE, "Exception while writing to " + location + " (Are you sure you formatted it correctly?)", e);
}
}
//=====================================================================
2010-12-08 05:00:32 +01:00
//Function: isPlayer
//Input: None
//Output: Player: The player this profile belongs to
2010-12-08 05:00:32 +01:00
//Use: Finds if this profile belongs to a specified player
//=====================================================================
2010-12-08 05:00:32 +01:00
public boolean isPlayer(Player player)
{
return player.getName().equals(playerName);
}
//=====================================================================
//Function: isIgnored
//Input: Player player: Checks if a player is ignored
//Output: boolean: If they're ignored
//Use: Finds if the specified player is in the ignore list
//=====================================================================
public boolean isIgnored(Player player){return ignoreList.contains(player);}
//=====================================================================
//Function: addIgnore
//Input: Player name: The player to ignore
//Output: None
//Use: Ignores a player.
//=====================================================================
public void addIgnore(Player name)
{
if(!ignoreList.contains(name))
ignoreList.add(name);
}
//=====================================================================
//Function: removeIgnore
//Input: Player name: The player to ignore
//Output: None
//Use: Ignores a player.
//=====================================================================
public void removeIgnore(Player name)
{
if(ignoreList.contains(name))
ignoreList.remove(name);
}
//=====================================================================
//Function: addAlias
//Input: String command: The command to try to call
// String[] args: The arguments for the command
//Output: None
//Use: Adds a command
//=====================================================================
public void addAlias(String name, String callCommand)
{
aliasList.registerAlias(name, callCommand);
}
//=====================================================================
//Function: addAlias
//Input: String command: The command to try to call
// String[] args: The arguments for the command
//Output: None
//Use: Adds a command
//=====================================================================
public void addAlias(String name, String callCommand, String[] args)
{
aliasList.registerAlias(name, callCommand, args);
}
//=====================================================================
//Function: callAlias
//Input: String command: The command to try to call
// Player player: Checks if a player is ignored
// String[] args: The arguments for the command
//Output: int: Exit code
//Use: Attempts to call a command
//=====================================================================
public int callAlias(String command, Player player, String[] args)
{
try
{
//Attemt to call the function
return aliasList.call(command, player, args);
}
catch (Throwable e)
{
//The function wasn't found, returns fail
return EXIT_FAIL;
}
}
//=====================================================================
//Function: setTag
//Input: String newTag: The tag to set for the player
//Output: None
//Use: Sets a player tag
//=====================================================================
public void setTag(String newTag){ tag = newTag; }
//=====================================================================
//Function: getTag
//Input: None
//Output: String: The player tag
//Use: Gets a player tag
//=====================================================================
public String getTag() { return tag; }
2010-12-08 05:00:32 +01:00
//=====================================================================
//Function: setMessage
//Input: String newName: The name of the player they last messaged
// or recieved a message from.
//Output: None
//Use: Sets a player tag
//=====================================================================
public void setMessage(Player newName){ lastMessage = newName.getName(); }
//=====================================================================
//Function: getMessage
//Input: None
//Output: String: The player name
//Use: Gets the name of the player they last messaged or recieved
// a message from.
//=====================================================================
public Player getMessage()
{
if(lastMessage != null)
return etc.getServer().matchPlayer(lastMessage);
return null;
2010-12-08 05:00:32 +01:00
}
}
}
2010-12-02 23:13:23 +01:00