Skip to content

Commit

Permalink
adding enum truthiness
Browse files Browse the repository at this point in the history
Signed-off-by: vsoch <vsoch@users.noreply.github.com>
  • Loading branch information
vsoch committed Jul 13, 2022
1 parent ea070fa commit c4b193c
Show file tree
Hide file tree
Showing 2 changed files with 241 additions and 0 deletions.
14 changes: 14 additions & 0 deletions enum/atoms.truth.asp
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@

%============================================================================
% Library Facts
%============================================================================

%----------------------------------------------------------------------------
% Library: example
%----------------------------------------------------------------------------
abi_typelocation("example","_Z8sizefunc8SizeEnum","Import","Integer64","%rdi").
abi_typelocation("example","_Z8boolfunc8BoolEnum","Import","Integer8","%rdi").
abi_typelocation("example","_Z8enumfunc8CharEnum","Import","Integer8","%rdi").
abi_typelocation("example","_Z11print_color5Color","Import","Integer32","%rdi").
abi_typelocation("example","_Z11print_color5Color","Export","Integer32","%rax").
abi_typelocation("example","_Z3foo14ColorClassEnum","Import","Integer32","%rdi").
227 changes: 227 additions & 0 deletions enum/facts.truth.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,227 @@
{
"library": "/home/vanessa/Desktop/Code/smeagle-examples/enum/example",
"locations": [
{
"function": {
"name": "_Z8sizefunc8SizeEnum",
"class": "Function",
"parameters": [
{
"name": "c",
"type": "15e2741a97d17c7c11211cd33155a5fc",
"direction": "import",
"location": "%rdi"
}
],
"return": {
"location": "none",
"type": "void",
"class": "Void",
"direction": "export"
}
}
},
{
"function": {
"name": "_Z8boolfunc8BoolEnum",
"class": "Function",
"parameters": [
{
"name": "c",
"type": "d733aac69b7b6275ff814935599cede6",
"direction": "import",
"location": "%rdi"
}
],
"return": {
"location": "none",
"type": "void",
"class": "Void",
"direction": "export"
}
}
},
{
"function": {
"name": "_Z8enumfunc8CharEnum",
"class": "Function",
"parameters": [
{
"name": "c",
"type": "cac15ab977da00c5206209fcc5591d65",
"direction": "import",
"location": "%rdi"
}
],
"return": {
"location": "none",
"type": "void",
"class": "Void",
"direction": "export"
}
}
},
{
"function": {
"name": "_Z11print_color5Color",
"class": "Function",
"parameters": [
{
"name": "r",
"type": "3edc0d2f7db195a904a2c82fb8dc21c5",
"direction": "import",
"location": "%rdi"
}
],
"return": {
"type": "3edc0d2f7db195a904a2c82fb8dc21c5",
"direction": "export",
"location": "%rax"
}
}
},
{
"function": {
"name": "_Z3foo14ColorClassEnum",
"class": "Function",
"parameters": [
{
"name": "c",
"type": "0cf43b197cf3ea9f2525df5f81833d3c",
"direction": "import",
"location": "%rdi"
}
],
"return": {
"location": "none",
"type": "void",
"class": "Void",
"direction": "export"
}
}
}
],
"types": {
"7a2f32ee5b8a01b41c1806555f194fe7": {
"type": "long unsigned int",
"size": 8,
"class": "Integer"
},
"15e2741a97d17c7c11211cd33155a5fc": {
"name": "SizeEnum",
"size": 8,
"type": "7a2f32ee5b8a01b41c1806555f194fe7",
"class": "Enum",
"fields": [
{
"name": "a",
"value": 1
},
{
"name": "b",
"value": 2
},
{
"name": "c",
"value": 3
}
]
},
"20ef28a223bc4bb32b11358764322945": {
"type": "bool",
"size": 1,
"class": "Integer"
},
"d733aac69b7b6275ff814935599cede6": {
"name": "BoolEnum",
"size": 1,
"type": "20ef28a223bc4bb32b11358764322945",
"class": "Enum",
"fields": [
{
"name": "a",
"value": 1
},
{
"name": "b",
"value": 0
}
]
},
"dbef5bff425a8e631e2bc5fba7cc20e6": {
"type": "char",
"size": 1,
"class": "Integer"
},
"cac15ab977da00c5206209fcc5591d65": {
"name": "CharEnum",
"size": 1,
"type": "dbef5bff425a8e631e2bc5fba7cc20e6",
"class": "Enum",
"fields": [
{
"name": "h",
"value": 104
},
{
"name": "i",
"value": 105
},
{
"name": "j",
"value": 106
}
]
},
"23c8dbaade46c0452e1e8a42755e7087": {
"type": "unsigned int",
"size": 4,
"class": "Integer"
},
"3edc0d2f7db195a904a2c82fb8dc21c5": {
"name": "Color",
"size": 4,
"type": "23c8dbaade46c0452e1e8a42755e7087",
"class": "Enum",
"fields": [
{
"name": "red",
"value": 0
},
{
"name": "green",
"value": 1
},
{
"name": "blue",
"value": 2
}
]
},
"9c67aaa6ef89dd4db8543f00bd1f472f": {
"type": "int",
"size": 4,
"class": "Integer"
},
"0cf43b197cf3ea9f2525df5f81833d3c": {
"name": "ColorClassEnum",
"size": 4,
"type": "9c67aaa6ef89dd4db8543f00bd1f472f",
"class": "Enum",
"fields": [
{
"name": "red",
"value": -77
},
{
"name": "blue",
"value": 14
},
{
"name": "green",
"value": 0
}
]
}
}
}

0 comments on commit c4b193c

Please sign in to comment.