それが現状を説明している pseudo code ですね。