definition module GinORYXExtensions

import JSON

:: ORYXExtensionsFile = 
	{ extensions	:: ![ORYXExtension]
	, perspectives	:: ![ORYXPerspective]
	}
	
:: ORYXExtension = 
	{ title			:: !String
	, namespace		:: !String
	, description	:: !String
	, definition_	:: !String
	, extends		:: !String
	}
	
:: ORYXPerspective =
	{ title				:: !String
	, namespace			:: !String
	, description		:: !String
	, stencilset		:: !String
	, addExtensions		:: ![String]
	, removeExtensions	:: ![String]
	}

derive JSONEncode	ORYXExtensionsFile, ORYXExtension, ORYXPerspective
derive JSONDecode 	ORYXExtensionsFile, ORYXExtension, ORYXPerspective

makeORYXExtensionsFile :: ![String] -> ORYXExtensionsFile