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 13:52
Henrik Lindberg is currently offline Henrik Lindberg
Messages: 2500
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: Sun Oct 26 03:09:11 GMT 2014

Powered by FUDForum. Page generated in 0.01854 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software