occam-verify-cli 1.0.898 → 1.0.899
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/context/file/nominal.js +5 -5
- package/lib/element/declaration/complexType.js +4 -4
- package/lib/element/declaration/simpleType.js +6 -4
- package/lib/element/declaration/typePrefix.js +2 -2
- package/lib/element/rule.js +3 -3
- package/lib/element/type.js +7 -6
- package/lib/element/typePrefix.js +5 -1
- package/lib/utilities/json.js +15 -1
- package/package.json +1 -1
- package/src/context/file/nominal.js +4 -4
- package/src/element/declaration/complexType.js +4 -3
- package/src/element/declaration/simpleType.js +9 -4
- package/src/element/declaration/typePrefix.js +2 -1
- package/src/element/rule.js +2 -2
- package/src/element/type.js +16 -8
- package/src/element/typePrefix.js +6 -0
- package/src/utilities/json.js +19 -7
package/src/utilities/json.js
CHANGED
|
@@ -407,18 +407,24 @@ export function equalitiesFromJSON(json, context) {
|
|
|
407
407
|
return equalities;
|
|
408
408
|
}
|
|
409
409
|
|
|
410
|
+
export function prefixNameFromJSON(json, context) {
|
|
411
|
+
const { prefixName } = json;
|
|
412
|
+
|
|
413
|
+
return prefixName;
|
|
414
|
+
}
|
|
415
|
+
|
|
410
416
|
export function superTypesFromJSON(json, context) {
|
|
411
417
|
const { superTypes: superTypesJSON } = json;
|
|
412
418
|
|
|
413
419
|
const superTypes = superTypesJSON.map((superTypeJSON) => {
|
|
414
|
-
|
|
415
|
-
|
|
416
|
-
|
|
417
|
-
|
|
418
|
-
|
|
420
|
+
const json = superTypeJSON, ///
|
|
421
|
+
{ string } = json,
|
|
422
|
+
name = string, ///
|
|
423
|
+
type = findTypeByName(name, context),
|
|
424
|
+
superType = type; ///
|
|
419
425
|
|
|
420
|
-
|
|
421
|
-
|
|
426
|
+
return superType;
|
|
427
|
+
});
|
|
422
428
|
|
|
423
429
|
return superTypes;
|
|
424
430
|
}
|
|
@@ -999,6 +1005,12 @@ export function hypothesesToHypothesesJSON(hypotheses) {
|
|
|
999
1005
|
return hypothesesJSON;
|
|
1000
1006
|
}
|
|
1001
1007
|
|
|
1008
|
+
export function prefixnameToPrevixNameJSON(prefixname) {
|
|
1009
|
+
const prefixNameJSON = prefixname; ///
|
|
1010
|
+
|
|
1011
|
+
return prefixNameJSON;
|
|
1012
|
+
}
|
|
1013
|
+
|
|
1002
1014
|
export function superTypesToSuperTypesJSON(superTypes) {
|
|
1003
1015
|
const superTypesJSON = superTypes.map((superType) => {
|
|
1004
1016
|
const abridged = true,
|