TextX 检索对象父类型

Question

假设我们的语法中有两个这样的规则：

Value: AttributeReference | PrimitiveValue;

PrimitiveValue: BoolValue | StringValue | IntValue;

我想为这种语言实现一个代码生成器。基本上，对于每条规则，我定义了一个执行此操作的函数。例如，code_gen_value函数获取一个对象，如果该对象的类型是，AttributeReference那么它会调用code_gen_attribute_reference (passing the object)，或者如果类型是PrimitiveValue，那么它会调用code_gen_primitive_value (passing the object)。问题是我使用以下内容来检索对象的类型：

value_type = cname(value) where:

def cname(o):

     return o.__class__.__name__

但是，当我在示例上运行它时，它the value_type是输入对象。我的问题是，如何检查该对象是否是 的子类型？StringValuecode_gen_value functionPrimitiveValue

在 XTexnd 中，可以使用instanceof关键字并且实际上if obj instanceof PrimitiveValue可以在code_gen_value. 我想知道我们如何在 TextX 中表达这一点。

有没有办法引用为我们的语法生成的元模型中的类型？

Answer 1

要根据 textX 语法指定的继承检查对象是否是某种类型的实例，可以使用textx_isinstance。在当前版本的 textX (2.2.0) 中，可以从textx.scoping.tools. 从 2.3.0 开始，它将在模块中可用textx。