In this package specialized kinds of classes (earlier known as restricted classes) are described. They have the properties of a general class, apart from restrictions. Moreover, they have additional properties called enhancements.
Extends from ModelicaReference.Icons.Information (Icon for general information packages).
Name | Description |
---|---|
'block' | block |
'class' | class |
'connector' | connector |
ExternalObject | ExternalObject |
'function' | function |
'model' | model |
'package' | package |
'record' | record |
'type' | type |
Define specialized class block
block Integrator input Real u; output Real y; protected Real x; equation der(x) = u; y = x; end Integrator;
[ encapsulated ][ partial] block IDENT class_specifier class_specifier : string_comment composition end IDENT | "=" base_prefix name [ array_subscripts ] [ class_modification ] comment | "=" enumeration "(" ( [enum_list] | ":" ) ")" comment
See Modelica Grammar for further details.
A block class is the same as a model class with the restriction that each connector component of a block must have prefixes input and/or output for all connector variables. The purpose is to model input/output blocks of block diagrams. Due to the restrictions on input and output prefixes, connections between blocks are only possible according to block diagram semantic.
Extends from ModelicaReference.Icons.Information (Icon for general information packages).
Define class
class MyTable extends ExternalObject; function constructor ... end constructor; function destructor ... end destructor; end MyTable;
[ encapsulated ][ partial] class IDENT class_specifier class_specifier : string_comment composition end IDENT | "=" base_prefix name [ array_subscripts ] [ class_modification ] comment | "=" enumeration "(" ( [enum_list] | ":" ) ")" comment
See Modelica Grammar for further details.
The keyword class is used to define general classes (without any restrictions). It is identical to the keyword model. In most cases, it is recommended to use specialized classes as connector, model, block, package, record, function, type. "class" should be used to define ExternalObjects, and can be used for classes merely containing documentation and/or graphics.
Extends from ModelicaReference.Icons.Information (Icon for general information packages).
Define specialized class connector
connector flange Modelica.Units.SI.Angle phi; flow Modelica.Units.SI.Torque tau; end flange;
[ encapsulated ][ partial] connector IDENT class_specifier class_specifier : string_comment composition end IDENT | "=" base_prefix name [ array_subscripts ] [ class_modification ] comment | "=" enumeration "(" ( [enum_list] | ":" ) ")" comment
See Modelica Grammar for further details.
The keyword connector is used to define connectors, which are used in connect() statements. In connectors, no equations are allowed in the definition or in any of its components. With respect to "class", it is enhanced to allow connect(..) to components of connector classes.
Variable declarations in a connector can have the additional prefixes flow or stream, besides the prefixes input and output, that are also allowed outside of a connector. Based on the prefix, a connect() statement leads to specific connection equations, that describe the balance equations in the infinitesimal connection points.
If three connectors c1, c2, c3 with the definition
connector Demo Real p; // potential variable flow Real f; // flow variable stream Real s; // stream variable end Demo;
are connected together with
connect(c1,c2); connect(c1,c3);
then this leads to the following equations:
// Potential variables are identical c1.p = c2.p; c1.p = c3.p; // The sum of the flow variables is zero 0 = c1.f + c2.f + c3.f; /* The sum of the product of flow variables and upstream stream variables is zero (this implicit set of equations is explicitly solved when generating code; the "<undefined>" parts are defined in such a way that inStream(..) is continuous). */ 0 = c1.f*(if c1.f > 0 then s_mix else c1.s) + c2.f*(if c2.f > 0 then s_mix else c2.s) + c3.f*(if c3.f > 0 then s_mix else c3.s); inStream(c1.s) = if c1.f > 0 then s_mix else <undefined>; inStream(c2.s) = if c2.f > 0 then s_mix else <undefined>; inStream(c3.s) = if c3.f > 0 then s_mix else <undefined>;
Extends from ModelicaReference.Icons.Information (Icon for general information packages).
Define external functions with internal memory.
External functions may have internal memory reported between function calls. Within Modelica this memory is defined as instance of the predefined class ExternalObject according to the following rules:
A user-defined table may be defined in the following way as an ExternalObject (the table is read in a user-defined format from file and has memory for the last used table interval):
class MyTable extends ExternalObject; function constructor input String fileName = ""; input String tableName = ""; output MyTable table; external "C" table = initMyTable(fileName, tableName); end constructor; function destructor "Release storage of table" input MyTable table; external "C" closeMyTable(table); end destructor; end MyTable;
and used in the following way:
model test "Define a new table and interpolate in it" MyTable table=MyTable(fileName ="testTables.txt", tableName="table1"); // call initMyTable Real y; equation y = interpolateMyTable(table, time); end test;
This requires to provide the following Modelica function:
function interpolateMyTable "Interpolate in table" input MyTable table; input Real u; output Real y; external "C" y = interpolateMyTable(table, u); end interpolateTable;
The external C-functions may be defined in the following way:
typedef struct { /* User-defined data structure of the table */ double* array; /* nrow*ncolumn vector */ int nrow; /* number of rows */ int ncol; /* number of columns */ int type; /* interpolation type */ int lastIndex; /* last row index for search */ } MyTable; void* initMyTable(const char* fileName, const char* tableName) { MyTable* table = malloc(sizeof(MyTable)); if ( table == NULL ) ModelicaError("Not enough memory"); // read table from file and store all data in *table return (void*) table; } void closeMyTable(void* object) { /* Release table storage */ MyTable* table = (MyTable*) object; if ( object == NULL ) return; free(table->array); free(table); } double interpolateMyTable(void* object, double u) { MyTable* table = (MyTable*) object; double y; // Interpolate using "table" data (compute y) return y; }
Extends from ModelicaReference.Icons.Information (Icon for general information packages).
Define specialized class function
function si input Real x; output Real y; algorithm y = if abs(x) < Modelica.Constants.eps then 1 else Modelica.Math.sin(x)/x; end si;
[ encapsulated ][ partial] [ pure | impure] function IDENT class_specifier class_specifier : string_comment composition end IDENT | "=" base_prefix name [ array_subscripts ] [ class_modification ] comment | "=" enumeration "(" ( [enum_list] | ":" ) ")" comment
See Modelica Grammar for further details.
The keyword function is used to define functions as known from programming languages.
The syntax and semantics of a function have many similarities to those of the block specialized class. A function has many of the properties of a general class, e.g., being able to inherit other functions, or to redeclare or modify elements of a function declaration.
Modelica functions have the following restrictions compared to a general Modelica class:
Modelica functions have the following enhancements compared to a general Modelica class:
A function may have a function as an input argument. The declared type of such an input formal parameter in a function can be the class-name of a partial function that has no replaceable elements. It cannot be the class-name of a record [i.e., record constructor functions are not allowed in this context.] Such an input formal parameter of function type can also have an optional functional default value. Example:
function quadrature "Integrate function y=integrand(x) from x1 to x2" input Real x1; input Real x2; input Integrand integrand; // Integrand is a partial function, see below // With default: input Integrand integrand := Modelica.Math.sin; output Real integral; algorithm integral :=(x2-x1)*(integrand(x1) + integrand(x2))/2; end quadrature; partial function Integrand input Real x; output Real y; end Integrand;
A functional argument can be provided in one of the following forms to be passed to a formal parameter of function type in a function call (see examples below):
In all cases the provided function must be "function type compatible" to the corresponding formal parameter of function type. Example:
// A function as a positional input argument according to case (a) function Parabola extends Integrand; algorithm y = x*x; end Parabola; area = quadrature(0, 1, Parabola); // The quadrature2 example below uses a function integrand that // is a component as input argument according to case (c): function quadrature2 "Integrate function y=integrand(x) from x1 to x2" input Real x1; input Real x2; input Integrand integrand; // Integrand is a partial function type output Real integral; algorithm integral := quadrature(x1, (x1+x2)/2, integrand)+ quadrature((x1+x2)/2, x2, integrand); end quadrature2;
Extends from ModelicaReference.Icons.Information (Icon for general information packages).
Define specialized class model
model SlidingMass parameter Modelica.Units.SI.Mass m=1; parameter Modelica.Units.SI.Force f=1; Modelica.Units.SI.Position s; Modelica.Units.SI.Velocity v; Modelica.Units.SI.Acceleration a; equation der(s) = v; der(v) = a; m*a = f; end SlidingMass;
[ encapsulated ][ partial] model IDENT class_specifier class_specifier : string_comment composition end IDENT | "=" base_prefix name [ array_subscripts ] [ class_modification ] comment | "=" enumeration "(" ( [enum_list] | ":" ) ")" comment
See Modelica Grammar for further details.
The keyword model is identical to the keyword class, i.e., no restrictions and no enhancements.
Extends from ModelicaReference.Icons.Information (Icon for general information packages).
Define specialized class package
package Library constant Real k = 0.1; type X = Real(min=0); model A ... end A; model B ... end B; end Library;
[ encapsulated ][ partial] package IDENT class_specifier class_specifier : string_comment composition end IDENT | "=" base_prefix name [ array_subscripts ] [ class_modification ] comment | "=" enumeration "(" ( [enum_list] | ":" ) ")" comment
See Modelica Grammar for further details.
May only contain declarations of classes and constants. Enhanced to allow import of elements of packages.
Extends from ModelicaReference.Icons.Information (Icon for general information packages).
Define specialized class record
record States Modelica.Units.SI.Position s; Modelica.Units.SI.Velocity v; end States; record System parameter Modelica.Units.SI.Mass m=1; parameter Modelica.Units.SI.Force f=1; Modelica.Units.SI.Acceleration a; States states; end System; model SlidingMass System sys; equation der(sys.states.s) = sys.states.v; der(sys.states.v) = sys.a; sys.m*sys.a = sys.f; end SlidingMass;
[ encapsulated ][ partial] record IDENT class_specifier class_specifier : string_comment composition end IDENT | "=" base_prefix name [ array_subscripts ] [ class_modification ] comment | "=" enumeration "(" ( [enum_list] | ":" ) ")" comment
See Modelica Grammar for further details.
The keyword record is used to define records which are generally used in order to group variables. Only public sections are allowed in the definition or in any of its components (i.e., equation, algorithm, initial equation, initial algorithm and protected sections are not allowed). May not be used in connections. The elements of a record may not have prefixes input, output, inner, outer, or flow. Enhanced with implicitly available record constructor function. Additionally, record components can be used as component references in expressions and in the left hand side of assignments, subject to normal type compatibility rules.
Extends from ModelicaReference.Icons.Information (Icon for general information packages).
Define specialized class type
type R0Plus = Real(min=0);
[ encapsulated ][ partial] type IDENT class_specifier class_specifier : string_comment composition end IDENT | "=" base_prefix name [ array_subscripts ] [ class_modification ] comment | "=" enumeration "(" ( [enum_list] | ":" ) ")" comment
See Modelica Grammar for further details.
The keyword type is used to define types, which may only be extensions to the predefined types, enumerations, array of type, or classes extending from type. Enhanced to extend from predefined types [No other specialized class has this property].
Extends from ModelicaReference.Icons.Information (Icon for general information packages).
Automatically generated Thu Oct 1 16:08:42 2020.