Model:
	(
	package=PackageDeclaration
	imports+=ImportDeclaration*
	types+=Type*
	)?
;

PackageDeclaration:
	'namespace' name=FQN
;

ImportDeclaration:
	'use' name=FQN
;

TypeType:
	Primitive | TypeRef
;

TypeRef:
	ref=[Type | FQN]
;

Type:
	FunctionType | ClassType | EnumType
;

FunctionType:
	'func' name=ID ':' returnType=TypeType LBRACE
	
	RBRACE
;

ClassType:
	'class' name=ID ('parent' superType=TypeRef)? ('inherits' templates+=TypeRef*)? LBRACE
	
	RBRACE
;

EnumType:
	'enum' name=ID LBRACE
		values+=ID*
	RBRACE
;

/* Terminals and strings. */

Primitive:
	name=('int' |
	'long' |
	'short' |
	'float' |
	'double' |
	'str' |
	'char' |
	'bool' |
	'obj' |
	'byte' |
	'nil')
;

FQN:
	ID ('.' ID)*
;

terminal LBRACE: '{' ;
terminal RBRACE: '}' ;

func TestFunction: RandomType {

}

namespace random.folders    // see how this is a FQN?

use random.folders.second_file     // also a FQN

class ChildClass parent second_file.ParentClass {
    // ChildClass MUST be an ID, not a FQN,
    // however parent can be either an ID or a FQN.
    // By definition, the FQN's include ID's anyway.
    
    // There is no actual definition of ParentClass in this file,
    // so I would rather be referencing it like so, instead of just typing:
    //     "parent ParentClass". Because at the moment, it accepts that
    // as valid, which if you compare that to a regular language like Java,
    //   "ParentClass" does not exist in this file, so in reality, it SHOULDN't be correct.

    // the entire "parent" thing here, is a foreign reference.
}

namespace random.folders

class ParentClass {
    // Again, "ParentClass" is an ID, not a FQN.
}

// Anything below here is just to represent LOCAL references.

class Test { }

class TestChild parent Test { } // Notice how the parent is technically an ID because its local?

use random.folders.second_file

package random.folders
namespace random.folders

import random.folders.SecondFile
use random.folders.second_file

class Example extends SecondFile.ParentClass {}
class Example parent second_file.ParentClass {}

class Example extends random.folders.SecondFile.ParentClass {}
class Example parent random.folderssecond_file.ParentClass {}

func RandomFunction: nil {}  // the filename is RandomFile

class RandomFile {
        void RandomFunction {}
}

ImportDeclaration:
	'use' importURI=STRING
;

	override bindIGlobalScopeProvider() {
		ImportUriGlobalScopeProvider
	}

use "platform:/resource/xxxxxx/random/folders/second_file.mydsl1"     // also a FQN

class ChildClass parent ParentClass {

public class StrangeNameProvider extends DefaultDeclarativeQualifiedNameProvider {
	
	QualifiedName qualifiedName(Model type) {
		return QualifiedName.create(type.eResource().getURI().trimFileExtension().lastSegment());
	}

}

	override bindIQualifiedNameProvider() {
		StrangeNameProvider
	}

grammar org.thusix.omicron.Omicron with org.eclipse.xtext.common.Terminals

generate omicron "http://www.thusix.org/omicron/Omicron"

Model:
	(
	package=PackageDeclaration
	imports+=ImportDeclaration*
	types+=Type*
	)?
;

PackageDeclaration:
	'namespace' name=FQN
;

ImportDeclaration:
	'use' importURI=FQN
;

TypeType:
	Primitive | TypeRef
;

TypeRef:
	ref=[Type | FQN]
;

Type:
	FunctionType | ClassType | EnumType
;

FunctionType:
	'func' name=ID ':' returnType=TypeType LBRACE
		fields+=Field*
	RBRACE
;

ClassType:
	'class' name=ID ('parent' superType=TypeRef)? ('inherits' templates+=TypeRef*)? LBRACE
		fields+=Field*
	RBRACE
;

EnumType:
	'enum' name=ID LBRACE
		values+=ID*
	RBRACE
;

Field:
	VariableDeclaration
;

VariableDeclaration:
	type=TypeType name=ID
;

/* Terminals and strings. */

Primitive:
	name=('int' |
	'long' |
	'short' |
	'float' |
	'double' |
	'str' |
	'char' |
	'bool' |
	'obj' |
	'byte' |
	'nil')
;

FQN:
	ID ('.' ID)*
;

terminal LBRACE: '{' ;
terminal RBRACE: '}' ;

/*
 * generated by Xtext 2.11.0
 */
package org.thusix.omicron


/**
 * Use this class to register components to be used at runtime / without the Equinox extension registry.
 */
class OmicronRuntimeModule extends AbstractOmicronRuntimeModule {
}

/*
 * generated by Xtext 2.11.0
 */
package org.thusix.omicron.scoping

/**
 * This class contains custom scoping description.
 * 
 * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#scoping
 * on how and when to use it.
 */
class OmicronScopeProvider extends AbstractOmicronScopeProvider {

	def bindIGlobalScopeProvider() {
		OmicronNameProvider
	}

}

package org.thusix.omicron.scoping

import org.eclipse.xtext.naming.DefaultDeclarativeQualifiedNameProvider
import org.eclipse.xtext.naming.QualifiedName
import org.thusix.omicron.omicron.Model

class OmicronNameProvider extends DefaultDeclarativeQualifiedNameProvider {
	
	def QualifiedName qualifiedName(Model type) {
		return QualifiedName.create(type.eResource().getURI().trimFileExtension().lastSegment());
	}
	
}

namespace test

use test.Testing

enum Suite {
	Spades Hearts Diamonds Clubs
}

func t: a {
	
}

class Deck parent C {
	int i
}

class RedDeck parent test.Testing.a {
	
}

class MyDslRuntimeModule extends AbstractMyDslRuntimeModule {
	
	override bindIGlobalScopeProvider() {
		ImportUriGlobalScopeProvider
	}
	
	override bindIQualifiedNameProvider() {
		StrangeNameProvider
	}

ImportDeclaration:
	'use' importURI=STRING
;

public class StrangeNameProvider extends DefaultDeclarativeQualifiedNameProvider {
	
	QualifiedName qualifiedName(Model type) {
		return QualifiedName.create(type.eResource().getURI().trimFileExtension().lastSegment());
	}

}

use "platform:/resource/xxxxxx/random/folders/second_file.mydsl1"     // also a FQN

class ChildClass parent ParentClass {

use "platform:/resource/xxxxxx/random/folders/second_file.mydsl1"     // also a FQN

class ChildClass parent ParentClass {

use "platform:/resource/xxxxxx/random/folders/second_file.mydsl1"     // also a FQN

class ChildClass parent second_file.ParentClass {

ImportDeclaration:
	'use' importURI=FQN
;

	def Class<? extends ImportUriResolver> bindImportUriResolver() {
		StrangeImportUriResolver
	}

public class StrangeImportUriResolver extends ImportUriResolver {
	
	@Inject
	FileExtensionProvider fileExtensionProvider;
	
	@Override
	public String apply(EObject from) {
		// TODO make more robust / potentially work in standlone mode if needed
		// or classpath:/my/pack/xxxx.mydsl if needed as well
		String apply = super.apply(from);
		if (apply == null) {
			return apply;
		}
		String result = "platform:/resource/" + from.eResource().getURI().segmentsList().get(1) + "/"
				+ apply.replaceAll("\\.", "/") + "." + fileExtensionProvider.getPrimaryFileExtension();
		System.out.println(result);
		return result;
	}

}