Bagaimana cara membuang tabel ke konsol?


109

Saya mengalami masalah saat menampilkan konten tabel yang berisi tabel bersarang (n-deep). Saya ingin membuangnya ke std out atau konsol melalui printpernyataan atau sesuatu yang cepat dan kotor tetapi saya tidak tahu caranya. Saya mencari padanan kasar yang akan saya dapatkan saat mencetak NSDictionarymenggunakan gdb.

Jawaban:


56

Jangan ragu untuk menelusuri Lua Wiki tentang serialisasi tabel . Ini mencantumkan beberapa cara tentang cara membuang tabel ke konsol.

Anda tinggal memilih mana yang paling cocok untuk Anda. Ada banyak cara untuk melakukannya, tetapi saya biasanya menggunakan salah satu dari Penlight :

> t = { a = { b = { c = "Hello world!", 1 }, 2, d = { 3 } } }
> require 'pl.pretty'.dump(t)
{
  a = {
    d = {
      3
    },
    b = {
      c = "Hello world!",
      1
    },
    2
  }
}

6
Pertanyaan bodoh dan bahkan lebih banyak lagi pemula: bagaimana cara saya menginstal ekstensi seperti pl.pretty? Sangat menyenangkan jika saya bisa melakukan sesuatu seperti memasang permata tanpa harus melepaskan gulungan tar dan menemukan tempat yang ideal di HD saya untuk menempatkan sesuatu. Apakah ada cara "lakukan dengan cara ini" yang cepat / tidak menyakitkan?
Tebing

1
Dah, saya harus melihat halaman muka sebelum memposting komentar terakhir itu! Pemasangannya tidak secepat / tanpa rasa sakit seperti yang saya harapkan tapi tidak terlalu buruk.
Tebing

Senter menyinari apa yang saya cari!
Tebing

7
@Cliff luarocks untuk menginstal penlight
vagabond

101

Saya tahu pertanyaan ini telah ditandai sebagai terjawab, tetapi izinkan saya memasukkan perpustakaan saya sendiri di sini. Ini disebut inspect.lua, dan Anda dapat menemukannya di sini:

https://github.com/kikito/inspect.lua

Itu hanya satu file yang dapat Anda perlukan dari file lain. Ini mengembalikan fungsi yang mengubah nilai Lua apa pun menjadi string yang dapat dibaca manusia:

local inspect = require('inspect')

print(inspect({1,2,3})) -- {1, 2, 3}
print(inspect({a=1,b=2})
-- {
--   a = 1
--   b = 2
-- }

Ini mengindentasi subtabel dengan benar, dan menangani "tabel rekursif" (tabel yang berisi referensi ke dirinya sendiri) dengan benar, sehingga tidak masuk ke loop tak terbatas. Itu memilah nilai dengan cara yang masuk akal. Ini juga mencetak informasi yang dapat diukur.

Salam!


Mungkin Anda harus menambahkan perpustakaan Anda ke Lua Wiki . Saya melihat perpustakaan Anda juga mencetak metatabel, yang tidak dimiliki perpustakaan lain.
Michal Kottman

Masalahnya adalah inspect.lua tidak benar-benar cocok dengan kategori "serialization". Teks yang dikembalikannya bukanlah kode Lua yang valid; itu seharusnya digunakan untuk debugging / human read. Saya kira saya bisa menambahkan tautan kecil di akhir atau sesuatu.
kikito

1
Menambahkan inspect.lua ke wiki.
kikito

Tolong letakkan ini di luarocks
Hack-R

3
@ Hack-R itu di luarocks:luarocks install inspect
kikito

86

Saya telah menemukan yang satu ini berguna. Karena jika di rekursi maka bisa mencetak tabel bersarang juga. Itu tidak memberikan format tercantik dalam output tetapi untuk fungsi sederhana seperti itu sulit dikalahkan untuk debugging.

function dump(o)
   if type(o) == 'table' then
      local s = '{ '
      for k,v in pairs(o) do
         if type(k) ~= 'number' then k = '"'..k..'"' end
         s = s .. '['..k..'] = ' .. dump(v) .. ','
      end
      return s .. '} '
   else
      return tostring(o)
   end
end

misalnya

local people = {
   {
      name = "Fred",
      address = "16 Long Street",
      phone = "123456"
   },

   {
      name = "Wilma",
      address = "16 Long Street",
      phone = "123456"
   },

   {
      name = "Barney",
      address = "17 Long Street",
      phone = "123457"
   }

}

print("People:", dump(people))

Menghasilkan keluaran sebagai berikut:

Orang: {[1] = {["address"] = 16 Long Street, ["phone"] = 123456, ["name"] = Fred,}, [2] = {["address"] = 16 Long Street , ["phone"] = 123456, ["name"] = Wilma,}, [3] = {["address"] = 17 Long Street, ["phone"] = 123457, ["name"] = Barney, },}


1
Bagus untuk berbagi sesuatu yang tidak membutuhkan perpustakaan eksternal.
Julian Knight

Pada meja yang sangat besar, fungsi Anda menampilkan kesalahan stackoverflow
Herrgott

21

menemukan ini:

-- Print contents of `tbl`, with indentation.
-- `indent` sets the initial level of indentation.
function tprint (tbl, indent)
  if not indent then indent = 0 end
  for k, v in pairs(tbl) do
    formatting = string.rep("  ", indent) .. k .. ": "
    if type(v) == "table" then
      print(formatting)
      tprint(v, indent+1)
    elseif type(v) == 'boolean' then
      print(formatting .. tostring(v))      
    else
      print(formatting .. v)
    end
  end
end

dari sini https://gist.github.com/ripter/4270799

bekerja cukup baik untuk saya ...


19

Sebagian besar fungsi tabel cetak lua murni yang pernah saya lihat memiliki masalah dengan rekursi yang dalam dan cenderung menyebabkan tumpukan melimpah saat terlalu dalam. Fungsi tabel cetak yang saya tulis ini tidak mengalami masalah ini. Ini juga harus mampu menangani tabel yang sangat besar karena cara menangani penggabungan. Dalam penggunaan pribadi saya dari fungsi ini, itu menghasilkan 63k baris ke file dalam waktu sekitar satu detik.

Keluaran juga mempertahankan sintaks lua dan skrip dapat dengan mudah dimodifikasi untuk penyimpanan persisten sederhana dengan menulis keluaran ke file jika dimodifikasi untuk memungkinkan hanya tipe data angka, boolean, string dan tabel yang akan diformat.

function print_table(node)
    local cache, stack, output = {},{},{}
    local depth = 1
    local output_str = "{\n"

    while true do
        local size = 0
        for k,v in pairs(node) do
            size = size + 1
        end

        local cur_index = 1
        for k,v in pairs(node) do
            if (cache[node] == nil) or (cur_index >= cache[node]) then

                if (string.find(output_str,"}",output_str:len())) then
                    output_str = output_str .. ",\n"
                elseif not (string.find(output_str,"\n",output_str:len())) then
                    output_str = output_str .. "\n"
                end

                -- This is necessary for working with HUGE tables otherwise we run out of memory using concat on huge strings
                table.insert(output,output_str)
                output_str = ""

                local key
                if (type(k) == "number" or type(k) == "boolean") then
                    key = "["..tostring(k).."]"
                else
                    key = "['"..tostring(k).."']"
                end

                if (type(v) == "number" or type(v) == "boolean") then
                    output_str = output_str .. string.rep('\t',depth) .. key .. " = "..tostring(v)
                elseif (type(v) == "table") then
                    output_str = output_str .. string.rep('\t',depth) .. key .. " = {\n"
                    table.insert(stack,node)
                    table.insert(stack,v)
                    cache[node] = cur_index+1
                    break
                else
                    output_str = output_str .. string.rep('\t',depth) .. key .. " = '"..tostring(v).."'"
                end

                if (cur_index == size) then
                    output_str = output_str .. "\n" .. string.rep('\t',depth-1) .. "}"
                else
                    output_str = output_str .. ","
                end
            else
                -- close the table
                if (cur_index == size) then
                    output_str = output_str .. "\n" .. string.rep('\t',depth-1) .. "}"
                end
            end

            cur_index = cur_index + 1
        end

        if (size == 0) then
            output_str = output_str .. "\n" .. string.rep('\t',depth-1) .. "}"
        end

        if (#stack > 0) then
            node = stack[#stack]
            stack[#stack] = nil
            depth = cache[node] == nil and depth + 1 or depth - 1
        else
            break
        end
    end

    -- This is necessary for working with HUGE tables otherwise we run out of memory using concat on huge strings
    table.insert(output,output_str)
    output_str = table.concat(output)

    print(output_str)
end

Berikut ini contohnya:

local t = {
    ["abe"] = {1,2,3,4,5},
    "string1",
    50,
    ["depth1"] = { ["depth2"] = { ["depth3"] = { ["depth4"] = { ["depth5"] = { ["depth6"] = { ["depth7"]= { ["depth8"] = { ["depth9"] = { ["depth10"] = {1000}, 900}, 800},700},600},500}, 400 }, 300}, 200}, 100},
    ["ted"] = {true,false,"some text"},
    "string2",
    [function() return end] = function() return end,
    75
}

print_table(t)

Keluaran:

{
    [1] = 'string1',
    [2] = 50,
    [3] = 'string2',
    [4] = 75,
    ['abe'] = {
        [1] = 1,
        [2] = 2,
        [3] = 3,
        [4] = 4,
        [5] = 5
    },
    ['function: 06472B70'] = 'function: 06472A98',
    ['depth1'] = {
        [1] = 100,
        ['depth2'] = {
            [1] = 200,
            ['depth3'] = {
                [1] = 300,
                ['depth4'] = {
                    [1] = 400,
                    ['depth5'] = {
                        [1] = 500,
                        ['depth6'] = {
                            [1] = 600,
                            ['depth7'] = {
                                [1] = 700,
                                ['depth8'] = {
                                    [1] = 800,
                                    ['depth9'] = {
                                        [1] = 900,
                                        ['depth10'] = {
                                            [1] = 1000
                                        }
                                    }
                                }
                            }
                        }
                    }
                }
            }
        }
    },
    ['ted'] = {
        [1] = true,
        [2] = false,
        [3] = 'some text'
    }
}

tabfungsi terlalu rumit. Ini pada dasarnya hanya string.repeat('\t', amt)tetapi kinerjanya jauh lebih sedikit.
val mengatakan Reinstate Monica

6

Seperti yang disebutkan sebelumnya, Anda harus menulisnya. Ini adalah versi saya yang sederhana: (yang super dasar)

function tprint (t, s)
    for k, v in pairs(t) do
        local kfmt = '["' .. tostring(k) ..'"]'
        if type(k) ~= 'string' then
            kfmt = '[' .. k .. ']'
        end
        local vfmt = '"'.. tostring(v) ..'"'
        if type(v) == 'table' then
            tprint(v, (s or '')..kfmt)
        else
            if type(v) ~= 'string' then
                vfmt = tostring(v)
            end
            print(type(t)..(s or '')..kfmt..' = '..vfmt)
        end
    end
end

contoh:

local mytbl = { ['1']="a", 2, 3, b="c", t={d=1} }
tprint(mytbl)

keluaran (Lua 5.0):

table[1] = 2
table[2] = 3
table["1"] = "a"
table["t"]["d"] = 1
table["b"] = "c"

1
Sangat orisinal! Saya suka itu.
Jack Giffin


2

Ini adalah versi saya yang mendukung pengecualian tabel dan data pengguna

-- Lua Table View by Elertan
table.print = function(t, exclusions)
    local nests = 0
    if not exclusions then exclusions = {} end
    local recurse = function(t, recurse, exclusions)
        indent = function()
            for i = 1, nests do
                io.write("    ")
            end
        end
        local excluded = function(key)
            for k,v in pairs(exclusions) do
                if v == key then
                    return true
                end
            end
            return false
        end
        local isFirst = true
        for k,v in pairs(t) do
            if isFirst then
                indent()
                print("|")
                isFirst = false
            end
            if type(v) == "table" and not excluded(k) then
                indent()
                print("|-> "..k..": "..type(v))
                nests = nests + 1
                recurse(v, recurse, exclusions)
            elseif excluded(k) then
                indent()
                print("|-> "..k..": "..type(v))
            elseif type(v) == "userdata" or type(v) == "function" then
                indent()
                print("|-> "..k..": "..type(v))
            elseif type(v) == "string" then
                indent()
                print("|-> "..k..": ".."\""..v.."\"")
            else
                indent()
                print("|-> "..k..": "..v)
            end
        end
        nests = nests - 1
    end

    nests = 0
    print("### START TABLE ###")
    for k,v in pairs(t) do
        print("root")
        if type(v) == "table" then
            print("|-> "..k..": "..type(v))
            nests = nests + 1
            recurse(v, recurse, exclusions)
        elseif type(v) == "userdata" or type(v) == "function" then
            print("|-> "..k..": "..type(v))
        elseif type(v) == "string" then
            print("|-> "..k..": ".."\""..v.."\"")
        else
            print("|-> "..k..": "..v)
        end
    end
    print("### END TABLE ###")
end

Ini sebuah contoh

t = {
    location = {
       x = 10,
       y = 20
    },
    size = {
      width = 100000000,
      height = 1000,
    },
    name = "Sidney",
    test = {
        hi = "lol",
    },
    anotherone = {
        1, 
        2, 
        3
    }
}

table.print(t, { "test" })

Cetakan:

   ### START TABLE ###
root
|-> size: table
    |
    |-> height: 1000
    |-> width: 100000000
root
|-> location: table
    |
    |-> y: 20
    |-> x: 10
root
|-> anotherone: table
    |
    |-> 1: 1
    |-> 2: 2
    |-> 3: 3
root
|-> test: table
    |
    |-> hi: "lol"
root
|-> name: "Sidney"
### END TABLE ###

Perhatikan bahwa root tidak menghapus pengecualian


2

Format sebagai JSON (Anda dapat "mempercantik" di IDE nanti):

local function format_any_value(obj, buffer)
    local _type = type(obj)
    if _type == "table" then
        buffer[#buffer + 1] = '{"'
        for key, value in next, obj, nil do
            buffer[#buffer + 1] = tostring(key) .. '":'
            format_any_value(value, buffer)
            buffer[#buffer + 1] = ',"'
        end
        buffer[#buffer] = '}' -- note the overwrite
    elseif _type == "string" then
        buffer[#buffer + 1] = '"' .. obj .. '"'
    elseif _type == "boolean" or _type == "number" then
        buffer[#buffer + 1] = tostring(obj)
    else
        buffer[#buffer + 1] = '"???' .. _type .. '???"'
    end
end

Pemakaian:

local function format_as_json(obj)
    if obj == nil then return "null" else
        local buffer = {}
        format_any_value(obj, buffer)
        return table.concat(buffer)
    end
end

local function print_as_json(obj)
    print(_format_as_json(obj))
end

print_as_json {1, 2, 3}
print_as_json(nil)
print_as_json("string")
print_as_json {[1] = 1, [2] = 2, three = { { true } }, four = "four"}

BTW, saya juga menulis beberapa solusi lain: solusi yang sangat cepat , dan satu dengan karakter khusus yang lolos: https://github.com/vn971/fast_json_encode


Ini sebenarnya yang saya cari meskipun tidak secara spesifik apa yang diminta operasi. Terima kasih untuk solusi sederhana seperti itu. Mempermudah penggunaan dalam Lua env dengan ruang terbatas seperti NodeMCU.
Sawtaytoes

1

Anda harus mengkodekannya sendiri, saya khawatir. Saya menulis ini, dan mungkin berguna bagi Anda

function printtable(table, indent)

  indent = indent or 0;

  local keys = {};

  for k in pairs(table) do
    keys[#keys+1] = k;
    table.sort(keys, function(a, b)
      local ta, tb = type(a), type(b);
      if (ta ~= tb) then
        return ta < tb;
      else
        return a < b;
      end
    end);
  end

  print(string.rep('  ', indent)..'{');
  indent = indent + 1;
  for k, v in pairs(table) do

    local key = k;
    if (type(key) == 'string') then
      if not (string.match(key, '^[A-Za-z_][0-9A-Za-z_]*$')) then
        key = "['"..key.."']";
      end
    elseif (type(key) == 'number') then
      key = "["..key.."]";
    end

    if (type(v) == 'table') then
      if (next(v)) then
        printf("%s%s =", string.rep('  ', indent), tostring(key));
        printtable(v, indent);
      else
        printf("%s%s = {},", string.rep('  ', indent), tostring(key));
      end 
    elseif (type(v) == 'string') then
      printf("%s%s = %s,", string.rep('  ', indent), tostring(key), "'"..v.."'");
    else
      printf("%s%s = %s,", string.rep('  ', indent), tostring(key), tostring(v));
    end
  end
  indent = indent - 1;
  print(string.rep('  ', indent)..'}');
end

1
Terima kasih sudah membalas. Saya mencoba ini dan saya mendapatkan: mencoba memanggil 'jenis' global (nilai nihil)
Cliff

Ubah sortke table.sort... Pasti ada suatu local sort = table.sorttempat di kode tempat ini diambil.
Michal Kottman

Anda harus sedikit imajinatif! Ada sejumlah simbol yang disalin dari ruang tabel perpustakaan ke _G untuk kenyamanan. sortadalah salinan dari table.sort, strrepis string.rep, strmatchis string.matchdll. Beri tahu saya jika ada lagi dan saya akan mengubah jawaban saya.
Borodin

Maaf, saya juga memiliki jaring tabel yang cukup dalam karena upaya saya sendiri untuk mengulang struktur bertemu dengan tumpukan melimpah. (Tidak ada permainan kata-kata!) Saya membenturkan kepala saya mencoba melepaskan rekursi saya dan menggunakan panggilan ekor yang tepat tetapi saya merasa frustrasi pada saat mana saya memposting di sini.
Tebing

Anda tidak dapat secara umum menghapus rekursi dari fungsi seperti itu, karena ini bukan rekursi akhir. Gunakan Lua yang dibangun dengan stack yang lebih besar, atau implementasikan algoritma yang sama dengan menggunakan tabel Lua untuk menyimpan stack rekursi.
Borodin

1
--~ print a table
function printTable(list, i)

    local listString = ''
--~ begin of the list so write the {
    if not i then
        listString = listString .. '{'
    end

    i = i or 1
    local element = list[i]

--~ it may be the end of the list
    if not element then
        return listString .. '}'
    end
--~ if the element is a list too call it recursively
    if(type(element) == 'table') then
        listString = listString .. printTable(element)
    else
        listString = listString .. element
    end

    return listString .. ', ' .. printTable(list, i + 1)

end


local table = {1, 2, 3, 4, 5, {'a', 'b'}, {'G', 'F'}}
print(printTable(table))

Hai sobat, saya menulis kode siple yang melakukan ini di Lua murni, ia memiliki bug (tulis koma setelah elemen terakhir dari daftar) tetapi bagaimana saya menulisnya dengan cepat sebagai prototipe, saya akan membiarkannya untuk Anda menyesuaikannya dengan Anda kebutuhan.


1

Menambahkan versi lain. Yang ini juga mencoba untuk melakukan iterasi melalui userdata.

function inspect(o,indent)
    if indent == nil then indent = 0 end
    local indent_str = string.rep("    ", indent)
    local output_it = function(str)
        print(indent_str..str)
    end

    local length = 0

    local fu = function(k, v)
        length = length + 1
        if type(v) == "userdata" or type(v) == 'table' then
            output_it(indent_str.."["..k.."]")
            inspect(v, indent+1)
        else
            output_it(indent_str.."["..k.."] "..tostring(v))
        end
    end

    local loop_pairs = function()
        for k,v in pairs(o) do fu(k,v) end
    end

    local loop_metatable_pairs = function()
        for k,v in pairs(getmetatable(o)) do fu(k,v) end
    end

    if not pcall(loop_pairs) and not pcall(loop_metatable_pairs) then
        output_it(indent_str.."[[??]]")
    else
        if length == 0 then
            output_it(indent_str.."{}")
        end
    end
end

1

Saya menggunakan fungsi saya sendiri untuk mencetak konten tabel tetapi tidak yakin seberapa baik itu diterjemahkan ke lingkungan Anda:

---A helper function to print a table's contents.
---@param tbl table @The table to print.
---@param depth number @The depth of sub-tables to traverse through and print.
---@param n number @Do NOT manually set this. This controls formatting through recursion.
function PrintTable(tbl, depth, n)
  n = n or 0;
  depth = depth or 5;

  if (depth == 0) then
      print(string.rep(' ', n).."...");
      return;
  end

  if (n == 0) then
      print(" ");
  end

  for key, value in pairs(tbl) do
      if (key and type(key) == "number" or type(key) == "string") then
          key = string.format("[\"%s\"]", key);

          if (type(value) == "table") then
              if (next(value)) then
                  print(string.rep(' ', n)..key.." = {");
                  PrintTable(value, depth - 1, n + 4);
                  print(string.rep(' ', n).."},");
              else
                  print(string.rep(' ', n)..key.." = {},");
              end
          else
              if (type(value) == "string") then
                  value = string.format("\"%s\"", value);
              else
                  value = tostring(value);
              end

              print(string.rep(' ', n)..key.." = "..value..",");
          end
      end
  end

  if (n == 0) then
      print(" ");
  end
end

-1

Saya dengan rendah hati telah mengubah sedikit kode Alundaio:

-- by Alundaio
-- KK modified 11/28/2019

function dump_table_to_string(node, tree, indentation)
    local cache, stack, output = {},{},{}
    local depth = 1


    if type(node) ~= "table" then
        return "only table type is supported, got " .. type(node)
    end

    if nil == indentation then indentation = 1 end

    local NEW_LINE = "\n"
    local TAB_CHAR = " "

    if nil == tree then
        NEW_LINE = "\n"
    elseif not tree then
        NEW_LINE = ""
        TAB_CHAR = ""
    end

    local output_str = "{" .. NEW_LINE

    while true do
        local size = 0
        for k,v in pairs(node) do
            size = size + 1
        end

        local cur_index = 1
        for k,v in pairs(node) do
            if (cache[node] == nil) or (cur_index >= cache[node]) then

                if (string.find(output_str,"}",output_str:len())) then
                    output_str = output_str .. "," .. NEW_LINE
                elseif not (string.find(output_str,NEW_LINE,output_str:len())) then
                    output_str = output_str .. NEW_LINE
                end

                -- This is necessary for working with HUGE tables otherwise we run out of memory using concat on huge strings
                table.insert(output,output_str)
                output_str = ""

                local key
                if (type(k) == "number" or type(k) == "boolean") then
                    key = "["..tostring(k).."]"
                else
                    key = "['"..tostring(k).."']"
                end

                if (type(v) == "number" or type(v) == "boolean") then
                    output_str = output_str .. string.rep(TAB_CHAR,depth*indentation) .. key .. " = "..tostring(v)
                elseif (type(v) == "table") then
                    output_str = output_str .. string.rep(TAB_CHAR,depth*indentation) .. key .. " = {" .. NEW_LINE
                    table.insert(stack,node)
                    table.insert(stack,v)
                    cache[node] = cur_index+1
                    break
                else
                    output_str = output_str .. string.rep(TAB_CHAR,depth*indentation) .. key .. " = '"..tostring(v).."'"
                end

                if (cur_index == size) then
                    output_str = output_str .. NEW_LINE .. string.rep(TAB_CHAR,(depth-1)*indentation) .. "}"
                else
                    output_str = output_str .. ","
                end
            else
                -- close the table
                if (cur_index == size) then
                    output_str = output_str .. NEW_LINE .. string.rep(TAB_CHAR,(depth-1)*indentation) .. "}"
                end
            end

            cur_index = cur_index + 1
        end

        if (size == 0) then
            output_str = output_str .. NEW_LINE .. string.rep(TAB_CHAR,(depth-1)*indentation) .. "}"
        end

        if (#stack > 0) then
            node = stack[#stack]
            stack[#stack] = nil
            depth = cache[node] == nil and depth + 1 or depth - 1
        else
            break
        end
    end

    -- This is necessary for working with HUGE tables otherwise we run out of memory using concat on huge strings
    table.insert(output,output_str)
    output_str = table.concat(output)

    return output_str

end

kemudian:

print(dump_table_to_string("AA", true,3))

print(dump_table_to_string({"AA","BB"}, true,3))

print(dump_table_to_string({"AA","BB"}))

print(dump_table_to_string({"AA","BB"},false))

print(dump_table_to_string({"AA","BB",{22,33}},true,2))

memberikan:

only table type is supported, got string

{
   [1] = 'AA',
   [2] = 'BB'
}

{
 [1] = 'AA',
 [2] = 'BB'
}

{[1] = 'AA',[2] = 'BB'}

{
  [1] = 'AA',
  [2] = 'BB',
  [3] = {
    [1] = 22,
    [2] = 33
  }
}
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.