import 'Library.xcore'

package library

context Library
--
-- example invariant with a custom error message to verify that
-- the 'name' property of all 'library::Library' instances is non-null
--
inv NonNull_name('The \'name\' property of "' + self.toString() + '" is null'):
	name <> null

endpackage

@Ecore(nsURI="http://www.eclipse.org/testlib")
@GenModel(
	editDirectory="/xcoretest/src-gen",
	editorDirectory="/xcoretest/src-gen"
)
package org.example.library

class Library{
	String name
	contains Book[] books opposite library
	contains Writer[] writers
}

class Book{
	String title
	container Library library opposite books
	refers Writer author 
}

class Writer {
	String name
}