Type inference api - Githubissues

viatra / EMF-IncQuery

This repository is only kept for historic reasons. All development happens on eclipse.org

http://eclipse.org/viatra

13 stars 4 forks source link

Closed OszkarSemerath closed 11 years ago

OszkarSemerath commented 12 years ago

Goal: Create an api that can infer the type of a variable of a pattern. This api can be used for:

Detecting unsatisfiable type constraints
Feedback the inferred type to user
Cleaning the patterns from unnecessary type information
Or even improving the performance of the query engine by aiding it with additional information about the possible type of a variable