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 (22)

Authors

Maintainers

Sources

ocaml-protoc-4.1.tbz

sha256=89ea27f87d96fda79fd7a8f86a9e3ac978bdaa9c2ab989442d110123104bed3f

sha512=d5910fa17d60754c0ba273e4fa96137bb1129fbbc235a6601960a1cafb2ef41627b06a6486e539c5b206b73c249fe834ba910b2ce741d5f8ded137f042bbce4d

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