Грамматически ограниченное наследование JVMModelInferrer с Xtext и XBase - PullRequest
Новая
       94

Грамматически ограниченное наследование JVMModelInferrer с Xtext и XBase

0 голосов
/ 17 октября 2018

Следующая каноническая грамматика сущностей XBase (из Bettini «Реализация доменных языков с Xtext и Xtend») позволяет сущностям расширять любой класс Java.Как указывает закомментированная строка, я хотел бы грамматически заставить объекты только наследовать от объектов. 

grammar org.example.xbase.entities.Entities with org.eclipse.xtext.xbase.Xbase

generate entities "http://www.example.org/xbase/entities/Entities"

Model:
    importSection=XImportSection?
    entities+=Entity*;

Entity:
    'entity' name=ID ('extends' superType=JvmParameterizedTypeReference)? '{'
//  'entity' name=ID ('extends' superType=[Entity|QualifiedName])? '{'
        attributes += Attribute*
        constructors+=Constructor*
        operations += Operation*
    '}';

Attribute:
    'attr' (type=JvmTypeReference)? name=ID ('=' initexpression=XExpression)? ';';

Operation:
    'op' (type=JvmTypeReference)? name=ID 
    '(' (params+=FullJvmFormalParameter (',' params+=FullJvmFormalParameter)*)? ')' 
        body=XBlockExpression;

Constructor:    'new'  
    '(' (params+=FullJvmFormalParameter (',' params+=FullJvmFormalParameter)*)? ')' 
        body=XBlockExpression;

Вот рабочий JVMModelInferrer для модели выше, опять же, где закомментированная строка (и дополнительный метод) отражает мое намерение. 

package org.example.xbase.entities.jvmmodel

import com.google.inject.Inject
import org.eclipse.xtext.common.types.JvmTypeReference
import org.eclipse.xtext.naming.IQualifiedNameProvider
import org.eclipse.xtext.xbase.jvmmodel.AbstractModelInferrer
import org.eclipse.xtext.xbase.jvmmodel.IJvmDeclaredTypeAcceptor
import org.eclipse.xtext.xbase.jvmmodel.JvmTypesBuilder
import org.example.xbase.entities.entities.Entity

class EntitiesJvmModelInferrer extends AbstractModelInferrer {

    @Inject extension JvmTypesBuilder
    @Inject extension IQualifiedNameProvider

    def dispatch void infer(Entity entity, IJvmDeclaredTypeAcceptor acceptor, boolean isPreIndexingPhase) {
        acceptor.accept(entity.toClass("entities." + entity.name)) [
            documentation = entity.documentation
            if (entity.superType !== null) {
                superTypes += entity.superType.cloneWithProxies
                //superTypes += entity.superType.jvmTypeReference.cloneWithProxies
            }

            entity.attributes.forEach [ a |
                val type = a.type ?: a.initexpression?.inferredType
                members += a.toField(a.name, type) [
                    documentation = a.documentation
                    if (a.initexpression != null)
                        initializer = a.initexpression
                ]
                members += a.toGetter(a.name, type)
                members += a.toSetter(a.name, type)
            ]
            entity.operations.forEach [ op |
                members += op.toMethod(op.name, op.type ?: inferredType) [
                    documentation = op.documentation
                    for (p : op.params) {
                        parameters += p.toParameter(p.name, p.parameterType)
                    }
                    body = op.body
                ]
            ]
            entity.constructors.forEach [ con |
                members += entity.toConstructor [
                    for (p : con.params) {
                        parameters += p.toParameter(p.name, p.parameterType)
                    }
                    body = con.body
                ]
            ]
        ]
    }

    def JvmTypeReference getJvmTypeReference(Entity e) {
        e.toClass(e.fullyQualifiedName).typeRef
    }

}

Следующий простой экземпляр отлично разбирает и выводит (с комментариями на месте). 

entity A {
    attr String y;

    new(String y) {
        this.y=y        
    }

}    

entity B extends A {
    new() {
        super("Hello World!")
    }
}

Если, однако, я раскомментирую (икомментарий в соответствующей строке выше) и грамматика и вывод (и регенерировать), вышеупомянутый экземпляр больше не анализирует.Сообщение «Метод super (String) не определен».

Я понимаю, как оставить наследование «свободным» и ограничить использование валидаторов и т. Д., Но я бы предпочел строго ввести это в модель.

Я заблудился относительно того, как решить эту проблему, поскольку я не уверен, где что-то ломается, учитывая роль XBase и JvmModelInferrer.Достаточно указателя (или ссылки).

[... Я могу реализовать все проблемы с областями видимости для не -xbase версии этой грамматики ...]

1 Ответ

0 голосов
/ 18 октября 2018

это не сработает.Вы также должны оставить грамматику как есть и настроить поставщика предложения и проверки.или вы должны использовать "f.q.n.o.y.Entity".typeRef.Вы можете использовать NodeModelUtils, чтобы прочитать FQN или попробовать что-то вроде ("entities."+entity.superType.name).typeRef

...