Array Types and Type Checking

1 ColorPixel

It is possible to declare user-defined array types analogously to other user-defined types. For example, a ColorPixel can be defined as a three-element vector representing the three base colors, and a variable image declared as a matrix of such pixels.

The expanded type of an array is the multidimensional array which is constructed by taking the first dimensions from the variable declaration and subsequent dimensions from the maximally expanded array element type of the declaration. Note that we are not using ColorPixel[512, 512] as in the book, because of the incredible amount of variables it would imply.

type ColorPixel = Real[3];
class ColorPixelInst ColorPixel[10, 10] image = fill(10, 10, 10, 3); end ColorPixelInst;

1.1 Simulation of ColorPixelInst

simulate( ColorPixelInst )

Take a look at the value at time=0:

val(image[1,6,3],0)

2 Voltage and Current

Consider the definition of the notion of the expanded type in the example below. The user-defined types Voltage and Current are defined using type definitions.

type Voltage = Real(unit = "V");
type Current = Real(unit = "A");

3 Pin

Pin is defined through the declaration of a connector. The type of v and i is Voltage and the expanded type of v and i is Real.

connector Pin Voltage v; flow Current i; end Pin;

This is not allowed in the current version of Modelica, so the simulation of this example won't work.

type MultiPin = Pin[5];

The type of p is MultiPin[4], expanded type is Pin[4, 5].

class MPInst MultiPin[4] p; end MPInst;

4 Point

The array variables p1 and p2 have identical expanded types of Real[10,3] which makes the two equations in PointSum correct.

type Point = Real[3];
class PointInst Point[10] p1 = fill(8, 10, 3); Real[10, 3] p2 = fill(16, 10, 3); Real r[3] = p1[2, :]; // Equivalent to r[3] = p1[2] //equation //p2[5, :] = p1[2, :] + p1[4, :]; // Equivalent to p2[5] = p1[2] + p2[4] end PointInst;
class PointSum extends PointInst(p2[5, :] = p1[2, :] + p1[4, :] ); Real r[3] = p1[2, :]; // Equivalent to r[3] = p1[2] //equation //p2[5] = p1[2] + p2[4]; // Equivalent to p2[5, :] = p1[2, :] + p2[4, :] end PointSum;

4.1 Simulation of PointSum

simulate( PointInst )
simulate( PointSum )