event-protocol: extract location schema ref #126

Merged
merged 1 commit into from Mar 4, 2017
Jump to file or symbol
Failed to load files and symbols.
+21 −17
Split
@@ -14,23 +14,7 @@
"uri": {
"type": "string"
},
- "start": {
- "type": "object",
- "properties": {
- "line": {
- "type": "integer",
- "minimum": 1
- },
- "column": {
- "type": "integer",
- "minimum": 1
- }
- },
- "required": [
- "line"
- ],
- "additionalProperties": false
- }
+ "start": { "$ref": "defs.json#/location" }
},
"required": [
"uri",
@@ -10,5 +10,25 @@
"series": {
"type": "string",
"pattern": "^[a-fA-F0-9]{8}-[a-fA-F0-9]{4}-[a-fA-F0-9]{4}-[a-fA-F0-9]{4}-[a-fA-F0-9]{12}$"
+ },
+ "location": {
+ "type": "object",
+ "properties": {
+ "line": {
+ "type": "integer",
+ "minimum": 1
+ },
+ "column": {
+ "type": "integer",
+ "minimum": 1
+ },
+ "uri": {
+ "type": "string"
+ }
+ },
+ "required": [
+ "line"
+ ],
+ "additionalProperties": false
}
}