LaunchConfig:
	((explicit?='explicit')? // Eclipse, RAP
		& (manual?='manual')? // All
		& (abstract?='abstract')? // All
		& (foreground?='foreground')? // All  
		& (noConsole?='no-console')? // All but Groups
		& (noValidate?='no-validate')? // Eclipse, RAP
		& (swInstallSupport?='sw-install-allowed')? // Eclipse
		& (replaceEnv?='replace-env')? // All but Groups
		& (stopInMain?='stop-in-main')? // Java
	) type=LaunchConfigType 'configuration' name=FQName 
	(':' superConfig=[LaunchConfig|FQName])? BLOCK_BEGIN
		( // things that may appear only once
			(clears=ClearOption)? // Eclipse, RAP (partial)
			& (workspace=Workspace)? // Eclipse, RAP
			& (workingDir=WorkingDir)? // All but Groups
			& (memory=MemoryOption)? // All but Groups
			& (mainProject=MainProject)? // Java
			& (mainType=MainType)? // Java
			& (application=ApplicationExtPoint)? // Eclipse
			& (product=ProductExtPoint)? // Eclipse
			& (favorites=Favorites)? // All
			& (redirect=Redirect)? // All but Groups
			& (execEnv=ExecutionEnvironment)? // All but Groups
			& (configIniTemplate=ConfigIniTemplate)? // Eclipse
			& (javaMainSearch=JavaMainSearch)? // Java
			& (servletConfig=RapServletConfig)? // RAP
			& (contentProviderProduct=ContentProviderProduct)? // Eclipse, RAP
		)
		( // things that may appear multiple times
			plugins+=AddPlugin // Eclipse, RAP
			| features+=AddFeature // Eclipse, RAP
			| ignore+=IgnorePlugin // Eclipse, RAP
			| groupMembers+=GroupMember // Groups 					// TODO: content assist, validation, update on rename
			| vmArgs+=VmArgument // All but Groups
			| progArgs+=ProgramArgument // All but Groups
			| envVars+=EnvironmentVariable // All but Groups
			| traces+=TraceEnablement // Eclipse, RAP
		)*
	BLOCK_END
;

eclipse configuration Something {
    // ...press ctrl space here
}

         (':' superConfig=[LaunchConfig|FQName])? BLOCK_BEGIN
		( // things that may appear only once
			(clears=ClearOption)? // Eclipse, RAP (partial)
			& (workspace=Workspace)? // Eclipse, RAP
			& (workingDir=WorkingDir)? // All but Groups
			& (memory=MemoryOption)? // All but Groups
			& (mainProject=MainProject)? // Java
			& (mainType=MainType)? // Java
			& (application=ApplicationExtPoint)? // Eclipse
			& (product=ProductExtPoint)? // Eclipse
			& (favorites=Favorites)? // All
			& (redirect=Redirect)? // All but Groups
			& (execEnv=ExecutionEnvironment)? // All but Groups
			& (configIniTemplate=ConfigIniTemplate)? // Eclipse
			& (javaMainSearch=JavaMainSearch)? // Java
			& (servletConfig=RapServletConfig)? // RAP
			& (contentProviderProduct=ContentProviderProduct)? // Eclipse, RAP
			// things that may appear multiple times
			& (plugins+=AddPlugin)* // Eclipse, RAP
			& (features+=AddFeature)* // Eclipse, RAP
			& (ignore+=IgnorePlugin)* // Eclipse, RAP
			& (groupMembers+=GroupMember)* // Groups 					// TODO: content assist, validation, update on rename
			& (vmArgs+=VmArgument)* // All but Groups
			& (progArgs+=ProgramArgument)* // All but Groups
			& (envVars+=EnvironmentVariable)* // All but Groups
			& (traces+=TraceEnablement)* // Eclipse, RAP
		)
	BLOCK_END

manual eclipse configuration Database_Setup_With_Archive : BaseDataSetupConfig {
	application com.wamas.world.datasetup.WorldDatabaseSetupApplication;
	// here everything is proposed
	memory min=128M max=512M;
	// here everything is proposed
	plugin com.wamas.world.datasetup;
	// here only plugin is proposed
	vm-argument '-Dcom.wamas.database.model=WMS';
	// here only vm-argument is proposed.
	
}

grammar org.xtext.example.mydsl.MyDsl with org.eclipse.xtext.common.Terminals

generate myDsl "http://www.xtext.org/example/mydsl/MyDsl"

import "http://www.eclipse.org/emf/2002/Ecore" as ecore

LCModel:
	configurations+=LaunchConfig*
;

LaunchConfig:
	((a?='a')?
		& (b?='b')?
		& (c?='c')?
		& (d?='d')?  
		& (e?='e')? // remove any option from this group and content assist works correctly for LaunchConfigType
		& (f?='f')? // with all 8 in place, content assist will not work /after/ the first member of this group
		& (g?='g')?
		& (h?='h')? 
	) type=LaunchConfigType 'configuration' name=FQName 
	(':' superConfig=[LaunchConfig|FQName])? BLOCK_BEGIN
		( // things that may appear only once
			(a1='a1' ';')?
			& (b1='b1' ';')?
			// things that may appear multiple times
			& (a2+=AddPlugin)*
			& (b2+=AddFeature)*
			& (c2+=IgnorePlugin)* // again, remove any option from this group to restore working content assist.
			& (d2+=GroupMember)*
			& (e2+=VmArgument)*
		)
	BLOCK_END
;

AddPlugin:
	(optional?='optional')? 'plugin' plugin=SomethingWithVersion ';'
;

AddFeature:
	(optional?='optional')? 'feature' feature=SomethingWithVersion ';'
;

IgnorePlugin:
	'ignore' plugin=SomethingWithVersion ';'
;

VmArgument:
	'vm-argument' argument=StringWithVariables ';'
;

SomethingWithVersion:
	name = FQName (version=VERSION)?
;

GroupMember:
	'member' member=[LaunchConfig|FQName] ';'
;

StringWithVariables:
	value=STRING
;

FQName:
	ID ('.' ID)*
;

enum LaunchConfigType:
	JAVA = "java" | ECLIPSE = "eclipse" | RAP = "rap" | GROUP = "group"
;

terminal INT returns ecore::EInt: ('0'..'9')+;
terminal ID: '^'?('a'..'z'|'A'..'Z'|'_') ('.'? ('a'..'z'|'A'..'Z'|'^'|'_'|'-'|'0'..'9'))*;
terminal QUALIFIER: ('a'..'z'|'A'..'Z'|'_'|'-'|'0'..'9')*;
terminal VERSION: INT (('.' INT) (('.' INT) ('.' QUALIFIER)?)?)?;
terminal BLOCK_BEGIN: '{';
terminal BLOCK_END: '}';

/* correct: all possibilities proposed */ a /* incorrect: no LaunchConfigType proposed */ eclipse configuration Test {
	a1; 
	// correct here: all possibilities proposed
	
	plugin abc;
	// incorrect here, only proposes the same rule as in last line
	
}

		language = StandardLanguage {
			name = "org.xtext.example.mydsl3.MyDsl"
			fileExtensions = "mydsl3"

			serializer = {
				generateStub = false
			}
			validator = {
				// composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
			}
			parserGenerator = {
				antlrParam = "-Xmaxinlinedfastates"
				antlrParam = "30"
			}
		}