examples/org.eclipse.emf.parsley.examples.mail.accountsview/src/org/eclipse/emf/parsley/examples/mail/accountsview/Accountsview.parsley

import org.eclipse.emf.common.util.URI
import org.eclipse.emf.edit.domain.AdapterFactoryEditingDomain
import org.eclipse.emf.parsley.edit.IEditingStrategy
import org.eclipse.emf.parsley.edit.UndoableEditingStrategy
import org.eclipse.emf.parsley.edit.domain.GlobalAdapterFactoryEditingDomainProvider
import org.eclipse.emf.parsley.examples.mail.Account
import org.eclipse.emf.parsley.examples.mail.Folder
import org.eclipse.emf.parsley.examples.mail.accountsview.views.AccountsView

/* org.eclipse.emf.parsley.examples.mail.accountsview EMF Parsley Dsl Module file */
module org.eclipse.emf.parsley.examples.mail.accountsview {
	
	parts {
		viewpart org.eclipse.emf.parsley.examples.mail.accountsview.views.AccountsView {
			viewname "Mail Accounts View"
			viewclass AccountsView
			viewcategory org.eclipse.emf.parsley.examples.mail.accountsview
		}
	}

	bindings {
		type IEditingStrategy -> UndoableEditingStrategy
		
		// with this binding, a global EditingDomain will be used:
		// other modules extending this module will share the EditingDomain
		provide AdapterFactoryEditingDomain -> GlobalAdapterFactoryEditingDomainProvider
	}

	configurator {
		val URI mailModelURI = URI.createFileURI(System.getProperty("user.home")
			+ "/examples/mail/My.mail")
		
		resourceURI {
			AccountsView -> mailModelURI
		}
	}
	
	resourceManager extends MailResourceManager {
		initializeResource {
			// we use utility methods defined in the superclass
			createAccount("Lorenzo", "lorenzo@foobar") => [
				account |
				getContents += account
				createDefaultFolders(account)
			]
			
			createAccount("Francesco", "francesco@foobar") => [
				account |
				getContents += account
				createDefaultFolders(account)
			]
			
			createAccount("Vicenzo", "vincenzo@foobar") => [
				account |
				getContents += account
				createDefaultFolders(account)
			]
		}
	}
	
	labelProvider {
		image {
			Account -> "account.gif"
			Folder -> {
				// the label provider is used also by the menu builder
				// which uses freshly created Folder (and the name will be null)
				if (name == null)
					return "folder.gif"
				
				switch (name) {
					case "Inbox" : "inbox.gif"
					case "Sent" : "sent.gif"
					case "Trash" : "trash.gif"
					default: "folder.gif"
				}
			}
		}
		
		text {
			Account -> email
			Folder -> name
		}
	}
	
	viewerContentProvider {
		children {
			Folder -> subfolders // don't show emails
		}
	}
}