I’m looking for some pointers on how to inject a fully customized @type
and defrecord
definitions from macro.
I’m creating a <<binary>>
<-> record()
serializer/deserializer generating code based on a textual description of data structure, not far from the idea of ProtoBuf (but with a much simpler binary representation). For each form I’d like to generate a record, a matching typedef and serialize(record) / deserialize(binary) functions.
Function generation part I have mostly sorted out, just type/record generation is missing. I figured out how to manually write the necessary AST, I just want to know if there’s some quote/unquote magic to make that the elegant way, as is suitable for the elegant language Elixir is.
My plan is to transform this:
protocol = [
sata_id_rep: [
cmd: @cmd_sata_id,
fields: [
{:channel, :int, 8, port()},
{:data, :bin, 512, sector()},
{:ata_status, :bin, 32, ata_status()}
]
]
]
into this:
Record.defrecord(:sata_id_rep, channel: nil, data: nil, ata_status: nil)
@type sata_id_rep :: record(:sata_id_rep, channel: port(), data: sector(), ata_status: ata_status())
def serialize(sata_id_rep(channel: channel, data: data, ata_status: ata_status)) do
<<@sata_id_rep,channel::8,data::binary-size(512),ata_status::binary-size(32)>>
end
def deserialize(<<@sata_id_rep,channel::8,data::binary-size(512),ata_status::binary-size(32)>>) do
sata_id_rep(channel: channel, data: data, ata_status: ata_status)
end
For example: how to express inquote
that in @type
the first occurrence of sata_id_rep
is without colon and the second one with one.
P.S. Of course I did read Metaprogramming Elixir. Didn’t help in my case. I’ve also inspected the source code of typed-struct
which didn’t help either (they work with Structs and @type has a fixed name t
).
Thanks in advance,