Updated nfinst function tests.

Author: perost

flattening/modelica/scodeinst/CompAsFunc.mo

@@ -0,0 +1,23 @@
+// name: CompAsFunc.mo
+// keywords:
+// status: incorrect
+// cflags: -d=newInst
+//
+// Checks that a proper error message is given when trying to use a component as
+// a function.
+//
+
+model CompAsFunc
+  Real x;
+  Real y = x(2);
+end CompAsFunc;
+
+// Result:
+// Error processing file: CompAsFunc.mo
+// [flattening/modelica/scodeinst/CompAsFunc.mo:12:3-12:16:writable] Error: Expected x to be a function, but found component instead.
+//
+// # Error encountered! Exiting...
+// # Please check the error message and the flags.
+//
+// Execution failed!
+// endResult

flattening/modelica/scodeinst/FuncBuiltin.mo

@@ -0,0 +1,19 @@
+// name: FuncBuiltin
+// keywords:
+// status: correct
+// cflags: -d=newInst
+//
+// Tests some builtin functions.
+//
+
+model FuncBuiltin
+  Real r1 = abs(-2.0);
+  Integer r2 = abs(3);
+end FuncBuiltin;
+
+// Result:
+// class FuncBuiltin
+//   Real r1 = abs(-2.0);
+//   Integer r2 = abs(3);
+// end FuncBuiltin;
+// endResult

flattening/modelica/scodeinst/FuncClassParam.mo

@@ -0,0 +1,33 @@
+// name: FuncClassParam
+// keywords:
+// status: incorrect
+// cflags: -d=newInst
+//
+// Checks that function parameters are not allowed to be e.g. models.
+//
+
+model A
+  Real x;
+end A;
+
+function f
+  input A a;
+  output Real x;
+algorithm
+  x := a.x;
+end f;
+
+model FuncClassParam
+  A a;
+  Real x = f(a);
+end FuncClassParam;
+
+// Result:
+// Error processing file: FuncClassParam.mo
+// [flattening/modelica/scodeinst/FuncClassParam.mo:14:3-14:12:writable] Error: Invalid type A for function component a.
+//
+// # Error encountered! Exiting...
+// # Please check the error message and the flags.
+//
+// Execution failed!
+// endResult

flattening/modelica/scodeinst/FuncExtends.mo

@@ -0,0 +1,29 @@
+// name: FuncExtends
+// keywords:
+// status: correct
+// cflags: -d=newInst
+//
+
+function f
+  input Real x;
+end f;
+
+function f2
+  extends f;
+  output Real y = x;
+end f2;
+
+model M
+  Real x = f2(1.0);
+end M;
+
+// Result:
+// function f2
+//   input Real x;
+//   output Real y = x;
+// end f2;
+//
+// class M
+//   Real x = f2(1.0);
+// end M;
+// endResult

flattening/modelica/scodeinst/FuncInnerParam.mo

@@ -0,0 +1,28 @@
+// name: FuncInnerParam
+// keywords:
+// status: incorrect
+// cflags: -d=newInst
+//
+// Checks that inner is not a valid function parameter prefix.
+//
+
+model FuncInnerParam
+  function f
+    inner input Real x;
+    output Real y;
+  algorithm
+    y := x;
+  end f;
+
+  Real x = f(x);
+end FuncInnerParam;
+
+// Result:
+// Error processing file: FuncInnerParam.mo
+// [flattening/modelica/scodeinst/FuncInnerParam.mo:11:5-11:23:writable] Error: Invalid prefix inner on formal parameter x.
+//
+// # Error encountered! Exiting...
+// # Please check the error message and the flags.
+//
+// Execution failed!
+// endResult

flattening/modelica/scodeinst/FuncInteger.mo

@@ -0,0 +1,23 @@
+// name: FuncInteger
+// keywords:
+// status: correct
+// cflags: -d=newInst
+//
+// Checks that the Integer function works.
+//
+
+model FuncInteger
+  type E = enumeration(one, two, three);
+  E e = E.two;
+
+  Integer i = Integer(E.one);
+  Integer j = Integer(e);
+end FuncInteger;
+
+// Result:
+// class FuncInteger
+//   enumeration(one, two, three) e = E.two;
+//   Integer i = Integer(E.one);
+//   Integer j = Integer(e);
+// end FuncInteger;
+// endResult

flattening/modelica/scodeinst/FuncIntegerWrongType.mo

@@ -0,0 +1,24 @@
+// name: FuncIntegerWrongType
+// keywords:
+// status: incorrect
+// cflags: -d=newInst
+//
+// Checks that type checking works for Integer.
+//
+
+model FuncIntegerWrongType
+  Integer i = Integer(1.0);
+end FuncIntegerWrongType;
+
+// Result:
+// Error processing file: FuncIntegerWrongType.mo
+// [flattening/modelica/scodeinst/FuncIntegerWrongType.mo:10:3-10:27:writable] Error: Type mismatch for positional argument 1 in Integer(e=1). The argument has type:
+//   Real
+// expected type:
+//   enumeration(:)
+//
+// # Error encountered! Exiting...
+// # Please check the error message and the flags.
+//
+// Execution failed!
+// endResult

flattening/modelica/scodeinst/FuncLocals.mo

@@ -0,0 +1,34 @@
+// name: FuncLocals
+// keywords:
+// status: correct
+// cflags: -d=newInst
+//
+// Checks that functions can have local parameters.
+//
+
+function f
+  input Real x;
+  output Real y;
+protected
+  parameter Real z = 2.0;
+algorithm
+  y := x * z;
+end f;
+
+model FuncLocals
+  Real x = f(4.0);
+end FuncLocals;
+
+// Result:
+// function f
+//   input Real x;
+//   output Real y;
+//   protected parameter Real z = 2.0;
+// algorithm
+//   y := x * z;
+// end f;
+//
+// class FuncLocals
+//   Real x = f(4.0);
+// end FuncLocals;
+// endResult

flattening/modelica/scodeinst/FuncMissingDefault1.mo

@@ -0,0 +1,27 @@
+// name: FuncMissingDefault1
+// keywords:
+// status: incorrect
+// cflags: -d=newInst
+//
+// Checks that missing default arguments are detected.
+// 
+
+function f
+  input Real x;
+  input Real y;
+  output Real z = x + y;
+end f;
+
+model M
+  Real x = f(1.0);
+end M;
+
+// Result:
+// Error processing file: FuncMissingDefault1.mo
+// [flattening/modelica/scodeinst/FuncMissingDefault1.mo:16:3-16:18:writable] Error: Function parameter y was not given by the function call, and does not have a default value.
+//
+// # Error encountered! Exiting...
+// # Please check the error message and the flags.
+//
+// Execution failed!
+// endResult

flattening/modelica/scodeinst/FuncMissingDefault2.mo

@@ -0,0 +1,34 @@
+// name: FuncMissingDefault2
+// keywords:
+// status: correct
+// cflags: -d=newInst
+//
+// Checks that a warning is given when a parameter that doesn't have a default
+// argument is after a parameter that does.
+// 
+
+function f
+  input Real x;
+  input Real y = 1.0;
+  input Real z;
+  output Real w = x + y + z;
+end f;
+
+model M
+  Real x = f(1.0, 2.0, 3.0);
+end M;
+
+// Result:
+// function f
+//   input Real x;
+//   input Real y = 1.0;
+//   input Real z;
+//   output Real w = x + y + z;
+// end f;
+//
+// class M
+//   Real x = f(1.0, 2.0, 3.0);
+// end M;
+// [flattening/modelica/scodeinst/FuncMissingDefault2.mo:13:3-13:15:writable] Warning: Missing default argument on function parameter z.
+//
+// endResult