74 lines
3.3 KiB
OCaml
74 lines
3.3 KiB
OCaml
|
(**************************************************************************)
|
||
|
|
(* *)
|
||
|
|
(* Copyright (c) 2014 - 2016. *)
|
||
|
|
(* Dynamic Ledger Solutions, Inc. <contact@tezos.com> *)
|
||
|
|
(* *)
|
||
|
|
(* All rights reserved. No warranty, explicit or implicit, provided. *)
|
||
|
|
(* *)
|
||
|
|
(**************************************************************************)
|
||
|
|
|
||
|
|
(** The abstract syntax tree of Micheline expressions. The first
|
||
|
|
parameter is used to conatin locations, but can also embed custom
|
||
|
|
data. The second parameter is the type of primitive names. *)
|
||
|
|
type ('l, 'p) node =
|
||
|
|
| Int of 'l * string
|
||
|
|
| String of 'l * string
|
||
|
|
| Prim of 'l * 'p * ('l, 'p) node list * string option
|
||
|
|
| Seq of 'l * ('l, 'p) node list * string option
|
||
|
|
|
||
|
|
(** Encoding for expressions, as their {!canonical} encoding.
|
||
|
|
Locations are stored in a side table. *)
|
||
|
|
val table_encoding :
|
||
|
|
'l Data_encoding.encoding -> 'p Data_encoding.encoding ->
|
||
|
|
('l, 'p) node Data_encoding.encoding
|
||
|
|
|
||
|
|
(** Encoding for expressions, as their {!canonical} encoding.
|
||
|
|
Locations are erased when serialized, and restored to a provided
|
||
|
|
default value when deserialized. *)
|
||
|
|
val erased_encoding :
|
||
|
|
'l -> 'p Data_encoding.encoding -> ('l, 'p) node Data_encoding.encoding
|
||
|
|
|
||
|
|
(** Extract the location of the node. *)
|
||
|
|
val location : ('l, 'p) node -> 'l
|
||
|
|
|
||
|
|
(** Extract the annotation of the node. *)
|
||
|
|
val annotation : ('l, 'p) node -> string option
|
||
|
|
|
||
|
|
(** Expression form using canonical integer numbering as
|
||
|
|
locations. The root has number zero, and each node adds one in the
|
||
|
|
order of infix traversal. To be used when locations are not
|
||
|
|
important, or when one wants to attach properties to nodes in an
|
||
|
|
expression without rewriting it (using an indirection table with
|
||
|
|
canonical locations as keys). *)
|
||
|
|
type 'p canonical
|
||
|
|
|
||
|
|
(** Canonical integer locations that appear inside {!canonical} expressions. *)
|
||
|
|
type canonical_location = int
|
||
|
|
|
||
|
|
(** Encoding for canonical integer locations. *)
|
||
|
|
val canonical_location_encoding : canonical_location Data_encoding.encoding
|
||
|
|
|
||
|
|
(** Encoding for expressions in canonical form. *)
|
||
|
|
val canonical_encoding : 'l Data_encoding.encoding -> 'l canonical Data_encoding.encoding
|
||
|
|
|
||
|
|
(** Compute the canonical form of an expression.
|
||
|
|
Drops the concrete locations completely. *)
|
||
|
|
val strip_locations : (_, 'p) node -> 'p canonical
|
||
|
|
|
||
|
|
(** Give the root node of an expression in canonical form. *)
|
||
|
|
val root : 'p canonical -> (canonical_location, 'p) node
|
||
|
|
|
||
|
|
(** Compute the canonical form of an expression.
|
||
|
|
Saves the concrete locations in an association list. *)
|
||
|
|
val extract_locations : ('l, 'p) node -> 'p canonical * (canonical_location * 'l) list
|
||
|
|
|
||
|
|
(** Transforms an expression in canonical form into a polymorphic one.
|
||
|
|
Takes a mapping function to inject the concrete locations. *)
|
||
|
|
val inject_locations : (canonical_location -> 'l) -> 'p canonical -> ('l, 'p) node
|
||
|
|
|
||
|
|
(** Copies the tree, updating its primitives. *)
|
||
|
|
val map : ('a -> 'b) -> 'a canonical -> 'b canonical
|
||
|
|
|
||
|
|
(** Copies the tree, updating its primitives and locations. *)
|
||
|
|
val map_node : ('la -> 'lb) -> ('pa -> 'pb) -> ('la, 'pa) node -> ('lb, 'pb) node
|