New FrontEnd

[Per Östlund]

This ticket is tracking the progress on the the new frontend. Some documentation on the new frontend development is available on wiki:NewFrontEnd.

The new frontend development is almost complete. The plan for release 1.14.0 is that it will still be optional -d=newInst, but will guarantee better coverage and faster performance than the current one on a selected number of libraries, including the Modelica Standard Library.

The current coverage of the MSL is available in this ​report, with the time history reported in the figure. Please note that as of 13 Feb 2019, the reference files for MSL 3.2.3 are still incomplete, so the verification figure is not reliable until all reference files are properly set up. Support of MSL 3.2.3 is discussed specifically in #5296.

The coverage with some other selected open-source library is reported here:

This is a list of all tickets opened for the new frontend (New Instantiation module). Note that tickets with id > 4000 were opened specifically during the development of the new front end, while older ones refer to old issues with the old front end that are expected to be fixed by the new one.

Number of tickets: 57

Ticket	Summary	Status	Owner	Type	Priority	Milestone
#1080	Constraining type on redeclarations (from MathCore)	new	krsta	defect	normal	2.1.0
#1747	Implement checks for all connection rules in chapter 9	new	Per Östlund	task	low	Future
#1842	Illegal redeclare should be rejected by the NF with appropriate error message	assigned	Per Östlund	defect	high	2.1.0
#1939	Duplicate class detection not working when loading MSL	reopened	Per Östlund	defect	normal
#2010	Prefix rules needs more work in new instantiation	new	Per Östlund	defect	high	2.1.0
#2153	Better analysis for function completion	new	Per Östlund	defect	high	2.1.0
#2276	detecting size mismatch for output arguments in functions	reopened	somebody	defect	normal	2.1.0
#2367	Record with vectors, zeros(), size()	accepted	Adrian Pop	defect	high	Future
#2385	Missing variable declarations in instantiated model when using expandable connectors	reopened	Adrian Pop	defect	high	2.0.0
#2387	Operator overloading fails for matrices	assigned	Per Östlund	defect	high	2.0.0
#2447	Let OM automatically load packages as specified in import statements	reopened	Per Östlund	enhancement	high	1.19.0
#2484	Expandable connector resolution misses components	assigned	Per Östlund	defect	blocker	2.0.0
#3121	Missing bindings in flattened operator overloading example	assigned	Per Östlund	defect	low	2.1.0
#3186	Partial binding of record sub-components in functions are lost	assigned	Per Östlund	defect	critical	2.0.0
#3221	Equation count of models containing expandable connectors	assigned	Mahder Alemseged Gebremedhin	defect	normal	2.0.0
#3977	Better diagnostics for non-balanced models	new	Lennart Ochel	enhancement	blocker	2.0.0
#4120	Out-of-bounds array elements undetected by front-end	assigned	Per Östlund	defect	blocker	2.0.0
#4442	Incorrect evaluation of inner/outer and record dependencies	assigned	Per Östlund	defect	high	2.0.0
#4496	Complex 'sum' does not work	assigned	Per Östlund	defect	blocker	2.0.0
#4515	Automatic inference of nominal attributes for scaling	new	Per Östlund	discussion	high	2.0.0
#4526	Propagate displayUnits on simple equations	new	Mahder Alemseged Gebremedhin	enhancement	high
#4603	Provide support for start-value selection according to the Modelica Specification	assigned	Karim Adbdelhak	defect	high
#4648	Add support for annotation for turning off replaceable check	new	Per Östlund	enhancement	normal	Future
#4843	NF doesn't evaluate size expression of function input parameters	new	Per Östlund	defect	normal	2.1.0
#4901	The NF does not check if redeclared functions are legal	new	Per Östlund	defect	high	2.1.0
#4905	Restriction on input connection is not enforced by OMC	assigned	Per Östlund	defect	high	2.1.0
#4908	[NF] Issues with inner/outer with redeclare	new	Per Östlund	defect	high	Future
#4960	Evaluate all parameters except some	new	Per Östlund	enhancement	high	2.0.0
#5061	[NF] Are public parameters allowed in functions by the Modelica spec?	new	Per Östlund	defect	high	2.0.0
#5178	Incorrect Warning - not balanced connector	reopened	Per Östlund	defect	normal	2.1.0
#5240	NFEvalFunction.evaluateExternal is not yet implemented	reopened	Per Östlund	defect	blocker	2.0.0
#5334	Check for wrong annotations	new	Per Östlund	enhancement	high	2.1.0
#5474	[NF] Lookup of inner class fails	new	Per Östlund	defect	high
#5545	Improve diagnostics for wrong connectors	new	Per Östlund	enhancement	high	2.1.0
#5579	New Frontend does not check for circular dependencies in parameter bindings	new	Per Östlund	defect	high	Future
#5597	Two examples of the new Modelica.Electrical.Batteries package do not work with the new frontend	new	Per Östlund	defect	blocker	2.0.0
#5598	redeclaration of input as output with NF	assigned	Per Östlund	discussion	normal
#5605	Parameter with only start value not accepted	new	Per Östlund	defect	blocker	2.0.0
#5667	Arrays of records insufficiently type checked	new	Per Östlund	defect	high	2.1.0
#5688	Use of removed conditional component not reported	new	Per Östlund	defect	normal	Future
#5730	Issue with operator record constructors in NF	new	Per Östlund	defect	high
#5837	Unit checking is not performed on operator record equations	new	Per Östlund	defect	blocker	2.0.0
#5847	Constant is used without having been given a value	new	Per Östlund	defect	blocker	2.0.0
#5852	getCommandLineOptions fails with newInst	new	Per Östlund	defect	normal
#5866	Update Save Total to NF	new	Per Östlund	defect	blocker	2.0.0
#6047	The NF incorrectly infers the variability of a function call in Modelica.Media	new	Per Östlund	defect	blocker	2.0.0
#6114	Unit checking scales with O(2^N) in case of large expressions involving +-*/ operators	assigned	Per Östlund	defect	normal	2.0.0
#6126	Error while compiling wind turbine model from PowerSystems library	assigned	Per Östlund	defect	blocker	1.19.0
#6149	The NF accepts illegal type declarations?	new	Per Östlund	defect	blocker	2.0.0
#6163	Constrainedby clause not verified by the NF	new	Per Östlund	defect	high	2.1.0
#6213	Lookup in wrong scope when redeclaring function field in a function	accepted	Per Östlund	defect	high
#6293	Function non-inputs are initialized in the wrong order	new	Per Östlund	defect	low
#6325	Support for ExternData	assigned	Per Östlund	defect	high
#6373	Electrical Quasistationary MutualInductor in standard library not working in OM	assigned	Per Östlund	defect	critical
#6383	Omc doesn't check correctly the constraining-clause	new	Per Östlund	defect	blocker	2.0.0
#6390	Cannot extend from RealOutput	new	Per Östlund	defect	low
#6423	Optionally list all empty connection sets	new	Per Östlund	enhancement	high

[Francesco Casella]

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

true
true
"class B
  parameter Real q = 2;
  parameter Real a1.p = q;
end B;
"
""

so for some reason model C is not instantiated at all.

[Per Östlund]

Replying to casella:

Still some problems with component modifiers.

I am well aware of that, and have already fixed this particular issue locally a while ago. At the moment I'm not really interested in bug reports though, the new instantiation is not ready for public testing yet.

[Francesco Casella]

Replying to perost:

At the moment I'm not really interested in bug reports though, the new instantiation is not ready for public testing yet.

Q1: Can you give a reasonable estimate of when this will be possible?

Q2: Is the interface towards the other tasks of Phase 2 already stabilized? If not, when will it reasonably be?

[Per Östlund]

Replying to casella:

Q1: Can you give a reasonable estimate of when this will be possible?

No

Q2: Is the interface towards the other tasks of Phase 2 already stabilized? If not, when will it reasonably be?

Maybe

[Per Östlund]

Class modifiers have been implemented now, but needs more testing.

[Francesco Casella]

The test case reported in comment:4 now produces the expected result

[Francesco Casella]

However, instantiating P.S in the attached test case still fails

[Per Östlund]

Replying to casella:

However, instantiating P.S in the attached test case still fails

It works fine for me, are you using the latest nightly build?

[Francesco Casella]

Replying to perost:

Replying to casella:

However, instantiating P.S in the attached test case still fails

It works fine for me, are you using the latest nightly build?

I thought so, but I wasn't. With OpenModelica-v1.11.0-dev-288-g2ccad20-64bit, it works fine for me also :)

[Per Östlund]

Initial support for enumerations is now implemented.

[Francesco Casella]

Added link to wiki page

[Adrian Pop]

Small status update.

[Francesco Casella]

I just tried out ScalableTestSuite.Elementary.SimpleODE.Models.CascadedFirstOrder:

model CascadedFirstOrder
  parameter Integer N = 10 "Order of the system";
  parameter Modelica.SIunits.Time T = 1 "System delay";
  final parameter Modelica.SIunits.Time tau = T/N "Individual time constant";
  Real x[N] (each start = 0, each fixed = true);
equation
  tau*der(x[1]) = 1 - x[1];
  for i in 2:N loop
    tau*der(x[i]) = x[i-1] - x[i];
  end for;
end CascadedFirstOrder;

but it still doesn't work, I get

Error: Type mismatch for positional argument 1 in der(x=x[1]).
The argument has type: Real[10]
expected type: Real

This is a very basic model, and it doesn't use arrays in any fancy way. This error looks to me more like a bug than a missing feature.

Would you mind fixing this issue so we can start getting some results from testing the ScalableTestSuite with the new front-end?

Thanks

Francesco

[Per Östlund]

Replying to casella:

This is a very basic model, and it doesn't use arrays in any fancy way. This error looks to me more like a bug than a missing feature.

Subscripting is not implemented yet, so it is actually a missing feature. It's high up on my todo list, but other things currently has higher priority for me.

[Francesco Casella]

OK. I interpreted "Subscripting needs to be improved" as "there is already some subscripting implemented" :)

[Per Östlund]

Updated description for redeclares (better in general, but class extends/element redeclares currently broken) and imports.

[Per Östlund]

Replying to casella:

Would you mind fixing this issue so we can start getting some results from testing the ScalableTestSuite with the new front-end?

This model should start working in about five minutes, once Hudson pulls in my latest changes.

[Francesco Casella]

Very good!

[Per Östlund]

Move all tickets from NF - New Frontend to New Instantiation so we don't have two different categories for the same thing.

[Adrian Pop]

Overconstrained connection graph is now implemented via #4966.