Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » B3 » b3 status update
b3 status update [message #608563] Tue, 22 June 2010 09:52
Henrik Lindberg is currently offline Henrik Lindberg
Messages: 2493
Registered: July 2009
Senior Member
Hi,
I am steadily moving towards having type inference implemented and used
when editing (as opposed to just being available in runtime).

I am about half way through this - variables and features are already
done, and I am now working on calls (I am halfway through).

As a consequence, some early design decisions to allow guards to be
expressed as general b3 expressions have been removed as they require
full evaluation and can thus only be done in runtime (or with
precompiled functions). The only place these are used are in the system
functions to handle number genericity and guarding number functions with
Integral value guards. I seriously doubt anyone will ever need to guard
functions elsewhere. (It is possible to allow something like a type
filter similar to the type predicate used in concerns for functions and
builders - but for now I am going to leave that as a possible future
enhancement.

Regards
- henrik
Previous Topic:b3aggr model and relative locations
Next Topic:b3 status update
Goto Forum:
  


Current Time: Thu Apr 24 01:53:27 EDT 2014

Powered by FUDForum. Page generated in 0.01752 seconds