This ticket is tracking the progress on the the new frontend. Some documentation on the new frontend development is available on wiki:NewFrontEnd.
The current status is:
- Instantiation (Per, Adrian) 80%
-
Instantiation of long and short class definitions are implemented. Still missing are overloaded functions and partial derivative functions. Partial support for class extends. The handling of equations, algorithms and expressions needs to be expanded.
- Extends (Per) 90%
-
Support for extends is implemented. More error checking is needed though, e.g. for duplicate elements and illegal class types.
- Lookup (Per) 90%
-
Basic lookup is implemented, both for class names and crefs. Very little error checking is done beyond "name could not be found" though. Some more lookup functions will likely be needed for e.g. inner/outer.
- Modifiers (Per) 80%
-
Support of modifiers on components, extends clauses and class modifiers is implemented, more testing is needed.
- Redeclare (Per) 60%
-
Only very basic redeclare of components is implemented, more work is needed for redeclare of classes, merging of modifiers, constraining type, etc. Preliminary support for redeclare-as-elements was implemented.
- Imports (Per, Adrian) 50%
-
Basic support for qualified/unqualified imports is implemented. It's also only possible to import classes at the moment, and not components. Some way of marking elements as imported is also needed, currently they are just inserted into the importing class as they are.
- Conditional Components (Lennart)
-
No support for conditional components implemented.
This needs support from constant/function evaluation and expression simplification. It can be implemented after typing together with handling of component bindings.
- Inner/Outer (Adrian)
-
No support for Inner/Outer is implemented at all so far, but the new instance tree structure should make this fairly straightforward.
The inner outer can be implemented via addition of alias equations, is a matter of lookup of the inner component and prefixing.
- Functions (Per, Adrian, Peter, Mahder) 75%
-
Partial support for functions. Instantiation and typing of functions is implemented. Positional arguments and named arguments are supported. *Vectorization support needs do be adapted*. Preliminary support for reductions is implemented. Support for function trees exists.
- Records (Mahder) 50%
-
Support for records and for record constructors in the works.
- Builtin (Per, Mahder) 50%
-
So far only support for the basic types and time is implemented. Support for all the builtin functions and other builtin things (e.g. StateSelect, ExternalObject, etc.) needs to be implemented. As much as possible should be implemented via ModelicaBuiltin. Tests added. Support for functions with variable number of arguments not yet implemented.
- Builtin Array functions and operators (Arun, Mahder)
-
First the function handling needs to be completed by Mahder.
Adapt the old Static.mo to the new expressions types in the NF.
- Typing (Mahder, Peter) 70%
-
Quite a lot of typing is already implemented, but it needs to be expanded to handle all kinds of expressions and so on.
- Type Checking (Mahder, Peter) 60%
-
Some parts of the type checking module from the "old new frontend" is being used to type check binary expressions at the moment. Everything in NFTypeCheck that's not used is commented out since some of it doesn't compile any more. We need to investigate if more of the old code can be reused, and implement missing/nonreusable parts.
- Flattening (Per) 40%
-
Expansion of array bindings is currently broken and need to be fixed. Subscripting needs to be improved, and the module in general needs to be expanded to keep up with the phases before it.
- Connection Handling (Adrian) 60%
-
Handling of connect equations using the DAE and the instance tree.
- Unit checking (Arun) 100%
-
Ported the backend unit checking to the new frontend. Added tests. Based on the DAE intermediate form.
- Operator Overloading (Mahder & Martin) 40%
-
The support for operator overloading from the current front-end (or the previous implementation of the new front-end) should be ported to the new front-end. Most of the Operator Overloading resolution is done, lookup of actual deoverloaded functions is needed.
- Constant Evaluation (Lennart) 90%
-
Constant evaluate structural parameters (minimal) or any other constant/parameter bindings (not by default). Per implemented a new type of DAE component reference that contains links to the instantiated component tree on which one can do evaluation of bindings. Support for evaluating expressions has been implemented except ranges, sizes, records. We should ONLY evaluate what we need and nothing more.
- Function Evaluation (Lennart) 1%
-
Sometimes to evaluate structural parameters one needs to evaluate functions. This will port the function interpretation from the current front-end to the new front-end.
- Expression Simplification (Lennart) 60%
-
Expression simplification is needed together with constant/function evaluation to evaluate structural parameters. This needs to be a separate package so that can be reused in some other parts of the compiler. Support for expression simplification has been implemented except for functions, array slices.
- Local balance checking (Mahder)
-
This will check the balance checking for each model so that errors can be detected sooner. We had no such support in the current front-end.
- Synchronous Features (BernhardT)
-
The handling of the synchronous features (Clocks, etc) and state machines should be ported from the current front-end to the new front-end.
This functionality needs function, builtin and inner/outer support.
- OMC <-> OMEdit Communication (Adeel, Adrian)
-
The new front-end should be used by OMEdit to query information about a model instantiation. A new OMC API is needed to handle the GUI in a much faster way than with the current front-end. OMEdit should query the instantiated class directly to retrieve components, annotations, etc.
Still some problems with component modifiers. Running the following test script
loadString(" package P model A parameter Real p; end A; model B parameter Real q = 2; A a1(p = q); end B; model C parameter Real q = 2; A a1(p = q); A a2(p = q); end C; end P; "); setCommandLineOptions("-d=newInst"); instantiateModel(P.B); instantiateModel(P.C);returns
so for some reason model C is not instantiated at all.