ModelicaSpecification
ModelicaSpecification copied to clipboard
modelica
Specification of the Modelica Language
Is the following model allowed? ```Modelica model Example constant Real eps = ...; Real x(start = 0, fixed = true); Real y(start = 0, fixed = true); equation der(x) =...
The specs say: > The size of an array - the iteration range - is evaluated on entry to the for-loop and the array size shall not change during the...
I find the following model very problematic to handle, and would like to resolve it by requiring that the `delay(…, delayTime, …)` always has a positive `delayTime`: ``` model ZeroDelay...
When trying to enforce the fact that: > The dimension sizes not declared with colon (:) of each array result or array local variable (i.e., > a non-input component) of...
Clarify that clocked discrete-time expressions are discrete-time expressions. Closes #3116 The other parts of the issue are tracked elsewhere.
Consider: ``` model PartialCall type E = enumeration(one, two); function f input Real u; input Real i; input E e = E.one; output Real y; algorithm y := u +...
Our style guide should give rules for when to use a comma after "e.g." and "i.e.", and the text should be updated to follow whatever is decided. Currently we have...
More consistent non-syntax variant of defining annotations, based on comments in #2999 Notes: - A remaining issue is whether they (and experiment) should be parameter, constant, or evaluable. That may...
What is the value of `a.x`, in the following example? ``` model Test model A0 Real x = 1; end A0; model A1 extends A0; Real y = 2; end...