grammar org.xtext.example.mydsl.MyDsl with org.eclipse.xtext.xbase.Xbase

import "http://www.eclipse.org/xtext/xbase/Xbase"

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

Model:
	greetings+=Greeting*;
	
Greeting:
	'Hello' name=ID 
	'expr' expr = XBlockExpression '!'
	'link' '[' linked+=[Greeting|FQN]* ']';
	
	
FQN: ID ('.'ID)*;

module org.xtext.example.mydsl.GenerateMyDsl

import org.eclipse.xtext.xtext.generator.*
import org.eclipse.xtext.xtext.generator.model.project.*

var rootPath = ".."

Workflow {
	
	component = XtextGenerator {
		configuration = {
			project = StandardProjectConfig {
				baseName = "org.xtext.example.mydsl"
				rootPath = rootPath
				runtimeTest = {
					enabled = true
				}
				eclipsePlugin = {
					enabled = true
				}
				eclipsePluginTest = {
					enabled = true
				}
				createEclipseMetaData = true
			}
			code = {
				encoding = "UTF-8"
				lineDelimiter = "\n"
				fileHeader = "/*\n * generated by Xtext \${version}\n */"
			}
		}
		language = StandardLanguage {
			name = "org.xtext.example.mydsl.MyDsl"
			fileExtensions = "mydsl"

			serializer = {
				generateStub = false
			}
			validator = {
				 composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
			}
		}
	}
}

/*
 * generated by Xtext 2.13.0
 */
package org.xtext.example.mydsl.jvmmodel

import com.google.inject.Inject
import org.eclipse.xtext.xbase.jvmmodel.AbstractModelInferrer
import org.eclipse.xtext.xbase.jvmmodel.IJvmDeclaredTypeAcceptor
import org.eclipse.xtext.xbase.jvmmodel.JvmTypesBuilder
import org.xtext.example.mydsl.myDsl.Model

/**
 * <p>Infers a JVM model from the source model.</p> 
 *
 * <p>The JVM model should contain all elements that would appear in the Java code 
 * which is generated from the source model. Other models link against the JVM model rather than the source model.</p>     
 */
class MyDslJvmModelInferrer extends AbstractModelInferrer {

	/**
	 * convenience API to build and initialize JVM types and their members.
	 */
	@Inject extension JvmTypesBuilder

	/**
	 * The dispatch method {@code infer} is called for each instance of the
	 * given element's type that is contained in a resource.
	 * 
	 * @param element
	 *            the model to create one or more
	 *            {@link org.eclipse.xtext.common.types.JvmDeclaredType declared
	 *            types} from.
	 * @param acceptor
	 *            each created
	 *            {@link org.eclipse.xtext.common.types.JvmDeclaredType type}
	 *            without a container should be passed to the acceptor in order
	 *            get attached to the current resource. The acceptor's
	 *            {@link IJvmDeclaredTypeAcceptor#accept(org.eclipse.xtext.common.types.JvmDeclaredType)
	 *            accept(..)} method takes the constructed empty type for the
	 *            pre-indexing phase. This one is further initialized in the
	 *            indexing phase using the lambda you pass as the last argument.
	 * @param isPreIndexingPhase
	 *            whether the method is called in a pre-indexing phase, i.e.
	 *            when the global index is not yet fully updated. You must not
	 *            rely on linking using the index if isPreIndexingPhase is
	 *            <code>true</code>.
	 */
	def dispatch void infer(Model element, IJvmDeclaredTypeAcceptor acceptor, boolean isPreIndexingPhase) {
		// Here you explain how your model is mapped to Java elements, by writing the actual translation code.
		
		// An implementation for the initial hello world example could look like this:
 		acceptor.accept(element.toClass("my.company.greeting.MyGreetings")) [
 			for (greeting : element.greetings) {
 				members += greeting.toMethod("hello" + greeting.name, typeRef(String)) [
 					body = '''
						return "Hello «greeting.name»";
					'''
				]
			}
		]
	}
}

Hello Name expr { true } ! link [ Name ]  
Hello Name1 expr {false} ! link [ Name Name1] 
Hello Name2 expr {false} ! link [ Name Name1 Name2 Name]

@FinalFieldsConstructor
class MyDslUiModule extends AbstractMyDslUiModule {
	
	@SingletonBinding(eager = true)
	override public Class<? extends UniqueClassNameValidator> bindUniqueClassNameValidator() {
		return ProjectAwareUniqueClassNameValidator;
	}
}

def dispatch void infer(Model element, IJvmDeclaredTypeAcceptor acceptor, boolean isPreIndexingPhase) {
		// Here you explain how your model is mapped to Java elements, by writing the actual translation code.
		
		// An implementation for the initial hello world example could look like this:
 		for (greeting : element.greetings) {
 			acceptor.accept(element.toClass("my.company.greeting."+greeting.name)) [
 			
 				members += greeting.toMethod("hello" + greeting.name, typeRef(String)) [
 					body = '''
						return "Hello «greeting.name»";
					'''
				]
			
		]}
	}

Hello Name expr { true } ! link [ Name ]  
Hello Name  expr {false} ! link [ Name ] 
Hello Name2 expr {false} ! link [ Name  Name2 Name]

package org.xtext.example.mydsl.validation

import org.eclipse.emf.ecore.EObject
import org.xtext.example.mydsl.myDsl.MyDslPackage
import org.eclipse.xtext.validation.Check
import org.xtext.example.mydsl.myDsl.Model
import org.eclipse.xtext.EcoreUtil2
import java.util.stream.Collectors
import java.util.List

class MyDslValidator extends AbstractMyDslValidator {

	public static val INVALID_NAME = 'invalidName'

	@Check
	def checkDuplicates(Model element) {

		val allElements = EcoreUtil2.eAllContentsAsList(element)
		val allNamedElements = allElements.filter[p|p.eClass.EAllAttributes.filter[a|a.name.equals("name")].length == 1]
		val allNamedElementsGroups = allNamedElements.groupBy[e|e?.eGet(e?.eClass?.getEStructuralFeature("name"))]
		val allNamedElementsDuplicate = allNamedElementsGroups.filter[p1, p2|p2.length>1]
		val onlytheEObjects = allNamedElementsDuplicate.values().stream().flatMap(e|e.stream).collect(
			Collectors.toList())
		onlytheEObjects.forEach [ e |

			val nameRef = e?.eClass?.getEStructuralFeature("name")
			val nameAttr = e?.eGet(nameRef)

			error('Duplicate name ' + nameAttr + " for " + e.eClass.name,e, nameRef, INVALID_NAME)

		]

	}

}