net.minecraft.server.management

Class PlayerProfileCache

java.lang.Object

net.minecraft.server.management.PlayerProfileCache

public class PlayerProfileCache
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static java.text.SimpleDateFormat	dateFormat
protected Gson	gson

Constructor Summary

Constructors

Constructor and Description
PlayerProfileCache(MinecraftServer server, java.io.File cacheFile)

Method Summary

Modifier and Type	Method and Description
void	addEntry(GameProfile gameProfile) Add an entry to this cache
GameProfile	getGameProfileForUsername(java.lang.String username) Get a player's GameProfile given their username.
GameProfile	getProfileByUUID(java.util.UUID uuid) Get a player's GameProfile given their UUID
java.lang.String[]	getUsernames() Get an array of the usernames that are cached in this cache
void	load() Load the cached profiles from disk
void	save() Save the cached profiles to disk

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

dateFormat

public static final java.text.SimpleDateFormat dateFormat

gson

protected final Gson gson

Constructor Detail

PlayerProfileCache

public PlayerProfileCache(MinecraftServer server,
                          java.io.File cacheFile)

Method Detail

addEntry

public void addEntry(GameProfile gameProfile)

Add an entry to this cache

getGameProfileForUsername

public GameProfile getGameProfileForUsername(java.lang.String username)

Get a player's GameProfile given their username. Mojang's server's will be contacted if the entry is not cached locally.

getUsernames

public java.lang.String[] getUsernames()

Get an array of the usernames that are cached in this cache

getProfileByUUID

public GameProfile getProfileByUUID(java.util.UUID uuid)

Get a player's GameProfile given their UUID

load

public void load()

Load the cached profiles from disk

save

public void save()

Save the cached profiles to disk