Working with Michelson code

Expanding macros

class pytezos.michelson.macros.PxrNode(depth, annots, args, is_root)

property annots

Alias for field number 1

property args

Alias for field number 2

property depth

Alias for field number 0

property is_root

Alias for field number 3

pytezos.michelson.macros.build_pxr_tree(pxr_macro, pxr_annots) → pytezos.michelson.macros.PxrNode

pytezos.michelson.macros.dip_n(instr, depth=1)

pytezos.michelson.macros.expand_assert(prim, annots, args) → dict

pytezos.michelson.macros.expand_assert_cmpx(prim, annots, args) → list

pytezos.michelson.macros.expand_assert_left(prim, annots, args) → dict

pytezos.michelson.macros.expand_assert_none(prim, annots, args) → dict

pytezos.michelson.macros.expand_assert_right(prim, annots, args) → dict

pytezos.michelson.macros.expand_assert_some(prim, annots, args) → dict

pytezos.michelson.macros.expand_assert_x(prim, annots, args) → list

pytezos.michelson.macros.expand_caxr(prim, annots, args) → list

pytezos.michelson.macros.expand_cdxr(prim, annots, args) → list

pytezos.michelson.macros.expand_cmpx(prim, annots, args) → list

pytezos.michelson.macros.expand_cxr(prim, annots) → list

pytezos.michelson.macros.expand_dixp(prim, annots, args) → dict

pytezos.michelson.macros.expand_duxp(prim, annots, args) → list

pytezos.michelson.macros.expand_fail(prim, annots, args) → list

pytezos.michelson.macros.expand_if_right(prim, annots, args) → dict

pytezos.michelson.macros.expand_if_some(prim, annots, args) → dict

pytezos.michelson.macros.expand_ifcmpx(prim, annots, args) → list

pytezos.michelson.macros.expand_ifx(prim, annots, args) → list

pytezos.michelson.macros.expand_macro(prim, annots, args, internal=False, extra=None)

Expands Michelson macro.

Parameters

• prim – macro name

• annots – annotations (optional)

• args – arguments (optional)

• internal – this function is called during another mocro expansion

• extra – list of ignored primitives

Returns

Code sequence (Micheline expression)

pytezos.michelson.macros.expand_map_car(prim, annots, args) → list

pytezos.michelson.macros.expand_map_caxr(prim, annots, args) → list

pytezos.michelson.macros.expand_map_cdr(prim, annots, args) → list

pytezos.michelson.macros.expand_map_cdxr(prim, annots, args) → list

pytezos.michelson.macros.expand_map_cxr(prim, annots, args)

pytezos.michelson.macros.expand_pxr(prim, annots, args) → list

pytezos.michelson.macros.expand_set_car(prim, annots, args) → list

pytezos.michelson.macros.expand_set_caxr(prim, annots, args) → list

pytezos.michelson.macros.expand_set_cdr(prim, annots, args) → list

pytezos.michelson.macros.expand_set_cdxr(prim, annots, args) → list

pytezos.michelson.macros.expand_set_cxr(prim, annots)

pytezos.michelson.macros.expand_unpair(prim, annots, args) → list

pytezos.michelson.macros.expand_unpxr(prim, annots, args) → list

pytezos.michelson.macros.expr(**kwargs) → dict

pytezos.michelson.macros.get_field_annots(annots)

pytezos.michelson.macros.get_map_cxr_annots(annots) → Tuple[str, list]

pytezos.michelson.macros.get_var_annots(annots)

pytezos.michelson.macros.macro(regexp)

pytezos.michelson.macros.seq(instr=None) → list

pytezos.michelson.macros.skip_nones(array)

pytezos.michelson.macros.traverse_pxr_tree(prim, annots, produce)

Parsing AST

class pytezos.michelson.grammar.MichelsonParser(debug=False, write_tables=False, extra_primitives=None)

Customizable Michelson parser

p_annot(p)

annot : ANNOT

p_annots(p)

annots : annot | empty

p_annots_list(p)

annots : annots annot

p_arg_byte(p)

arg : BYTE

p_arg_group(p)

arg : LEFT_PAREN expr RIGHT_PAREN

p_arg_int(p)

arg : INT

p_arg_prim(p)

arg : PRIM

p_arg_str(p)

arg : STR

p_arg_subseq(p)

arg : LEFT_CURLY instr RIGHT_CURLY

p_args(p)

args : arg | empty

p_args_list(p)

args : args arg

p_empty(p)

empty :

p_error(p)

p_expr(p)

expr : PRIM annots args

p_instr(p)

instr : expr | empty

p_instr_byte(p)

instr : BYTE

p_instr_int(p)

instr : INT

p_instr_list(p)

instr : instr SEMI instr

p_instr_str(p)

instr : STR

p_instr_subseq(p)

instr : LEFT_CURLY instr RIGHT_CURLY

parse(code)

Parse Michelson source.

Parameters

code – Michelson source

Returns

Micheline expression

tokens = ('INT', 'BYTE', 'STR', 'ANNOT', 'PRIM', 'LEFT_CURLY', 'RIGHT_CURLY', 'LEFT_PAREN', 'RIGHT_PAREN', 'SEMI')

exception pytezos.michelson.grammar.MichelsonParserError(token: ply.lex.LexToken, message=None)

class pytezos.michelson.grammar.Sequence

class pytezos.michelson.grammar.SimpleMichelsonLexer

t_ANNOT = '[:@%]+([_0-9a-zA-Z\\.]*)?'

t_BYTE = '0x[A-Fa-f0-9]*'

t_INT = '-?[0-9]+'

t_LEFT_CURLY = '\\{'

t_LEFT_PAREN = '\\('

t_PRIM = '[A-Za-z][A-Za-z0-9_]+'

t_RIGHT_CURLY = '\\}'

t_RIGHT_PAREN = '\\)'

t_SEMI = ';'

t_STR = '\\"(\\\\.|[^\\"])*\\"'

t_error(t)

t_ignore = ' \t\r\n\x0c'

t_ignore_COMMENT = '#[^\\n]*'

t_ignore_MULTI_COMMENT = '/\\*.*?\\*/'

tokens = ('INT', 'BYTE', 'STR', 'ANNOT', 'PRIM', 'LEFT_CURLY', 'RIGHT_CURLY', 'LEFT_PAREN', 'RIGHT_PAREN', 'SEMI')

Code formatter

exception pytezos.michelson.formatter.MichelsonFormatterError

pytezos.michelson.formatter.format_timestamp(timestamp: int) → str

Format unix timestamp.

Parameters

timestamp – Unix timestamp (seconds)

pytezos.michelson.formatter.micheline_to_michelson(data, inline=False, wrap=False) → str

Converts micheline expression into formatted Michelson source.

Parameters

• data – Micheline expression

• inline – produce single line, used for tezos-client arguments (False by default)

• wrap – ensure expression is wrapped in brackets