Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

63 lines (48 sloc) 1.745 kb
(*pp camlp4o -I `ocamlfind query piqi.syntax` pa_labelscope.cmo pa_openin.cmo *)
(*
Copyright 2009, 2010, 2011, 2012 Anton Lavrik
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
*)
module C = Piqi_common
open C
module R = Piqobj.Record
module F = Piqobj.Field
module V = Piqobj.Variant
module E = Piqobj.Enum
module O = Piqobj.Option
module A = Piqobj.Alias
module Any = Piqobj.Any
module L = Piqobj.List
let type_of (x: Piqobj.obj) :T.piqtype =
(* XXX: built-in types should not be used at this point *)
match x with
| `int _ -> `int
| `uint _ -> `int
| `float _ -> `float
| `bool _ -> `bool
| `string _ -> `string
| `binary _ -> `binary
| `any _ -> `any
(* custom types *)
| `record x -> `record x.R#t
| `variant x -> `variant x.V#t
| `enum x -> `enum x.E#t
| `list x -> `list x.L#t
| `alias x -> `alias x.A#t
let full_typename x =
C.full_piqi_typename (type_of x)
let parse_default piqtype (default :T.any option) :Piqobj.obj option =
match default with
| _ when not !C.resolve_defaults -> None
| None -> None
| Some piqi_any ->
let any = Piqobj.any_of_piqi_any piqi_any in
Some (some_of any.Any#obj) (* obj must be resolved already *)
Jump to Line
Something went wrong with that request. Please try again.