Source file data.ml

open Core
module Syntax = Webidl_syntax
open Syntax.Ast

type attribute =
  { is_static : bool
  ; is_readonly : bool
  ; is_inherit : bool
  ; type_with_ext : type_with_ext
  ; name : string
  }
[@@deriving sexp]

type special =
  [ `Getter
  | `Setter
  | `Deleter
  | `Legacycaller
  ]
[@@deriving sexp]

type operation =
  { specials : special list
  ; is_static : bool
  ; return_type : return_type
  ; ident : string option
  ; arguments : (extends * argument) list
  }
[@@deriving sexp]

type dictionary_member =
  { is_required : bool
  ; type_with_ext : type_with_ext
  ; ident : string
  ; default : default_value option
  }
[@@deriving sexp]

type dictionary =
  { ident : string
  ; inheritance : string option
  ; dictionary_members : (extends * dictionary_member) list
  }
[@@deriving sexp]

type operation_or_attribute =
  [ `Operation of operation
  | `Attribute of attribute
  ]
[@@deriving sexp]

type namespace_member = operation_or_attribute [@@deriving sexp]

type namespace =
  { ident : string
  ; namespace_members : (extends * namespace_member) list
  }
[@@deriving sexp]

type pattern_list =
  [ `Getter
  | `Identifiers of string list
  | `None
  ]
[@@deriving sexp]

type maplike =
  { is_readonly : bool
  ; key_type : type_with_ext
  ; value_type : type_with_ext
  }
[@@deriving sexp]

type setlike =
  { is_readonly : bool
  ; key_type : type_with_ext
  }
[@@deriving sexp]

type interface_member =
  [ `Const of const_type * string * const_value
  | `Operation of operation
  | `Stringifier of [ operation_or_attribute | `None ]
  | `Iterable of type_with_ext * type_with_ext option
  | `Attribute of attribute
  | `Maplike of maplike
  | `Setlike of setlike
  ]
[@@deriving sexp]

type interface =
  { ident : string
  ; inheritance : string option
  ; interface_members : (extends * interface_member) list
  }
[@@deriving sexp]

type mixin_member =
  [ `Const of const_type * string * const_value
  | `Operation of operation
  | `Stringifier of [ operation_or_attribute | `None ]
  | `Attribute of attribute
  | `Maplike of maplike
  | `Setlike of setlike
  ]
[@@deriving sexp]

type mixin =
  { ident : string
  ; mixin_members : (extends * mixin_member) list
  }
[@@deriving sexp]

type partial =
  [ `Interface of interface
  | `Mixin of mixin
  | `Dictionary of dictionary
  | `Namespace of namespace
  ]
[@@deriving sexp]

type callback =
  [ `Operation of operation
  | `Interface of interface
  ]
[@@deriving sexp]

type definition =
  [ `Callback of callback
  | `Interface of interface
  | `Mixin of mixin
  | `Namespace of namespace
  | `Partial of partial
  | `Dictionary of dictionary
  | `Enum of string * string list
  | `Typedef of type_with_ext * string
  | `Implements of string * string
  | `Includes of string * string
  ]
[@@deriving sexp]

type definitions = (extends * definition) list [@@deriving sexp]