added public getter pseudocode