mirror of
https://github.com/mcMMO-Dev/mcMMO.git
synced 2024-11-25 14:46:46 +01:00
570 lines
18 KiB
Java
570 lines
18 KiB
Java
import java.io.*;
|
|
import java.util.ArrayList;
|
|
import java.util.logging.Level;
|
|
import java.util.logging.Logger;
|
|
|
|
public class vMinecraftUsers {
|
|
private static volatile vMinecraftUsers instance;
|
|
protected static final Logger log = Logger.getLogger("Minecraft");
|
|
private PropertiesFile properties;
|
|
String location = "vminecraft.users";
|
|
|
|
public static PlayerList players = new PlayerList();
|
|
|
|
|
|
public void loadUsers(){
|
|
File theDir = new File(location);
|
|
if(!theDir.exists()){
|
|
properties = new PropertiesFile(location);
|
|
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(location);
|
|
try {
|
|
properties.load();
|
|
} catch (IOException e) {
|
|
log.log(Level.SEVERE, "Exception while loading " + location, e);
|
|
}
|
|
}
|
|
}
|
|
|
|
//=====================================================================
|
|
//Function: addUser
|
|
//Input: Player player: The player to create a profile for
|
|
//Output: none
|
|
//Use: Loads the profile for the specified player
|
|
//=====================================================================
|
|
public static void addUser(Player player){
|
|
players.addPlayer(player);
|
|
}
|
|
|
|
//=====================================================================
|
|
//Function: removeUser
|
|
//Input: Player player: The player to stop following
|
|
//Output: none
|
|
//Use: Creates the player profile
|
|
//=====================================================================
|
|
public static void removeUser(Player player){
|
|
players.removePlayer(player);
|
|
}
|
|
|
|
//=====================================================================
|
|
//Function: getProfile
|
|
//Input: Player player: The player to find the profile for
|
|
//Output: PlayerList.PlayerProfile: The profile
|
|
//Use: Gets the player profile
|
|
//=====================================================================
|
|
public static PlayerList.PlayerProfile getProfile(Player player){
|
|
return players.findProfile(player);
|
|
}
|
|
|
|
public static vMinecraftUsers getInstance() {
|
|
if (instance == null) {
|
|
instance = new vMinecraftUsers();
|
|
}
|
|
return instance;
|
|
}
|
|
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
|
|
//=====================================================================
|
|
public PlayerProfile findProfile(Player player)
|
|
{
|
|
for(PlayerProfile ply : players)
|
|
{
|
|
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");
|
|
private String playerName,
|
|
lastMessage,
|
|
nickName,
|
|
tag,
|
|
suffix;
|
|
|
|
private boolean dead;
|
|
|
|
char defaultColor;
|
|
|
|
String location = "vminecraft.users";
|
|
|
|
private ArrayList<String> 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)
|
|
{
|
|
//Declare things
|
|
playerName = player.getName();
|
|
tag = new String();
|
|
nickName = new String();
|
|
suffix = new String();
|
|
defaultColor = 'f';
|
|
ignoreList = new ArrayList<String>();
|
|
aliasList = new commandList();
|
|
dead = false;
|
|
|
|
//Try to load the player and if they aren't found, append them
|
|
if(!load())
|
|
addPlayer();
|
|
}
|
|
|
|
public boolean load()
|
|
{
|
|
try {
|
|
//Open the user file
|
|
FileReader file = new FileReader(location);
|
|
BufferedReader in = new BufferedReader(file);
|
|
String line = "";
|
|
while((line = in.readLine()) != null)
|
|
{
|
|
//Find if the line contains the player we want.
|
|
String[] character = line.split(":");
|
|
if(!character[0].equals(playerName)){continue;}
|
|
|
|
//Get the tag
|
|
if(character.length > 1)
|
|
tag = character[1];
|
|
//Get the nickname
|
|
if(character.length > 2)
|
|
nickName = character[2];
|
|
//Get the suffix
|
|
if(character.length > 3)
|
|
suffix = character[3];
|
|
//Get the color
|
|
if(character.length > 4)
|
|
defaultColor = character[4].charAt(0);
|
|
//Ignore previously ignored players
|
|
if(character.length > 5)
|
|
{
|
|
String[] ignores = character[5].split(",");
|
|
if(ignores.length > 0)
|
|
{
|
|
for(String ignore : ignores)
|
|
ignoreList.add(ignore);
|
|
}
|
|
}
|
|
//Register the aliases
|
|
if(character.length > 6)
|
|
{
|
|
String[] allAliases = character[6].split(",");
|
|
if(allAliases.length > 0)
|
|
{
|
|
for(String singleAlias : allAliases)
|
|
{
|
|
String[] parts = singleAlias.split("@");
|
|
if(parts.length > 1)
|
|
{
|
|
aliasList.registerAlias(parts[0], parts[1]);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
in.close();
|
|
return true;
|
|
}
|
|
in.close();
|
|
} catch (Exception e) {
|
|
log.log(Level.SEVERE, "Exception while reading "
|
|
+ location + " (Are you sure you formatted it correctly?)", e);
|
|
}
|
|
return false;
|
|
}
|
|
|
|
//=====================================================================
|
|
// Function: save
|
|
// Input: none
|
|
// Output: None
|
|
// Use: Writes current values of PlayerProfile to disk
|
|
// Call this function to save current values
|
|
//=====================================================================
|
|
public void save()
|
|
{
|
|
try {
|
|
//Open the file
|
|
FileReader file = new FileReader(location);
|
|
BufferedReader in = new BufferedReader(file);
|
|
StringBuilder writer = new StringBuilder();
|
|
String line = "";
|
|
|
|
//While not at the end of the file
|
|
while((line = in.readLine()) != null)
|
|
{
|
|
//Read the line in and copy it to the output it's not the player
|
|
//we want to edit
|
|
if(!line.split(":")[0].equalsIgnoreCase(playerName))
|
|
{
|
|
writer.append(line).append("\r\n");
|
|
|
|
//Otherwise write the new player information
|
|
} else {
|
|
writer.append(playerName + ":");
|
|
writer.append(tag + ":");
|
|
writer.append(nickName + ":");
|
|
writer.append(suffix + ":");
|
|
writer.append(defaultColor + ":");
|
|
|
|
int i = 0;
|
|
for(String ignore : ignoreList)
|
|
{
|
|
writer.append(ignore);
|
|
if(i < ignoreList.size() - 1)
|
|
writer.append(",");
|
|
}
|
|
writer.append(":");
|
|
|
|
writer.append(aliasList.toString());
|
|
writer.append("\r\n");
|
|
}
|
|
}
|
|
in.close();
|
|
|
|
|
|
//Write the new file
|
|
FileWriter out = new FileWriter(location);
|
|
out.write(writer.toString());
|
|
out.close();
|
|
|
|
} catch (Exception e) {
|
|
log.log(Level.SEVERE, "Exception while writing to " + location + " (Are you sure you formatted it correctly?)", e);
|
|
}
|
|
}
|
|
|
|
public void addPlayer()
|
|
{
|
|
try {
|
|
//Open the file to write the player
|
|
FileWriter file = new FileWriter(location, true);
|
|
BufferedWriter out = new BufferedWriter(file);
|
|
|
|
//Add the player to the end
|
|
out.append(playerName + ":");
|
|
out.append(tag + ":");
|
|
out.append(nickName + ":");
|
|
out.append(suffix + ":");
|
|
out.append(defaultColor + ":");
|
|
|
|
int i = 0;
|
|
for(String ignore : ignoreList)
|
|
{
|
|
out.append(ignore);
|
|
if(i < ignoreList.size() - 1)
|
|
out.append(",");
|
|
}
|
|
out.append(":");
|
|
|
|
out.append(aliasList.toString());
|
|
out.newLine();
|
|
out.close();
|
|
|
|
} catch (Exception e) {
|
|
log.log(Level.SEVERE, "Exception while writing to " + location + " (Are you sure you formatted it correctly?)", e);
|
|
}
|
|
}
|
|
|
|
//=====================================================================
|
|
//Function: isPlayer
|
|
//Input: None
|
|
//Output: Player: The player this profile belongs to
|
|
//Use: Finds if this profile belongs to a specified player
|
|
//=====================================================================
|
|
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.getName());
|
|
}
|
|
|
|
//=====================================================================
|
|
//Function: addIgnore
|
|
//Input: Player name: The player to ignore
|
|
//Output: boolean: If the player was successfully ignored
|
|
//Use: Ignores a player.
|
|
//=====================================================================
|
|
public boolean addIgnore(Player name)
|
|
{
|
|
if(!ignoreList.contains(name))
|
|
{
|
|
ignoreList.add(name.getName());
|
|
save();
|
|
return true;
|
|
}
|
|
return false;
|
|
}
|
|
|
|
//=====================================================================
|
|
//Function: removeIgnore
|
|
//Input: Player name: The player to unignore
|
|
//Output: boolean: If the player was successfully unignored
|
|
//Use: Stops ignoring a player.
|
|
//=====================================================================
|
|
public boolean removeIgnore(Player name)
|
|
{
|
|
if(ignoreList.contains(name.getName()))
|
|
{
|
|
ignoreList.remove(name.getName());
|
|
save();
|
|
return true;
|
|
}
|
|
return false;
|
|
}
|
|
|
|
//=====================================================================
|
|
//Function: removeIgnore
|
|
//Input: Player name: The player to unignore
|
|
//Output: boolean: If the player was successfully unignored
|
|
//Use: Stops ignoring a player.
|
|
//=====================================================================
|
|
public String[] listIgnore()
|
|
{
|
|
return ignoreList.toArray(new String[ignoreList.size()]);
|
|
}
|
|
|
|
//=====================================================================
|
|
//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);
|
|
save();
|
|
}
|
|
|
|
//=====================================================================
|
|
//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;
|
|
save();
|
|
}
|
|
|
|
//=====================================================================
|
|
//Function: getTag
|
|
//Input: None
|
|
//Output: String: The player tag
|
|
//Use: Gets a player tag
|
|
//=====================================================================
|
|
public String getTag() { return tag; }
|
|
|
|
//=====================================================================
|
|
//Function: setNick
|
|
//Input: String newTag: The nickname to set for the player
|
|
//Output: None
|
|
//Use: Sets a player nickname
|
|
//=====================================================================
|
|
public void setNick(String newNick)
|
|
{
|
|
nickName = newNick;
|
|
save();
|
|
}
|
|
|
|
//=====================================================================
|
|
//Function: getNick
|
|
//Input: None
|
|
//Output: String: The player nickname
|
|
//Use: Gets a player nickname
|
|
//=====================================================================
|
|
public String getNick() { return nickName; }
|
|
|
|
//=====================================================================
|
|
//Function: setSuffix
|
|
//Input: String newTag: The suffix to set for the player
|
|
//Output: None
|
|
//Use: Sets a player suffix
|
|
//=====================================================================
|
|
public void setSuffix(String newSuffix)
|
|
{
|
|
suffix = newSuffix;
|
|
save();
|
|
}
|
|
|
|
//=====================================================================
|
|
//Function: getSuffix
|
|
//Input: None
|
|
//Output: String: The player suffix
|
|
//Use: Gets a player suffix
|
|
//=====================================================================
|
|
public String getSuffix() { return suffix; }
|
|
|
|
//=====================================================================
|
|
//Function: setColor
|
|
//Input: String newTag: The color to set for the player
|
|
//Output: None
|
|
//Use: Sets a player color
|
|
//=====================================================================
|
|
public void setColor(String newColor)
|
|
{
|
|
defaultColor = newColor.charAt(0);
|
|
save();
|
|
}
|
|
|
|
//=====================================================================
|
|
//Function: getColor
|
|
//Input: None
|
|
//Output: String: The player color
|
|
//Use: Gets a player color
|
|
//=====================================================================
|
|
public String getColor() {return vMinecraftChat.colorChange(defaultColor);}
|
|
|
|
//=====================================================================
|
|
//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;
|
|
}
|
|
|
|
//=====================================================================
|
|
//Function: isDead
|
|
//Input: None
|
|
//Output: boolean: If the player is dead or not
|
|
//Use: Gets the player is dead or not.
|
|
//=====================================================================
|
|
public boolean isDead() {return dead;}
|
|
|
|
//=====================================================================
|
|
//Function: isDead
|
|
//Input: boolean isded: if the player is dead or not.
|
|
//Output: None
|
|
//Use: Sets if the player is dead or not
|
|
//=====================================================================
|
|
public void isDead(boolean isded){dead = isded;}
|
|
}
|
|
}
|
|
|
|
|