package ocaml-protoc

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Type tree construction
Testing Only

Pure OCaml compiler for .proto files

Install

dune-project

Dependency

github.com Readme Changelog Edit opam file Versions (21)

Authors

Maintainers

Sources

ocaml-protoc-4.0.tbz

sha256=88533848ee8ad662bfb063f34932286405977fa3810515b997119b06f05105e4

sha512=df12c71f7181eafc94cd0fc400edf7f258cdd3740a5badafce097f771b7828fed9a9a9c0a457e7e118848a8b1ddd87fe3134a5bdf88d4adcb0d0e04ba6808c5f

doc/ocaml-protoc.compiler-lib/Ocaml_protoc_compiler_lib/Pb_typing_validation/index.html

Module `Ocaml_protoc_compiler_lib.Pb_typing_validation`Source

Typed tree construction and validation

This module focuses on building the Type tree from the parse tree and provides a number of validation in doing so.

Not that the field types are not resolved, and the returned type tree is hence of type unresolved_field_type Pb_typing_type_tree.proto_type. The type resolution is done in Pb_typing_resolution

Sourcemodule Pt = Pb_parsing_parse_tree

Sourcemodule Tt = Pb_typing_type_tree

Type tree construction

Sourceval validate : Pt.proto -> Pb_field_type.unresolved Tt.proto

validate file_name proto makes a first phase compilation of the parsed tree.

Testing Only

Source

val validate_message : 
  string ->
  Pb_option.set ->
  Tt.type_scope ->
  Pt.message ->
  Pb_field_type.unresolved Tt.proto_type list

Sourceval compile_options : Pb_raw_option.set -> Pb_option.set