def Class<? extends ITypeComputer> bindITypeComputer() {
		return MyTypeComputer;
	}
	
	/* Bind the delegate in the scope provider */
	override configureIScopeProviderDelegate(Binder binder) {
		binder.bind(IScopeProvider).
		annotatedWith(Names.
		named(AbstractDeclarativeScopeProvider.NAMED_DELEGATE)).
		to(MyImportedNamespaceAwareLocalScopeProvider);
	}

// In my scope provider
override IScope getScope(EObject context, EReference reference) {...}

// In my TypeComputer
override computeTypes(XExpression expression, ITypeComputationState state) {...}
override void _computeTypes(XBlockExpression b, ITypeComputationState typeState) {...}

val x = y

val int x = "hi"

MainObject myMain;

class myMain extends SuperMain {
   public static void main (String[] args) {
      myMain m = new myMain();
      m.start(); // call to superclass method
   }
}

def dispatch void infer(MainObject mainObj, IJvmDeclaredTypeAcceptor acceptor, boolean isPreIndexingPhase) {		
		val objName = mainObj.name

		acceptor.accept(mainObj.toClass(objName)) [
			superTypes += typeRef(SuperMain)
			
			/* add main method */
			members += mainObj.toMethod('main', typeRef(Void.TYPE)) [
   	    		   parameters += mainObj.toParameter("args",  typeRef(String).addArrayTypeDimension)
   	    		   static = true
        		   varArgs = true
		           body = '''
		        	«objName» m = new «objName»();
		        	m.start();
		        	'''		        
			]	
		]
}