Eclipse Community Forums: TMF (Xtext) » Trying to use types that are only imported via import statement

Help

Home

Home » Modeling » TMF (Xtext) » Trying to use types that are only imported via import statement

Show: Today's Messages :: Show Polls :: Message Navigator

Trying to use types that are only imported via import statement [message #1405048]

Wed, 06 August 2014 12:58

Pavlina Temelakieva

Messages: 10
Registered: July 2014

Junior Member

Hey guys,

I am trying to write java interfaces -like language. I want to be able to use only types that are explicitly imported via import statement.

Here is my grammar:

DomainModel:
packageDeclaration=PackageDeclaration;

PackageDeclaration:
"package" name=QualifiedName ";" importDeclarations+=ImportDeclaration*
abstractTypeDeclaration=AbstractTypeDeclaration;

ImportDeclaration:
"import" importedNamespace=TypeQualifiedName ";";

AbstractTypeDeclaration:
modifier+=ClassOrInterfaceModifier* typeDeclaration=TypeDeclaration;

TypeDeclaration:
/*EnumDeclaration |*/ InterfaceDeclaration
;

TypeQualifiedName:
type=[TypeDeclaration|QualifiedName];

Type:
type=[TypeDeclaration|ID];

InterfaceDeclaration:
"interface" name=ValidID parameters+=TypeParameters? body=InterfaceBody;

InterfaceBody:
"{" interfaceDeclaration+=InterfaceBodyDeclaration+ "}";

InterfaceBodyDeclaration:
modifiers+=ClassOrInterfaceModifier | memberDeclaration=InterfaceMemberDeclaration;

InterfaceMemberDeclaration:
InterfaceMethodDeclaration
;

InterfaceMethodDeclaration:
(type=Type | "void")? name=ValidID parameters=FormalParameters ("throws"
exceptions=QualifiedNameList)? ";";

I've also implemented ImportedNamespaceAwareLocalScopeProvider in order to dynamically load imported namespaces depending on the current file.

@Override
protected List<ImportNormalizer> internalGetImportedNamespaceResolvers(
EObject context, boolean ignoreCase) {
if (!(context instanceof DomainModel)) {
return Collections.emptyList();
}

List<ImportNormalizer> importedNamespaces = Lists.newArrayList();
DomainModel domainModel = (DomainModel) context;
PackageDeclaration packageDeclaration = domainModel
.getPackageDeclaration();
EList<ImportDeclaration> importDeclarations = packageDeclaration
.getImportDeclarations();
for (ImportDeclaration importDeclaration : importDeclarations) {
// String value = importDeclaration.getImportedNamespace();
String value = null;
TypeQualifiedName typeQualifiedName = importDeclaration
.getImportedNamespace();
TypeDeclaration typeDeclaration = typeQualifiedName.getType();
if (typeDeclaration instanceof EnumDeclaration) {
EnumDeclaration enumDeclaration = (EnumDeclaration) typeDeclaration;
PackageDeclaration packageDecl = (PackageDeclaration) enumDeclaration
.eContainer().eContainer();
String name = enumDeclaration.getName();
value = packageDecl.getName().concat(DOT_SEPARATOR)
.concat(name);
} else if (typeDeclaration instanceof InterfaceDeclaration) {
InterfaceDeclaration interfaceDeclaration = (InterfaceDeclaration) typeDeclaration;
PackageDeclaration packageDecl = (PackageDeclaration) interfaceDeclaration
.eContainer().eContainer();
String name = interfaceDeclaration.getName();
value = packageDecl.getName().concat(DOT_SEPARATOR)
.concat(name);
}
if (value != null) {
ImportNormalizer resolver = createImportedNamespaceResolver(
value, ignoreCase);
if (resolver != null) {
importedNamespaces.add(resolver);
}
}
}

return importedNamespaces;
}

I can successfully build the list of imports but when I create interface and have method who is referencing an imported type it doesn't work.

On the other hand if the importedNamespace=QualifiedName is used instead in the grammar definition it works but I prefer to be able to validate imports before use them in the file. Like this the validation is perfomed when I use the imported type somehere in the model (interface). here is what I mean

Demo.java
package com.example.simple;
import com.example.enums.Foo; //OK (I want to trigger compilation error here that Foo is not valid)
import com.example.enums.Days;
public interface Demo {
void someMethod(Days days); // OK
void someMethod(Foo foo); // NOT OK - Foo is not a valid Type
}

Any help would be much appreciated!

Report message to a moderator

Re: Trying to use types that are only imported via import statement [message #1405213 is a reply to message #1405048]

Wed, 06 August 2014 21:14

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

Hi,

what about using imported namespaces and simply validate them.

for index access e.g. have a look at https://www.eclipse.org/forums/index.php/m/766678/#msg_766678

Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Re: Trying to use types that are only imported via import statement [message #1406904 is a reply to message #1405213]

Mon, 11 August 2014 12:08

Pavlina Temelakieva

Messages: 10
Registered: July 2014

Junior Member

Thank you very much Christian. It helped a lot!

Aside from this question I want to ask for directions regarding imports, again:). In my specific language I want to import types from 3rd party jars that are in the project's classpath (those jars conain class files of java projects that are not part of my model). I can easily import types that are defined in model files via type reference e.g. ref=[Entity], but I don't know what kind of type reference to provide for types in 3rd party jars, since as I understand, they are not subtypes of EObject?

[Updated on: Mon, 11 August 2014 12:15]

Report message to a moderator

Re: Trying to use types that are only imported via import statement [message #1406907 is a reply to message #1406904]

Mon, 11 August 2014 12:16

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

what is this third party stuff then? java classes? simple files ....?

Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Re: Trying to use types that are only imported via import statement [message #1406910 is a reply to message #1406907]

Mon, 11 August 2014 12:19

Pavlina Temelakieva

Messages: 10
Registered: July 2014

Junior Member

Yep, those are java classes but not part of Java SE so I cannot use the built-in JvmTypeReference.

I debugged StateBasedContainerManager . getVisibleContainers (...) method and it didn't return the container related to the jar from the classpath containing the types I want to use as imports, because the container.isEmpty() method returned true. Does that say something to you?

[Updated on: Mon, 11 August 2014 13:10]

Report message to a moderator