Current section
Files
Jump to
Current section
Files
src/aeb_fate_asm_scan.xrl
%%% -*- erlang-indent-level:4; indent-tabs-mode: nil -*-
%%%-------------------------------------------------------------------
%%% @copyright (C) 2019, aeternity Anstalt
%%% @doc
%%% Handling FATE code.
%%% @end
%%%
%%% === === N O T E : This file is generated do not edit. === ===
%%%
%%% Source is in aeb_fate_generate_ops.erl
%%% and aeb_fate_asm_scan.template
%%%-------------------------------------------------------------------
Definitions.
DIGIT = [0-9]
HEXDIGIT = [0-9a-fA-F]
LOWER = [a-z_]
UPPER = [A-Z]
BASE58 = [123456789ABCDEFGHJKLMNPQRSTUVWXYZabcdefghijkmnopqrstuvwxyz]
BASE64 = [A-Za-z0-9+/=]
INT = {DIGIT}+
HEX = 0x{HEXDIGIT}+
OBJECT = @[a-z][a-z]_{BASE58}+
BYTES = #{BASE64}+
WS = [\000-\s]
ID = {LOWER}[a-zA-Z0-9_]*
STRING = "[^"]*"
BITS = (\!)?\<[\s01]*\>
Rules.
arg{INT} : {token, {arg, TokenLine, parse_arg(TokenChars)}}.
var{INT} : {token, {var, TokenLine, parse_var(TokenChars)}}.
a : {token, {stack, TokenLine}}.
true : {token, {boolean, TokenLine, true}}.
false : {token, {boolean, TokenLine, false}}.
RETURN : {token, {mnemonic, TokenLine, 'RETURN'}}.
RETURNR : {token, {mnemonic, TokenLine, 'RETURNR'}}.
CALL : {token, {mnemonic, TokenLine, 'CALL'}}.
CALL_R : {token, {mnemonic, TokenLine, 'CALL_R'}}.
CALL_T : {token, {mnemonic, TokenLine, 'CALL_T'}}.
CALL_GR : {token, {mnemonic, TokenLine, 'CALL_GR'}}.
JUMP : {token, {mnemonic, TokenLine, 'JUMP'}}.
JUMPIF : {token, {mnemonic, TokenLine, 'JUMPIF'}}.
SWITCH_V2 : {token, {mnemonic, TokenLine, 'SWITCH_V2'}}.
SWITCH_V3 : {token, {mnemonic, TokenLine, 'SWITCH_V3'}}.
SWITCH_VN : {token, {mnemonic, TokenLine, 'SWITCH_VN'}}.
CALL_VALUE : {token, {mnemonic, TokenLine, 'CALL_VALUE'}}.
PUSH : {token, {mnemonic, TokenLine, 'PUSH'}}.
DUPA : {token, {mnemonic, TokenLine, 'DUPA'}}.
DUP : {token, {mnemonic, TokenLine, 'DUP'}}.
POP : {token, {mnemonic, TokenLine, 'POP'}}.
INCA : {token, {mnemonic, TokenLine, 'INCA'}}.
INC : {token, {mnemonic, TokenLine, 'INC'}}.
DECA : {token, {mnemonic, TokenLine, 'DECA'}}.
DEC : {token, {mnemonic, TokenLine, 'DEC'}}.
ADD : {token, {mnemonic, TokenLine, 'ADD'}}.
SUB : {token, {mnemonic, TokenLine, 'SUB'}}.
MUL : {token, {mnemonic, TokenLine, 'MUL'}}.
DIV : {token, {mnemonic, TokenLine, 'DIV'}}.
MOD : {token, {mnemonic, TokenLine, 'MOD'}}.
POW : {token, {mnemonic, TokenLine, 'POW'}}.
STORE : {token, {mnemonic, TokenLine, 'STORE'}}.
SHA3 : {token, {mnemonic, TokenLine, 'SHA3'}}.
SHA256 : {token, {mnemonic, TokenLine, 'SHA256'}}.
BLAKE2B : {token, {mnemonic, TokenLine, 'BLAKE2B'}}.
LT : {token, {mnemonic, TokenLine, 'LT'}}.
GT : {token, {mnemonic, TokenLine, 'GT'}}.
EQ : {token, {mnemonic, TokenLine, 'EQ'}}.
ELT : {token, {mnemonic, TokenLine, 'ELT'}}.
EGT : {token, {mnemonic, TokenLine, 'EGT'}}.
NEQ : {token, {mnemonic, TokenLine, 'NEQ'}}.
AND : {token, {mnemonic, TokenLine, 'AND'}}.
OR : {token, {mnemonic, TokenLine, 'OR'}}.
NOT : {token, {mnemonic, TokenLine, 'NOT'}}.
TUPLE : {token, {mnemonic, TokenLine, 'TUPLE'}}.
ELEMENT : {token, {mnemonic, TokenLine, 'ELEMENT'}}.
SETELEMENT : {token, {mnemonic, TokenLine, 'SETELEMENT'}}.
MAP_EMPTY : {token, {mnemonic, TokenLine, 'MAP_EMPTY'}}.
MAP_LOOKUP : {token, {mnemonic, TokenLine, 'MAP_LOOKUP'}}.
MAP_LOOKUPD : {token, {mnemonic, TokenLine, 'MAP_LOOKUPD'}}.
MAP_UPDATE : {token, {mnemonic, TokenLine, 'MAP_UPDATE'}}.
MAP_DELETE : {token, {mnemonic, TokenLine, 'MAP_DELETE'}}.
MAP_MEMBER : {token, {mnemonic, TokenLine, 'MAP_MEMBER'}}.
MAP_FROM_LIST : {token, {mnemonic, TokenLine, 'MAP_FROM_LIST'}}.
MAP_SIZE : {token, {mnemonic, TokenLine, 'MAP_SIZE'}}.
MAP_TO_LIST : {token, {mnemonic, TokenLine, 'MAP_TO_LIST'}}.
IS_NIL : {token, {mnemonic, TokenLine, 'IS_NIL'}}.
CONS : {token, {mnemonic, TokenLine, 'CONS'}}.
HD : {token, {mnemonic, TokenLine, 'HD'}}.
TL : {token, {mnemonic, TokenLine, 'TL'}}.
LENGTH : {token, {mnemonic, TokenLine, 'LENGTH'}}.
NIL : {token, {mnemonic, TokenLine, 'NIL'}}.
APPEND : {token, {mnemonic, TokenLine, 'APPEND'}}.
STR_JOIN : {token, {mnemonic, TokenLine, 'STR_JOIN'}}.
INT_TO_STR : {token, {mnemonic, TokenLine, 'INT_TO_STR'}}.
ADDR_TO_STR : {token, {mnemonic, TokenLine, 'ADDR_TO_STR'}}.
STR_REVERSE : {token, {mnemonic, TokenLine, 'STR_REVERSE'}}.
STR_LENGTH : {token, {mnemonic, TokenLine, 'STR_LENGTH'}}.
BYTES_TO_INT : {token, {mnemonic, TokenLine, 'BYTES_TO_INT'}}.
BYTES_TO_STR : {token, {mnemonic, TokenLine, 'BYTES_TO_STR'}}.
BYTES_CONCAT : {token, {mnemonic, TokenLine, 'BYTES_CONCAT'}}.
BYTES_SPLIT : {token, {mnemonic, TokenLine, 'BYTES_SPLIT'}}.
INT_TO_ADDR : {token, {mnemonic, TokenLine, 'INT_TO_ADDR'}}.
VARIANT : {token, {mnemonic, TokenLine, 'VARIANT'}}.
VARIANT_TEST : {token, {mnemonic, TokenLine, 'VARIANT_TEST'}}.
VARIANT_ELEMENT : {token, {mnemonic, TokenLine, 'VARIANT_ELEMENT'}}.
BITS_NONEA : {token, {mnemonic, TokenLine, 'BITS_NONEA'}}.
BITS_NONE : {token, {mnemonic, TokenLine, 'BITS_NONE'}}.
BITS_ALLA : {token, {mnemonic, TokenLine, 'BITS_ALLA'}}.
BITS_ALL : {token, {mnemonic, TokenLine, 'BITS_ALL'}}.
BITS_ALL_N : {token, {mnemonic, TokenLine, 'BITS_ALL_N'}}.
BITS_SET : {token, {mnemonic, TokenLine, 'BITS_SET'}}.
BITS_CLEAR : {token, {mnemonic, TokenLine, 'BITS_CLEAR'}}.
BITS_TEST : {token, {mnemonic, TokenLine, 'BITS_TEST'}}.
BITS_SUM : {token, {mnemonic, TokenLine, 'BITS_SUM'}}.
BITS_OR : {token, {mnemonic, TokenLine, 'BITS_OR'}}.
BITS_AND : {token, {mnemonic, TokenLine, 'BITS_AND'}}.
BITS_DIFF : {token, {mnemonic, TokenLine, 'BITS_DIFF'}}.
BALANCE : {token, {mnemonic, TokenLine, 'BALANCE'}}.
ORIGIN : {token, {mnemonic, TokenLine, 'ORIGIN'}}.
CALLER : {token, {mnemonic, TokenLine, 'CALLER'}}.
BLOCKHASH : {token, {mnemonic, TokenLine, 'BLOCKHASH'}}.
BENEFICIARY : {token, {mnemonic, TokenLine, 'BENEFICIARY'}}.
TIMESTAMP : {token, {mnemonic, TokenLine, 'TIMESTAMP'}}.
GENERATION : {token, {mnemonic, TokenLine, 'GENERATION'}}.
MICROBLOCK : {token, {mnemonic, TokenLine, 'MICROBLOCK'}}.
DIFFICULTY : {token, {mnemonic, TokenLine, 'DIFFICULTY'}}.
GASLIMIT : {token, {mnemonic, TokenLine, 'GASLIMIT'}}.
GAS : {token, {mnemonic, TokenLine, 'GAS'}}.
ADDRESS : {token, {mnemonic, TokenLine, 'ADDRESS'}}.
GASPRICE : {token, {mnemonic, TokenLine, 'GASPRICE'}}.
LOG0 : {token, {mnemonic, TokenLine, 'LOG0'}}.
LOG1 : {token, {mnemonic, TokenLine, 'LOG1'}}.
LOG2 : {token, {mnemonic, TokenLine, 'LOG2'}}.
LOG3 : {token, {mnemonic, TokenLine, 'LOG3'}}.
LOG4 : {token, {mnemonic, TokenLine, 'LOG4'}}.
SPEND : {token, {mnemonic, TokenLine, 'SPEND'}}.
ORACLE_REGISTER : {token, {mnemonic, TokenLine, 'ORACLE_REGISTER'}}.
ORACLE_QUERY : {token, {mnemonic, TokenLine, 'ORACLE_QUERY'}}.
ORACLE_RESPOND : {token, {mnemonic, TokenLine, 'ORACLE_RESPOND'}}.
ORACLE_EXTEND : {token, {mnemonic, TokenLine, 'ORACLE_EXTEND'}}.
ORACLE_GET_ANSWER : {token, {mnemonic, TokenLine, 'ORACLE_GET_ANSWER'}}.
ORACLE_GET_QUESTION : {token, {mnemonic, TokenLine, 'ORACLE_GET_QUESTION'}}.
ORACLE_QUERY_FEE : {token, {mnemonic, TokenLine, 'ORACLE_QUERY_FEE'}}.
AENS_RESOLVE : {token, {mnemonic, TokenLine, 'AENS_RESOLVE'}}.
AENS_PRECLAIM : {token, {mnemonic, TokenLine, 'AENS_PRECLAIM'}}.
AENS_CLAIM : {token, {mnemonic, TokenLine, 'AENS_CLAIM'}}.
AENS_UPDATE : {token, {mnemonic, TokenLine, 'AENS_UPDATE'}}.
AENS_TRANSFER : {token, {mnemonic, TokenLine, 'AENS_TRANSFER'}}.
AENS_REVOKE : {token, {mnemonic, TokenLine, 'AENS_REVOKE'}}.
BALANCE_OTHER : {token, {mnemonic, TokenLine, 'BALANCE_OTHER'}}.
VERIFY_SIG : {token, {mnemonic, TokenLine, 'VERIFY_SIG'}}.
VERIFY_SIG_SECP256K1 : {token, {mnemonic, TokenLine, 'VERIFY_SIG_SECP256K1'}}.
CONTRACT_TO_ADDRESS : {token, {mnemonic, TokenLine, 'CONTRACT_TO_ADDRESS'}}.
AUTH_TX_HASH : {token, {mnemonic, TokenLine, 'AUTH_TX_HASH'}}.
ORACLE_CHECK : {token, {mnemonic, TokenLine, 'ORACLE_CHECK'}}.
ORACLE_CHECK_QUERY : {token, {mnemonic, TokenLine, 'ORACLE_CHECK_QUERY'}}.
IS_ORACLE : {token, {mnemonic, TokenLine, 'IS_ORACLE'}}.
IS_CONTRACT : {token, {mnemonic, TokenLine, 'IS_CONTRACT'}}.
IS_PAYABLE : {token, {mnemonic, TokenLine, 'IS_PAYABLE'}}.
CREATOR : {token, {mnemonic, TokenLine, 'CREATOR'}}.
ECVERIFY_SECP256K1 : {token, {mnemonic, TokenLine, 'ECVERIFY_SECP256K1'}}.
ECRECOVER_SECP256K1 : {token, {mnemonic, TokenLine, 'ECRECOVER_SECP256K1'}}.
DEACTIVATE : {token, {mnemonic, TokenLine, 'DEACTIVATE'}}.
ABORT : {token, {mnemonic, TokenLine, 'ABORT'}}.
EXIT : {token, {mnemonic, TokenLine, 'EXIT'}}.
NOP : {token, {mnemonic, TokenLine, 'NOP'}}.
FUNCTION : {token, {function, TokenLine, 'FUNCTION' }}.
{BYTES} :
{token, {bytes, TokenLine, parse_hash(TokenChars)}}.
{OBJECT} :
{token, {object, TokenLine, parse_object(TokenChars)}}.
{ID} :
{token, {id, TokenLine, TokenChars}}.
{HEX} :
{token, {int, TokenLine, parse_hex(TokenChars)}}.
{INT} :
{token, {int, TokenLine, parse_int(TokenChars)}}.
-{INT} :
{token, {int, TokenLine, parse_int(TokenChars)}}.
%% Due to the definition of STRING the tokens start and end with a quote ".
{STRING} :
{token, {string, TokenLine, unicode:characters_to_binary(
lists:sublist(TokenChars, 2, length(TokenChars) - 2))}}.
{BITS} :
{token, {bits, TokenLine, bits(TokenChars)}}.
%% Symbols
\-\> : {token, {to, TokenLine}}.
\: : {token, {to, TokenLine}}.
\=\> : {token, {arrow, TokenLine}}.
\(\| : {token, {start_variant, TokenLine}}.
\|\) : {token, {end_variant, TokenLine}}.
, : {token, {',', TokenLine}}.
\( : {token, {'(', TokenLine}}.
\) : {token, {')', TokenLine}}.
\[ : {token, {'[', TokenLine}}.
\] : {token, {']', TokenLine}}.
\{ : {token, {'{', TokenLine}}.
\} : {token, {'}', TokenLine}}.
\| : {token, {'|', TokenLine}}.
\' : {token, {typerep, TokenLine}}.
;;.* :
{token, {comment, TokenLine, drop_prefix($;, TokenChars)}}.
\. : skip_token.
%% Whitespace ignore
{WS} : skip_token.
%% Comments (TODO: nested comments)
. : {error, "Unexpected token: " ++ TokenChars}.
Erlang code.
-export([scan/1]).
-dialyzer({nowarn_function, yyrev/2}).
-ignore_xref([format_error/1, string/2, token/2, token/3, tokens/2, tokens/3]).
-include_lib("aebytecode/include/aeb_fate_opcodes.hrl").
parse_hex("0x" ++ Chars) -> list_to_integer(Chars, 16).
parse_int(Chars) -> list_to_integer(Chars).
parse_arg("arg" ++ N) -> list_to_integer(N).
parse_var("var" ++ N) -> list_to_integer(N).
parse_hash("#" ++ Chars) ->
base64:decode(Chars).
parse_object([_|Chars]) ->
case aeser_api_encoder:decode(unicode:characters_to_binary(Chars)) of
{account_pubkey, Bin} -> {address, Bin};
{contract_pubkey, Bin} -> {contract, Bin};
{oracle_pubkey, Bin} -> {oracle, Bin};
{oracle_query_id, Bin} -> {oracle_query, Bin};
{channel, Bin} -> {channel, Bin};
{signature, Bin} -> {signature, Bin}
end.
scan(S) ->
string(S).
drop_prefix(C, [C|Rest]) ->
drop_prefix(C, Rest);
drop_prefix(_, Tail) -> Tail.
bits([$!, $< | Rest]) ->
bits(Rest, -1);
bits([$< | Rest]) ->
bits(Rest, 0).
bits([$> |_Rest], Acc) -> Acc;
bits([$0 | Rest], Acc) -> bits(Rest, Acc bsl 1);
bits([$1 | Rest], Acc) -> bits(Rest, (Acc bsl 1) bor 1);
bits([$ | Rest], Acc) -> bits(Rest, Acc).