Document, element stubs

src/ojox/anchorElement.ml

@@ -0,0 +1,21 @@
+(*
+ * This file is part of ojox, a library for web browser programming
+ * Copyright (C) 2009 Jacob Donham
+ * Original file (user/src/com/google/gwt/dom/client/AnchorElement.java
+ * in the GWT source distribution) is Copyright 2009 Google Inc.
+ *
+ * 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.
+ *)
+
+let tAG = "a"
+

src/ojox/anchorElement.mli

@@ -0,0 +1,20 @@
+(*
+ * This file is part of ojox, a library for web browser programming
+ * Copyright (C) 2009 Jacob Donham
+ * Original file (user/src/com/google/gwt/dom/client/AnchorElement.java
+ * in the GWT source distribution) is Copyright 2009 Google Inc.
+ *
+ * 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.
+ *)
+
+val tAG : string

src/ojox/areaElement.ml

@@ -0,0 +1,21 @@
+(*
+ * This file is part of ojox, a library for web browser programming
+ * Copyright (C) 2009 Jacob Donham
+ * Original file (user/src/com/google/gwt/dom/client/AreaElement.java
+ * in the GWT source distribution) is Copyright 2009 Google Inc.
+ *
+ * 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.
+ *)
+
+let tAG = "area"
+

src/ojox/areaElement.mli

@@ -0,0 +1,20 @@
+(*
+ * This file is part of ojox, a library for web browser programming
+ * Copyright (C) 2009 Jacob Donham
+ * Original file (user/src/com/google/gwt/dom/client/AreaElement.java
+ * in the GWT source distribution) is Copyright 2009 Google Inc.
+ *
+ * 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.
+ *)
+
+val tAG : string

src/ojox/bRElement.ml

@@ -0,0 +1,21 @@
+(*
+ * This file is part of ojox, a library for web browser programming
+ * Copyright (C) 2009 Jacob Donham
+ * Original file (user/src/com/google/gwt/dom/client/BRElement.java
+ * in the GWT source distribution) is Copyright 2009 Google Inc.
+ *
+ * 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.
+ *)
+
+let tAG = "br"
+

src/ojox/bRElement.mli

@@ -0,0 +1,20 @@
+(*
+ * This file is part of ojox, a library for web browser programming
+ * Copyright (C) 2009 Jacob Donham
+ * Original file (user/src/com/google/gwt/dom/client/BRElement.java
+ * in the GWT source distribution) is Copyright 2009 Google Inc.
+ *
+ * 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.
+ *)
+
+val tAG : string

src/ojox/baseElement.ml

@@ -0,0 +1,21 @@
+(*
+ * This file is part of ojox, a library for web browser programming
+ * Copyright (C) 2009 Jacob Donham
+ * Original file (user/src/com/google/gwt/dom/client/BaseElement.java
+ * in the GWT source distribution) is Copyright 2009 Google Inc.
+ *
+ * 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.
+ *)
+
+let tAG = "base"
+

src/ojox/baseElement.mli

@@ -0,0 +1,20 @@
+(*
+ * This file is part of ojox, a library for web browser programming
+ * Copyright (C) 2009 Jacob Donham
+ * Original file (user/src/com/google/gwt/dom/client/BaseElement.java
+ * in the GWT source distribution) is Copyright 2009 Google Inc.
+ *
+ * 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.
+ *)
+
+val tAG : string

src/ojox/dListElement.ml

@@ -0,0 +1,21 @@
+(*
+ * This file is part of ojox, a library for web browser programming
+ * Copyright (C) 2009 Jacob Donham
+ * Original file (user/src/com/google/gwt/dom/client/DListElement.java
+ * in the GWT source distribution) is Copyright 2009 Google Inc.
+ *
+ * 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.
+ *)
+
+let tAG = "dl"
+

src/ojox/dListElement.mli

@@ -0,0 +1,20 @@
+(*
+ * This file is part of ojox, a library for web browser programming
+ * Copyright (C) 2009 Jacob Donham
+ * Original file (user/src/com/google/gwt/dom/client/DListElement.java
+ * in the GWT source distribution) is Copyright 2009 Google Inc.
+ *
+ * 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.
+ *)
+
+val tAG : string

src/ojox/dOMImpl.mli

@@ -21,7 +21,7 @@ open DOMTypes
 
 val buttonClick : buttonElement -> unit
 val createButtonElement : document -> string -> buttonElement
-val createElement : document -> string -> element
+val createElement : document -> string -> #element
 val createHtmlEvent : document -> string -> bool -> bool -> nativeEvent
 val createInputElement : document -> string -> inputElement
 val createInputRadioElement : document -> string -> inputElement
@@ -33,7 +33,7 @@ val createKeyEvent :
 
 val createMouseEvent :
   document ->
-  string -> bool -> bool -> int -> int -> int -> int -> int -> bool -> bool -> bool -> bool -> int -> element ->
+  string -> bool -> bool -> int -> int -> int -> int -> int -> bool -> bool -> bool -> bool -> int -> #element ->
   nativeEvent
 
 val createScriptElement : document -> string -> scriptElement

src/ojox/dOMImplAbstract.ml

@@ -163,7 +163,7 @@ let getParentElement node = <:rstmt<
 >>
 
 (* duplicated from Document to avoid recursive module reference *)
-let documentGetViewportElement doc =
+let documentGetViewportElement (doc : document) =
   if doc#_get_compatMode = "CSS1Compat"
   then doc#_get_documentElement
   else doc#_get_body