2013-05-30 07:06:42 +00:00
|
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
|
|
|
|
#[link(name = "script",
|
|
|
|
vers = "0.1",
|
|
|
|
uuid = "536a45e2-b605-4ee0-b54c-466810f1ffc1",
|
|
|
|
url = "http://servo.org/")];
|
|
|
|
|
|
|
|
#[comment = "The Servo Parallel Browser Project"];
|
|
|
|
#[license = "MPL"];
|
|
|
|
#[crate_type = "lib"];
|
|
|
|
|
|
|
|
extern mod geom;
|
|
|
|
extern mod gfx (name = "gfx");
|
|
|
|
extern mod hubbub;
|
|
|
|
extern mod js;
|
|
|
|
extern mod netsurfcss;
|
|
|
|
extern mod newcss (name = "css");
|
|
|
|
extern mod servo_net (name = "net");
|
|
|
|
extern mod servo_util (name = "util");
|
2013-06-20 05:00:30 +00:00
|
|
|
extern mod servo_msg (name = "msg");
|
2013-06-26 22:36:53 +00:00
|
|
|
extern mod extra;
|
2013-05-30 07:06:42 +00:00
|
|
|
|
|
|
|
pub mod dom {
|
|
|
|
pub mod bindings {
|
|
|
|
pub mod element;
|
|
|
|
pub mod node;
|
|
|
|
pub mod utils;
|
|
|
|
pub mod conversions;
|
|
|
|
pub mod proxyhandler;
|
|
|
|
pub mod domparser;
|
|
|
|
pub mod codegen {
|
2013-08-27 22:33:32 +00:00
|
|
|
pub use self::BindingDeclarations::*;
|
|
|
|
pub mod InterfaceTypes;
|
2013-07-12 18:27:29 +00:00
|
|
|
pub mod PrototypeList;
|
|
|
|
pub mod RegisterBindings;
|
2013-08-27 22:33:32 +00:00
|
|
|
pub mod BindingDeclarations;
|
2013-05-30 07:06:42 +00:00
|
|
|
}
|
|
|
|
}
|
2013-08-27 22:33:32 +00:00
|
|
|
|
|
|
|
pub mod types {
|
|
|
|
pub use super::bindings::codegen::InterfaceTypes::*;
|
|
|
|
}
|
|
|
|
|
2013-07-03 19:23:04 +00:00
|
|
|
pub mod blob;
|
2013-05-30 07:06:42 +00:00
|
|
|
pub mod characterdata;
|
|
|
|
pub mod clientrect;
|
|
|
|
pub mod clientrectlist;
|
2013-08-29 00:48:38 +00:00
|
|
|
pub mod comment;
|
2013-05-30 07:06:42 +00:00
|
|
|
pub mod document;
|
2013-10-14 15:49:11 +00:00
|
|
|
pub mod documentfragment;
|
2013-08-29 00:48:38 +00:00
|
|
|
pub mod documenttype;
|
2013-05-30 07:06:42 +00:00
|
|
|
pub mod domparser;
|
|
|
|
pub mod element;
|
|
|
|
pub mod event;
|
|
|
|
pub mod eventtarget;
|
2013-07-03 19:23:04 +00:00
|
|
|
pub mod formdata;
|
2013-08-06 23:03:40 +00:00
|
|
|
pub mod htmlanchorelement;
|
2013-08-23 07:21:30 +00:00
|
|
|
pub mod htmlappletelement;
|
|
|
|
pub mod htmlareaelement;
|
2013-09-03 17:46:00 +00:00
|
|
|
pub mod htmlaudioelement;
|
2013-08-23 07:21:30 +00:00
|
|
|
pub mod htmlbaseelement;
|
2013-08-08 12:57:47 +00:00
|
|
|
pub mod htmlbodyelement;
|
2013-08-09 14:49:39 +00:00
|
|
|
pub mod htmlbrelement;
|
2013-08-27 01:54:36 +00:00
|
|
|
pub mod htmlbuttonelement;
|
2013-08-11 00:00:27 +00:00
|
|
|
pub mod htmlcanvaselement;
|
2013-05-30 07:06:42 +00:00
|
|
|
pub mod htmlcollection;
|
2013-08-23 07:21:30 +00:00
|
|
|
pub mod htmldataelement;
|
2013-08-27 01:54:36 +00:00
|
|
|
pub mod htmldatalistelement;
|
|
|
|
pub mod htmldirectoryelement;
|
2013-08-27 22:33:32 +00:00
|
|
|
pub mod htmldivelement;
|
2013-08-21 16:12:41 +00:00
|
|
|
pub mod htmldlistelement;
|
2013-07-30 20:30:24 +00:00
|
|
|
pub mod htmldocument;
|
2013-08-06 23:03:40 +00:00
|
|
|
pub mod htmlelement;
|
2013-08-27 01:54:36 +00:00
|
|
|
pub mod htmlembedelement;
|
|
|
|
pub mod htmlfieldsetelement;
|
|
|
|
pub mod htmlfontelement;
|
2013-08-27 22:33:32 +00:00
|
|
|
pub mod htmlformelement;
|
2013-08-27 01:54:36 +00:00
|
|
|
pub mod htmlframeelement;
|
|
|
|
pub mod htmlframesetelement;
|
2013-08-27 22:33:32 +00:00
|
|
|
pub mod htmlheadelement;
|
2013-08-27 01:54:36 +00:00
|
|
|
pub mod htmlheadingelement;
|
2013-08-07 17:36:38 +00:00
|
|
|
pub mod htmlhrelement;
|
2013-08-27 22:33:32 +00:00
|
|
|
pub mod htmlhtmlelement;
|
2013-08-08 13:51:57 +00:00
|
|
|
pub mod htmliframeelement;
|
2013-08-07 01:57:35 +00:00
|
|
|
pub mod htmlimageelement;
|
2013-08-24 01:30:27 +00:00
|
|
|
pub mod htmlinputelement;
|
2013-09-03 17:46:00 +00:00
|
|
|
pub mod htmllabelelement;
|
|
|
|
pub mod htmllegendelement;
|
2013-08-24 01:30:27 +00:00
|
|
|
pub mod htmllielement;
|
2013-08-23 07:21:30 +00:00
|
|
|
pub mod htmllinkelement;
|
2013-10-19 02:22:08 +00:00
|
|
|
pub mod htmlmainelement;
|
2013-08-27 01:54:36 +00:00
|
|
|
pub mod htmlmapelement;
|
2013-09-03 17:46:00 +00:00
|
|
|
pub mod htmlmediaelement;
|
2013-08-08 15:51:39 +00:00
|
|
|
pub mod htmlmetaelement;
|
2013-08-29 00:48:38 +00:00
|
|
|
pub mod htmlmeterelement;
|
|
|
|
pub mod htmlmodelement;
|
|
|
|
pub mod htmlobjectelement;
|
2013-08-08 14:36:50 +00:00
|
|
|
pub mod htmlolistelement;
|
2013-08-29 00:48:38 +00:00
|
|
|
pub mod htmloptgroupelement;
|
|
|
|
pub mod htmloptionelement;
|
|
|
|
pub mod htmloutputelement;
|
2013-08-27 22:33:32 +00:00
|
|
|
pub mod htmlparagraphelement;
|
2013-08-29 00:48:38 +00:00
|
|
|
pub mod htmlparamelement;
|
2013-09-03 17:46:00 +00:00
|
|
|
pub mod htmlpreelement;
|
2013-08-24 01:30:27 +00:00
|
|
|
pub mod htmlprogresselement;
|
|
|
|
pub mod htmlquoteelement;
|
2013-08-07 17:36:38 +00:00
|
|
|
pub mod htmlscriptelement;
|
2013-08-29 00:48:38 +00:00
|
|
|
pub mod htmlselectelement;
|
2013-08-27 22:33:32 +00:00
|
|
|
pub mod htmlspanelement;
|
2013-08-23 07:21:30 +00:00
|
|
|
pub mod htmlsourceelement;
|
2013-08-08 15:51:39 +00:00
|
|
|
pub mod htmlstyleelement;
|
|
|
|
pub mod htmltableelement;
|
2013-08-24 01:30:27 +00:00
|
|
|
pub mod htmltablecaptionelement;
|
|
|
|
pub mod htmltablecellelement;
|
2013-10-15 14:12:52 +00:00
|
|
|
pub mod htmltabledatacellelement;
|
|
|
|
pub mod htmltableheadercellelement;
|
2013-08-24 01:30:27 +00:00
|
|
|
pub mod htmltablecolelement;
|
2013-08-09 16:18:40 +00:00
|
|
|
pub mod htmltablerowelement;
|
2013-08-08 23:36:40 +00:00
|
|
|
pub mod htmltablesectionelement;
|
2013-09-03 17:46:00 +00:00
|
|
|
pub mod htmltemplateelement;
|
2013-08-09 16:18:40 +00:00
|
|
|
pub mod htmltextareaelement;
|
2013-08-23 07:21:30 +00:00
|
|
|
pub mod htmltimeelement;
|
2013-08-09 20:42:37 +00:00
|
|
|
pub mod htmltitleelement;
|
2013-09-03 17:46:00 +00:00
|
|
|
pub mod htmltrackelement;
|
2013-08-09 19:36:58 +00:00
|
|
|
pub mod htmlulistelement;
|
2013-09-03 17:46:00 +00:00
|
|
|
pub mod htmlvideoelement;
|
2013-08-29 00:48:38 +00:00
|
|
|
pub mod htmlunknownelement;
|
2013-07-12 15:45:33 +00:00
|
|
|
pub mod mouseevent;
|
2013-09-06 18:13:08 +00:00
|
|
|
pub mod navigator;
|
2013-05-30 07:06:42 +00:00
|
|
|
pub mod node;
|
2013-10-11 14:51:59 +00:00
|
|
|
pub mod nodelist;
|
2013-07-12 15:45:33 +00:00
|
|
|
pub mod uievent;
|
2013-08-27 22:33:32 +00:00
|
|
|
pub mod text;
|
2013-08-27 01:54:36 +00:00
|
|
|
pub mod validitystate;
|
2013-05-30 07:06:42 +00:00
|
|
|
pub mod window;
|
2013-07-12 15:45:33 +00:00
|
|
|
pub mod windowproxy;
|
2013-05-30 07:06:42 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
pub mod html {
|
|
|
|
pub mod cssparse;
|
|
|
|
pub mod hubbub_html_parser;
|
|
|
|
}
|
|
|
|
|
|
|
|
pub mod layout_interface;
|
|
|
|
pub mod script_task;
|