Xtext
This presentation is the property of its rightful owner.
Sponsored Links
1 / 11

Xtext PowerPoint PPT Presentation


  • 106 Views
  • Uploaded on
  • Presentation posted in: General

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.

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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Xtext

Xtext

Typesystem Framework

Markus Voelter

independent/itemis


Xtext

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.


Xtext

x: Var

y: Calc

type

type

expr

IntType

IntType

Plus

left

right

IntConst

Multi

left

right

IntConst

Sqrt

expr

VarRef


Xtext

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


Xtext

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


Xtext

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


Xtext

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


Xtext

declarefixedtypes

derivetypes

calculatecommon

(type hierarchies)

check types

Xtext

Typesystem Framework


Xtext

declarefixedtypes

derivetypes

calculatecommon

(type hierarchies)

check types

Xtext

Typesystem Framework

Demo


Xtext

declarefixedtypes

derivetypes

calculatecommon

(type hierarchies)

check types

Xtext

Typesystem Framework

Demo

Try it:

http://code.google.com/a/eclipselabs.org/p/xtext-typesystem/


  • Login