Module game_profile 

Validated game profiles

Structs

GameProfile

A player UUID with name and signed properties such as skin textures

GameProfileJson 🔒

Session server JSON shape that is validated into a game profile on deserialization

ProfileProperties 🔒

Profile properties grouped by the first occurrence of each name

ProfileProperty

A game profile property

ProfilePropertyJson 🔒

ProfilePropertyList 🔒

Constants

MAX_PLAYER_NAME 🔒

MAX_PROPERTIES 🔒

MAX_PROPERTY_NAME 🔒

MAX_PROPERTY_SIGNATURE 🔒

MAX_PROPERTY_VALUE 🔒

Functions

hash_entries 🔒

insert_properties 🔒

property_group_end 🔒

push_hash_entry 🔒

push_properties_hash_entry 🔒

read_properties 🔒

read_properties_network 🔒

read_string 🔒

validate_player_name 🔒

validate_properties 🔒

validate_string 🔒

write_properties_network 🔒

write_string 🔒