[dev] Getters for attributes.