1 / 11

Xtext

Xtext. Typesystem Framework. Markus Voelter independent /itemis. Typesystem (from Wikipedia). In computer science, a type system may be defined as a tractable syntactic framework for classifying phrases according to the kinds of values they compute.

gwidon
Download Presentation

Xtext

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Xtext Typesystem Framework Markus Voelter independent/itemis

  2. Typesystem (from Wikipedia) In computer science, a type system may be defined as a tractable syntactic framework for classifying phrases according to the kinds of values they compute. A type system associates types with each computed value. By examining the flow of these values, a type system attempts to prove that no type errors can occur. The type system in question determines what constitutes a type error, but a type system generally seeks to guarantee that operations expecting a certain kind of value are not used with values for which that operation makes no sense.

  3. x: Var y: Calc type type expr IntType IntType Plus left right IntConst Multi left right IntConst Sqrt expr VarRef

  4. declarefixedtypes x: Var y: Calc type type expr IntType IntType Plus int int left right IntConst Multi int left right double IntConst Sqrt int expr VarRef

  5. declarefixedtypes derivetypes x: Var y: Calc int type type expr IntType IntType Plus int int left right IntConst Multi int left right double IntConst Sqrt int expr VarRef int

  6. declarefixedtypes derivetypes calculatecommon x: Var y: Calc (type hierarchies) int type type expr double IntType IntType Plus int int left right IntConst Multi int double left right double IntConst Sqrt int expr VarRef int

  7. declarefixedtypes derivetypes calculatecommon x: Var y: Calc (type hierarchies) int check types type type expr double IntType IntType Plus int int left right ! ! ! ! ! ! ! IntConst Multi int double left right double IntConst Sqrt int expr VarRef int

  8. declarefixedtypes derivetypes calculatecommon (type hierarchies) check types Xtext Typesystem Framework

  9. declarefixedtypes derivetypes calculatecommon (type hierarchies) check types Xtext Typesystem Framework Demo

  10. declarefixedtypes derivetypes calculatecommon (type hierarchies) check types Xtext Typesystem Framework Demo Try it: http://code.google.com/a/eclipselabs.org/p/xtext-typesystem/

More Related