当前位置: 首页 > 软件库 > 插件和扩展 > Eclipse插件 >

Xsemantics

Xtext 的类型系统
授权协议 EPL
开发语言 Java
所属分类 插件和扩展、 Eclipse插件
软件类型 开源软件
地区 不详
投 递 者 甘骞尧
操作系统 跨平台
开源组织
适用人群 未知
 软件概览

Eclipse Xsemantics 是一种DSL(在 Xtext 中实现的),为 Xtext 实现了编写类型系统、缩减规则、解释器和一般关系规则的语言。 Xsemantics 定义是一套具有结论和一套前提的判断规则。 然后生成 Java 代码,可以在基于Xtext 的语言中进行验证。

Eclipse Update:https://dl.bintray.com/lorenzobettini/xsemantics/updates/1.10/

 相关资料
  • 类型系统 javascript 类型系统可以分为标准类型和对象类型,进一步标准类型又可以分为原始类型和引用类型,而对象类型又可以分为内置对象类型、普通对象类型、自定义对象类型。 标准类型 标准类型共包括了6个分别是: 原始类型(值类型): Undefined undefined Null null Boolean true String 'hello' Number 123 引用类型(对象类型):

  • 主要内容:批量操作系统,多程序操作系统,多处理操作系统,实时操作系统当前场景中存在许多类型的操作系统: 批量操作系统 在20世纪70年代,批处理非常受欢迎。 作业()分批执行。 人们习惯于拥有一台称为大型机的计算机。 在批量操作系统中,可以访问多个人; 他们将各自的工作提交给系统执行。 系统根据先到先得的原则将所有工作放入队列中,然后逐个执行工作。 用户在所有作业执行时收集各自的输出。 批处理操作系统的缺点 1. 饥饿 批处理经常遭受饥饿。 如果批次中存在五个作业

  • 本文向大家介绍关系类型,包括了关系类型的使用技巧和注意事项,需要的朋友参考一下 X和Y或E上的集合之间的空关系是空集合∅ 集合X和Y之间的完全关系为集合X×Y 集合X上的身份关系是集合{(x,x)| x∈X} 关系R的逆关系R'定义为-R'= {(b,a)| (a,b)∈R} 示例-如果R = {(1,2),(2,3)},则R'将是{(2,1),(3,2)} 如果∀a∈A与a相关(aRa成立),则

  • 本文向大家介绍浅析C# 中的类型系统(值类型和引用类型),包括了浅析C# 中的类型系统(值类型和引用类型)的使用技巧和注意事项,需要的朋友参考一下 今天要写的东西都是书中一些概念性的东西,就当抄笔记,以提问对话的方式将其写出来吧,说不定以后面试能有点谈资~~~   Q1.C#1系统类型包含哪三点特性?   A1.C#1类型系统是静态的、显式的和安全的。   Q2.为什么称为静态类型?   A2.静

  • 商品分类、商品规格、商品类型的关系: 商品类型不同于商品分类,指的是依据某一类商品的相同属性归纳成的属性集合,例如手机类型有屏幕尺寸、铃声、网络制式等共同的属性;书籍类型有出版社、作者、ISBN号等共同的属性。商品类型可以在简单商品基础上增加更多的展示点,让顾客能全方位、多角度的来选择商品。商品类型包括扩展属性、参数、规格等三个部分。 商品规格对产品名称中不能体现的产品参数信息的补充,一般需要含有

  • 当我们创建一个类型类时,通常会假设它的函数必须服从某些属性。因此,我们得到了它们各自类型类的么半群和么单律。但是,如果有某种规律,比如结合性,我想要指定多个类可以服从,也可以不服从这个规律,那该怎么办?在Haskell的类型系统中有办法做到这一点吗?这种类型类对类型类的想法在实践中是否可行? 下面是代数中一个很有启发性的例子:

  • 我试图让ESB系统使用ServiceMix和ActiveMQ运行。但甚至在我深入到这一点之前,我就有一个关于POM依赖类型的问题。我得到的maven依赖关系如下: 如能提供任何指导,不胜感激。这个ServiceMix由于缺乏文档而令人沮丧。

  • 想象一下有一个主类——模拟器——它使用另外两个类——生产者和评价者,分别实现接口IProducer和IEEvaluator。 IProducer实现产生结果,而IEEvaluator实现评估这些结果。模拟器通过查询IProducer实现,然后将结果传递给IEEvaluator实例,来控制执行流。 生产者和评估者的实际实现在运行时是已知的,在编译时我只知道他们的接口。检查下面的示例。 这段代码编译时