Filesystem  Filesystem1  {
	Drive  D{ 
		
	    Folder  Folder1 {   
			File mydocument;  //duplicate  name
			
			File  mydocument //duplicate name
                        archive  =  true  readonly  =  false  ;
			Shortcut  shortcut1  ext  =  DOC  target  = mydocument1; 
			
		}  
		Folder Folder2 {  
			File  mydocument ;  //not duplicate name ,not in the same scop.because,inside the folder2                 
		}  

         Drive C {
                 Folder folder1
                } 

 
Folder  Folder1 {   //in Folder1 scop ,mydocument1 duplicate name
			File mydocument1 ext =BMP;  
			File  mydocument1 archive  =  true  readonly  =  false  ;
			Shortcut  mydocument1 target = Defaultfoldername ;// not error because Shortcut's name   
			   
			
		} 
		Folder  Folder2 {

                        //not an duplicate name because Folder2's scop
		        File mydocument1 ext =BMP;  
			
			File  mydocument2 archive  =  true  readonly  =  false  ;	
		}

 

@Check
		public void CheckDrivenamesareunique(Filesystem f){
			
			Filesystem filesystemlist =EcoreUtil2.getContainerOfType(f, Filesystem.class);
			
			List<Drive> drivelist =filesystemlist.getDrives();
			
			@SuppressWarnings("serial")
			Map<String, Drive> firstOccurrenceOfName = new HashMap <String, Drive>() {};
			System.out.println( firstOccurrenceOfName);
			    //the set of duplicate names
			Set<String> duplicateNames = new HashSet<String>();
			    for (Drive t : drivelist) {
			    	  String name = t.getName();
			        //if the name already occurred we have
			        //a duplicate name and hence an error
			        if (firstOccurrenceOfName.get(name) != null) {
			          duplicateNames.add(name);
			          //note the second parameter t
			          //it is essential difference to the first example
			         error("duplicate Drive name",t,FilesystemPackage.Literals.SYNC_ELEMENT__NAME,-1, DUPLICATE_DRİVE,
			  		       t.getName());	
			        } 
			        //otherwise store the name as first occurrence
			        else {
			          firstOccurrenceOfName.put(name, t);
			         
			        }
			    }
			      //now create the error for the first occurrence of a duplicate name
			     // for (String s : duplicateNames) {
			       // error("Duplicate name " + s,FilesystemPackage.Literals.DRIVE__CONTENTS,INVALID_SYCN 
			        		//); //}
	       }//Checknamesareunique
		

import "http://www.eclipse.org/emf/2002/Ecore" as ecore
Filesystem returns Filesystem:
'Filesystem' name=ID'{'
(drives+=Drive (drives+=Drive)* )?
(syncs += Sync (syncs +=Sync)* )?
'}';

SyncElement :
Drive|File|Folder	
;

Sync returns Sync:
'sync' name=ID	'source' '=' source =[SyncElement|ID] 'target' '=' target =[SyncElement|ID] ';'
;
Drive returns Drive:
{Drive}
'Drive' name=ID '{'
(contents+=Object ( contents+=Object)* )?
'}' ;
Object:
File|Folder
;
File returns File:
'File' name=ID( 
('content' '=' content = STRING )? 
&('hQualifiedNameden' '=' HQualifiedNameden = EBoolean )? 
&('readonly' '=' readonly = EBoolean )?
&('system' '=' system = EBoolean )?
&('archive' '=' archive = EBoolean )?
&('location' '=' location=STRING )?
&('date' '=' date=STRING )?
&('ext' '=' ext = EXT? )? 
) ';' |Shortcut
;	
EBoolean returns ecore::EBoolean:
'true' | 'false';
enum EXT :
EMPTY|PNG|TXT |JPG |JAVA | C | BAT |BMP |EXE |COM |DOC |PDF|DOCX|XLS|XLSX
;

Folder returns Folder:
'Folder' name=ID'{' 
( contents+=Object(contents+=Object)* )?
'}';

Shortcut returns Shortcut:
'Shortcut' name=ID 
('content' '=' content = STRING )? 
&('hQualifiedNameden' '=' HQualifiedNameden = EBoolean )? 
&('readonly' '=' readonly = EBoolean )?
&('system' '=' system = EBoolean )?
&('archive' '=' archive = EBoolean )?
&('location' '=' location=STRING )?
&('date' '=' date=STRING )?
&('ext' '=' ext = EXT? )? 
('target' '=' target=[SyncElement|ID]) ';'
;

Filesystem
FS
{
Drive D1 {
[color=red]Folder Fo1 {}//Duplicate name  Fo1
Folder Fo1 {}[/color]
}

Drive D1 {// duplicate name for D1	
Folder Fo2 {
[color=red]File Fi1 ; //duplicate name for Fi1 .such as File Fo2 is not a duplicate name 	
File Fi1 ;[/color]	
}
}
//this section not give an duplicate name error because defined in the D2
Drive D2 {
Folder Fo1 {}
Folder Fo2 {
File Fi1 ;	
}
}
}

@Inject
	ResourceDescriptionsProvider resourceDescriptionsProvider;
	
	@Inject
	IContainer.Manager containerManager;

	@Check(CheckType.NORMAL)
	public void checkGreetingsDuplicate(Greeting greeting) {
		Set<QualifiedName> names = new HashSet<QualifiedName>();
		IResourceDescriptions resourceDescriptions = resourceDescriptionsProvider.getResourceDescriptions(greeting.eResource());
		IResourceDescription resourceDescription = resourceDescriptions.getResourceDescription(greeting.eResource().getURI());
		for (IContainer c : containerManager.getVisibleContainers(resourceDescription, resourceDescriptions)) {
			for (IEObjectDescription od : c.getExportedObjectsByType(MyDslPackage.Literals.GREETING)) {
				if (!names.add(od.getQualifiedName())) {
					error("duplicate greeting", MyDslPackage.Literals.GREETING__NAME);
				}
			}
		}

Drive T
	{  
		File file6 ; 
		File file7 ; 
		Folder r9{
			
		}
		Folder File10{  
			File file8;// receive duplicate name error ,in Drive T .
			File file4;    
			
		}
		
		}
		Drive F { 
			Folder file9{
				 
			}
			File file8;// receive duplicate name error but it is in the Drive F so not give an error .
			
		}
		

drive a {
folder b {  
[color=red]file x1  //in the dolder b ,there are two same file name,this case duplicate name
file x1 [/color]
}
file x2
}
drive c {
folder d {
file x3
[color=red]file x1[/color]
}
[code]Folder g{
file x3 
}[/code]
file x4 //duplicate name
file x4
}

protected ImmutableSet<EClass> getClusterTypes() {
		
		return ImmutableSet.of(FilesystemPackage.Literals.DRIVE,FilesystemPackage.Literals.FILE, FilesystemPackage.Literals.FOLDER);
	}
	private ImmutableSet<EClass> clusterTypes = getClusterTypes();
	@Override
	protected EClass getAssociatedClusterType(EClass File) {
		//System.out.println(clusterTypes);
	
		if (clusterTypes .contains(File))
			return File; 
		EList<EClass> superTypes = File.getESuperTypes();
		System.out.println(superTypes);
		if (superTypes.isEmpty())
			return File;
		return getAssociatedClusterType(superTypes.get(0));
	}

	
}

org.xtext.example.filesystem.filesystem.impl.DriveImpl@7f5bbbcd (name: D)
[org.xtext.example.filesystem.filesystem.impl.FolderImpl@5690ff7b (name: Foldername)]
org.xtext.example.filesystem.filesystem.impl.DriveImpl@5f86d10d (name: F)
[org.xtext.example.filesystem.filesystem.impl.FolderImpl@3de9d7c0 (name: Folder1)]

org.xtext.example.filesystem.filesystem.impl.DriveImpl@7f5bbbcd (name: D)
[org.xtext.example.filesystem.filesystem.impl.FolderImpl@5690ff7b (name: Foldername)]
org.xtext.example.filesystem.filesystem.impl.DriveImpl@5f86d10d (name: F)
[org.xtext.example.filesystem.filesystem.impl.FolderImpl@3de9d7c0 (name: Folder1)]

org.xtext.example.filesystem.filesystem.impl.DriveImpl@4504ac5e[/email] (name: D)
[[email]org.xtext.example.filesystem.filesystem.impl.FolderImpl@81ba9a2[/email] (name: Foldername), org.xtext.example.filesystem.filesystem.impl.FolderImpl@501dced6[/email] (name: Foldername)]
org.xtext.example.filesystem.filesystem.impl.DriveImpl@68a2ca98[/email] (name: F)
org.xtext.example.filesystem.filesystem.impl.FolderImpl@4bfaa2c4[/email] (name: Folder1),
org.xtext.example.filesystem.filesystem.impl.FolderImpl@33d418d4[/email] (name: Foldername)]

@Check
		public void foldernamechaeck(Filesystem driveobject){
			Filesystem drive =EcoreUtil2.getContainerOfType(driveobject, Filesystem.class);
			System.out.println(drive + "**********");
			List<Drive> drivelist = EcoreUtil2.getAllContentsOfType(drive, Drive.class);
			System.out.println(drivelist);
			List<Folder> folderlist = EcoreUtil2.getAllContentsOfType(drive, Folder.class);
			
			System.out.println(folderlist);
			
			 EObject parentdrive = getCurrentObject().eContainer();
			 
			 int i=0;
			for( Drive d :drivelist)
			{   
				for (Folder f : folderlist){
				
				for(Folder f1 :folderlist){
			if(f.getName() == f1.getName() && i>1){
			error("duplicate File name",f,FilesystemPackage.Literals.SYNC_ELEMENT__NAME,-1, DUPLICATE_FILE,
					   f.getName());
			
			}
					        }//ilk forun
				
				}
				
				i++;	
				}

[size=3]Filesystem returns Filesystem:
   'Filesystem' name=ID'{'
		(drives+=Drive (drives+=Drive)* )?
		(syncs += Sync (syncs +=Sync)* )?
		'}';

 SyncElement  :
 Drive|File|Folder	
;

Sync returns  Sync:
'sync' name=ID	'source' '=' source =[SyncElement|ID] 'target' '=' target =[SyncElement|ID] ';'
;



Drive returns Drive:
	{Drive}
	'Drive' name=ID '{'
	(contents+=Object ( contents+=Object)* )?
	'}' ;
Object:
File|Folder
;
File returns File:
'File' name=ID ( 
	     ('content' '=' content = STRING  )? 
	    &('hidden' '=' Hidden = EBoolean  )? 
	    &('readonly' '=' readonly = EBoolean )?
	    &('system' '=' system = EBoolean  )?
	    &('archive' '=' archive = EBoolean  )?
	    &('location' '=' location=STRING  )?
	    &('date' '='  date=STRING )?
	    &('ext' '=' ext = EXT? )? 
	    ) ';' |Shortcut
	;	
EBoolean returns ecore::EBoolean:
	'true' | 'false';
enum EXT :
EMPTY|PNG|TXT |JPG |JAVA | C | BAT |BMP |EXE |COM |DOC |PDF|DOCX|XLS|XLSX
;

Folder returns Folder:
   'Folder' name=ID'{' 
		( contents+=Object(contents+=Object)* )?
	'}';
 
Shortcut returns Shortcut:
   'Shortcut' name=ID
   		(('content' '=' content = STRING  )? 
	    &('hidden' '=' Hidden = EBoolean  )? 
	    &('readonly' '=' readonly = EBoolean )?
	    &('system' '=' system = EBoolean  )?
	    &('archive' '=' archive = EBoolean  )?
	    &('location' '=' location=STRING  )?
	    &('date' '='  date=STRING )?
	    &('ext' '=' ext = EXT? )? 
	   )('target' '=' target=[SyncElement|ID])  ';'
   ;
[/size]