Lines Matching defs:SCHEMA
11 * 2) A file located at SCHEMA which is shared with the extension system and
23 var SCHEMA = "../api/extension_api.json";
40 // The full extension api schema
41 var schema;
116 // Now the page is composed with the authored content, we fetch the schema
122 schemas_to_retrieve.push(SCHEMA);
127 schema = [];
130 schema = schema.concat(JSON.parse(content));
206 schema.forEach(function(mod) {
335 return schema.filter(function(module) {
343 return schema.filter(function(module) {
351 return schema.filter(function(module) {
514 function getTypeName(schema) {
515 if (schema.$ref)
516 return schema.$ref;
518 if (schema.choices) {
520 schema.choices.forEach(function(c) {
527 if (schema.type == "array")
528 return "array of " + getTypeName(schema.items);
530 if (schema.isInstanceOf)
531 return schema.isInstanceOf;
533 return schema.type;