summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSmallJoker <mk939@ymail.com>2019-11-03 15:55:46 +0100
committerSmallJoker <SmallJoker@users.noreply.github.com>2019-11-10 11:35:02 +0100
commit9b58f8db29c545d5fead166ae519045d20a1ca0b (patch)
tree8fc9a486c02b666a7c96f5d7a2dd435cad24c2cd
parent7784b13da5db3665a7839fe1cdcdfd9b30903c9a (diff)
downloadmesecons-9b58f8db29c545d5fead166ae519045d20a1ca0b.tar
mesecons-9b58f8db29c545d5fead166ae519045d20a1ca0b.tar.gz
mesecons-9b58f8db29c545d5fead166ae519045d20a1ca0b.tar.bz2
mesecons-9b58f8db29c545d5fead166ae519045d20a1ca0b.tar.xz
mesecons-9b58f8db29c545d5fead166ae519045d20a1ca0b.zip
FPGA: Add 'unary' value to talbe. Document
-rw-r--r--mesecons_fpga/init.lua4
-rw-r--r--mesecons_fpga/logic.lua42
2 files changed, 30 insertions, 16 deletions
diff --git a/mesecons_fpga/init.lua b/mesecons_fpga/init.lua
index fe02835..6ba8f80 100644
--- a/mesecons_fpga/init.lua
+++ b/mesecons_fpga/init.lua
@@ -192,7 +192,7 @@ plg.to_formspec_string = function(is, err)
local function dropdown_action(x, y, name, val)
local selected = 0
local titles = { " " }
- for i, data in ipairs(lcore.get_operands()) do
+ for i, data in ipairs(lcore.get_operations()) do
titles[i + 1] = data.fs_name
if val == data.gate then
selected = i + 1
@@ -249,7 +249,7 @@ plg.from_formspec_fields = function(fields)
end
end
local function read_action(s)
- for i, data in ipairs(lcore.get_operands()) do
+ for i, data in ipairs(lcore.get_operations()) do
if data.fs_name == s then
return data.gate
end
diff --git a/mesecons_fpga/logic.lua b/mesecons_fpga/logic.lua
index 2f8c233..106f779 100644
--- a/mesecons_fpga/logic.lua
+++ b/mesecons_fpga/logic.lua
@@ -1,20 +1,25 @@
local lg = {}
-local operands = {
- -- index: Index in formspec
+local operations = {
+ -- table index: Index in the formspec dropdown
+ -- gate: Internal name
+ -- short: Serialized form, single character
+ -- fs_name: Display name, padded to 4 characters
+ -- func: Function that applies the operation
+ -- unary: Whether this gate only has one input
{ gate = "and", short = "&", fs_name = " AND", func = function(a, b) return a and b end },
{ gate = "or", short = "|", fs_name = " OR", func = function(a, b) return a or b end },
- { gate = "not", short = "~", fs_name = " NOT", func = function(a, b) return not b end },
+ { gate = "not", short = "~", fs_name = " NOT", func = function(a, b) return not b end, unary = true },
{ gate = "xor", short = "^", fs_name = " XOR", func = function(a, b) return a ~= b end },
{ gate = "nand", short = "?", fs_name = "NAND", func = function(a, b) return not (a and b) end },
- { gate = "buf", short = "_", fs_name = " =", func = function(a, b) return b end },
+ { gate = "buf", short = "_", fs_name = " =", func = function(a, b) return b end, unary = true },
{ gate = "xnor", short = "=", fs_name = "XNOR", func = function(a, b) return a == b end },
{ gate = "nor", short = "!", fs_name = " NOR", func = function(a, b) return not (a or b) end },
}
-lg.get_operands = function()
- return operands
+lg.get_operations = function()
+ return operations
end
-- (de)serialize
@@ -30,7 +35,7 @@ lg.serialize = function(t)
end
-- Serialize actions (gates) from eg. "and" to "&"
local function _action(action)
- for i, data in ipairs(operands) do
+ for i, data in ipairs(operations) do
if data.gate == action then
return data.short
end
@@ -61,7 +66,7 @@ lg.deserialize = function(s)
end
-- Deserialize actions (gates) from eg. "&" to "and"
local function _action(action)
- for i, data in ipairs(operands) do
+ for i, data in ipairs(operations) do
if data.short == action then
return data.gate
end
@@ -116,16 +121,25 @@ lg.validate_single = function(t, i)
return false
end
local elem = t[i]
+
+ local gate_data
+ for j, data in ipairs(operations) do
+ if data.gate == elem.action then
+ gate_data = data
+ break
+ end
+ end
+
-- check for completeness
- if elem.action == nil then
- return {i = i, msg = "Gate type required"}
- elseif elem.action == "not" or elem.action == "buf" then
+ if not gate_data then
+ return {i = i, msg = "Gate type is required"}
+ elseif gate_data.unary then
if elem.op1 ~= nil or elem.op2 == nil or elem.dst == nil then
- return {i = i, msg = "Second operand (only) and destination required"}
+ return {i = i, msg = "Second operand (only) and destination are required"}
end
else
if elem.op1 == nil or elem.op2 == nil or elem.dst == nil then
- return {i = i, msg = "Operands and destination required"}
+ return {i = i, msg = "Operands and destination are required"}
end
end
-- check whether operands/destination are identical
@@ -166,7 +180,7 @@ end
-- interpreter
lg.interpret = function(t, a, b, c, d)
local function _action(s, v1, v2)
- for i, data in ipairs(operands) do
+ for i, data in ipairs(operations) do
if data.gate == s then
return data.func(v1, v2)
end