package org.xtext.example.mydsl1.tests

import com.google.inject.Inject
import org.eclipse.xtext.junit4.InjectWith
import org.eclipse.xtext.junit4.XtextRunner
import org.eclipse.xtext.junit4.util.ParseHelper
import org.junit.Assert
import org.junit.Test
import org.junit.runner.RunWith
import org.xtext.example.mydsl1.myDsl.Model
import org.eclipse.xtext.junit4.validation.ValidationTestHelper
import org.xtext.example.mydsl1.myDsl.MyDslPackage
import org.xtext.example.mydsl1.validation.MyDslValidator

@RunWith(XtextRunner)
@InjectWith(MyDslInjectorProvider)
class MyDslParsingTest{

	@Inject
	ParseHelper<Model> parseHelper
	
	@Inject extension
	ValidationTestHelper

	@Test 
	def void loadModel() {
		val result = parseHelper.parse('''
			Hello xtext!
		''')
		Assert.assertNotNull(result)
		result.assertWarning(MyDslPackage.Literals.GREETING, MyDslValidator.INVALID_NAME)
	}

}

validator = {
	composedCheck = "foo.bar.baz.MyValidator"
}

package foo.bar.baz

import org.eclipse.xtext.validation.AbstractDeclarativeValidator
import org.eclipse.xtext.validation.Check
import org.xtext.example.mydsl4.myDsl.Greeting
import org.xtext.example.mydsl4.myDsl.MyDslPackage
import org.eclipse.xtext.validation.EValidatorRegistrar

class MyValidator extends AbstractDeclarativeValidator {
	
		public static val INVALID_NAME = 'invalidName'

	@Check
	def checkGreetingStartsWithCapital(Greeting greeting) {
		if (!Character.isUpperCase(greeting.name.charAt(0))) {
			warning('Name should start with a capital', 
					MyDslPackage.Literals.GREETING__NAME,
					INVALID_NAME)
		}
	}
	
	override register(EValidatorRegistrar registrar) {
	}
	
}