vala - Genieでdictをソートする方法

Question

更新コンパイル エラーが解決されました。現在、コードの唯一の問題は、きれいに印刷するために辞書をアルファベット順に並べ替える方法です。

Python から Genie に引数パーサーをリファクタリングしていますが、アイテムをリストに追加する前に dict からアイテムをソートする方法に行き詰まっていることに気付きました。

Python では、次のように簡単です。

    lines.append("Options:")
    if len(self.options):
        for name, option in sorted(self.options.items()):
            lines.append("  %s: %s" % (name, option.values))
    else:
        lines.append("  [none]")

self.options は次のように宣言されていますself.options = {}

さて、どのように辞書の内容を印刷できますが、並べ替えられますか?

これが私が立ち往生しているコードです：

def ListOptions()
    var lines = new list of string

    lines.add("Options:")
    if _options.size != 0
        for name in _options.keys
            lines.add("  %s: %s" % (name, _options.values))
    else
        lines.add("  [none]")

ListOptions はクラス内のメソッドであり、_options を _options:new dict of string, string として宣言しました

コードのそのセクションにコンパイル エラーはもうありません。私の質問は、dict の要素をリストに追加する前に並べ替える方法linesです。