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

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

Model:
	(jobfunction += JobFunction)*
;
	


JobFunction: name='executeJob'
			'('  ')''{'
			(statements+=Statement)*
			'}'
;

Statement : 
		TryStatement       |
		CatchStatement     |
		DeclarationStatement 
;

enum CatchEnums: NegativeResponseException | NoResponseException 
;

TryStatement       : keyword='try' '{'(tryStatements+=Statement)+ '}' ;
CatchStatement     : keyword='catch' ((exception=CatchEnums | userException=StringDeclaration) '{'(catchStatements+=Statement)+ '}') ;

DeclarationStatement : Declaration ';'
;


Declaration : StringNumberBoolDeclaration |
			  ButtonDeclaration;
			  
StringNumberBoolDeclaration : StringDeclaration | IntDeclaration | FloatDeclaration | BoolDeclaration;
StringDeclaration : type='string' name=ID ('=' exp=Expression)?;
IntDeclaration : type='int' name=ID ('=' exp=Expression)?;
FloatDeclaration : type='float' name=ID ('=' exp=Expression)?;
BoolDeclaration: type='bool' name=ID ('=' exp=Expression)?;
ButtonDeclaration : type='button' name=ID;

Expression : expSingle+=SingleExpression (op+=Operator expSingle+=SingleExpression)*
;

enum Operator : PLUS='+' |
				MINUS='-' |
				EQUAL='==' |
				NOT='!'
;

SingleExpression :     
				( litInt = INT ) |
				( litBool = ('true' | 'false') ) |
				( invert='!'? var = [Declaration] )
;

executeJob () 
{
	try
	{
		int bla;	 
	}
	try
	{
		int bla;	 
	}
}

public Class<? extends INamesAreUniqueValidationHelper> bindINamesAreUniqueValidationHelper() {
	return NAUVH.class;
}

public class NAUVH extends NamesAreUniqueValidationHelper {

	private String getLastSeg(URI u) {
		return u.segment(u.segmentCount() - 1);
	}

	private boolean isInScope(IEObjectDescription descr, IEObjectDescription decl) {

		int diff = descr.getEObjectURI().fragment().length()
				- decl.getEObjectURI().fragment().length();

		String f1 = descr.getEObjectURI().fragment();
		String f2 = decl.getEObjectURI().fragment();

		int slash1 = f1.lastIndexOf("@");
		int slash2 = f2.lastIndexOf("@");
		String sub1 = f1.substring(0, Math.max(0, slash1));
		String sub2 = f2.substring(0, Math.max(0, slash2));

		return sub1.startsWith(sub2);
	}

	@Override
	public void checkUniqueNames(Iterable<IEObjectDescription> descriptions,
			ValidationMessageAcceptor acceptor) {
		Iterator<IEObjectDescription> iter = descriptions.iterator();
		if (!iter.hasNext())
			return;

		List<IEObjectDescription> decls = new ArrayList<IEObjectDescription>();

		while (iter.hasNext()) {
			IEObjectDescription descr = iter.next();

			for (IEObjectDescription decl : decls) {
				// if in scope and name value is identical, print an error!
				if (isInScope(descr, decl)
						&& descr.getQualifiedName().getLastSegment()
								.equals(decl.getQualifiedName().getLastSegment())) {
					acceptor.acceptError("Duplicate variable "
							+ descr.getQualifiedName().getLastSegment() + " ("
							+ descr.getEObjectURI().fragment() + ")",
							descr.getEObjectOrProxy(), null, -1, null, "");
				}
			}
			decls.add(descr);
		}
	}

	@Override
	public void checkUniqueNames(Iterable<IEObjectDescription> descriptions,
			CancelIndicator cancelIndicator, ValidationMessageAcceptor acceptor) {

		this.checkUniqueNames(descriptions, acceptor);
	}
}

public class MyNameProvider extends DefaultDeclarativeQualifiedNameProvider {

	protected QualifiedName qualifiedName(Statement ele)
	{
		if (ele.eContainer() instanceof TryStatement)
		{
			if (EcoreUtil2.isAssignableFrom(MyDslPackage.Literals.STRING_NUMBER_BOOL_DECLARATION, ele.eClass()))
			{
				StringNumberBoolDeclaration decl = (StringNumberBoolDeclaration) ele;
				return QualifiedName.create("try", String.valueOf(NodeModelUtils.findActualNodeFor(ele.eContainer()).getOffset()), decl.getName());
			}
		}
		return null;
	}
}