[NF] Implement getInstanceName().

Belonging to [master]:
  - #2438
  - OpenModelica/OpenModelica-testsuite#947

Author: perost

Compiler/NFFrontEnd/NFCall.mo

@@ -395,6 +395,7 @@ uniontype Call
       case "diagonal" then typeDiagonalCall(call, origin, info);
       case "edge" then typeEdgeCall(call, origin, info);
       case "fill" then typeFillCall(call, origin, info);
+      case "getInstanceName" then typeGetInstanceName(call);
       case "initial" then typeDiscreteCall(call, origin, info);
       case "isRoot" then typeIsRootCall(call, origin, info);
       case "matrix" then typeMatrixCall(call, origin, info);
@@ -2648,6 +2649,18 @@ protected
     callExp := Expression.CALL(makeBuiltinCall2(fn, {arg}, ty, variability));
   end typeNoEventCall;
 
+  function typeGetInstanceName
+    input Call call;
+    output Expression result;
+    output Type ty = Type.STRING();
+    output Variability var = Variability.CONSTANT;
+  protected
+    InstNode scope;
+  algorithm
+    Call.UNTYPED_CALL(call_scope = scope) := call;
+    result := Expression.STRING(Absyn.pathString(InstNode.scopePath(scope, includeRoot = true)));
+  end typeGetInstanceName;
+
   function unboxArgs
     input output Call call;
   algorithm

Compiler/NFFrontEnd/NFFunction.mo

@@ -1037,6 +1037,7 @@ uniontype Function
           case "edge" then true;
           // can have variable number of arguments
           case "fill" then true;
+          case "getInstanceName" then true;
           // Always discrete.
           case "initial" then true;
           case "isRoot" then true;

Compiler/NFFrontEnd/NFInstNode.mo

@@ -789,6 +789,7 @@ uniontype InstNode
 
   function scopePath
     input InstNode node;
+    input Boolean includeRoot = false "Whether to include the root class name or not.";
     output Absyn.Path path;
   algorithm
     path := match node
@@ -798,12 +799,12 @@ uniontype InstNode
       case CLASS_NODE(nodeType = it)
         then
           match it
-            case InstNodeType.BASE_CLASS() then scopePath(it.parent);
-            else scopePath2(node.parentScope, Absyn.IDENT(node.name));
+            case InstNodeType.BASE_CLASS() then scopePath(it.parent, includeRoot);
+            else scopePath2(node.parentScope, includeRoot, Absyn.IDENT(node.name));
           end match;
 
-      case COMPONENT_NODE() then scopePath2(node.parent, Absyn.IDENT(node.name));
-      case IMPLICIT_SCOPE() then scopePath(node.parentScope);
+      case COMPONENT_NODE() then scopePath2(node.parent, includeRoot, Absyn.IDENT(node.name));
+      case IMPLICIT_SCOPE() then scopePath(node.parentScope, includeRoot);
 
       // For debugging.
       else Absyn.IDENT(name(node));
@@ -812,6 +813,7 @@ uniontype InstNode
 
   function scopePath2
     input InstNode node;
+    input Boolean includeRoot;
     input Absyn.Path accumPath;
     output Absyn.Path path;
   algorithm
@@ -823,16 +825,18 @@ uniontype InstNode
         then
           match it
             case InstNodeType.NORMAL_CLASS()
-              then scopePath2(node.parentScope, Absyn.QUALIFIED(node.name, accumPath));
+              then scopePath2(node.parentScope, includeRoot, Absyn.QUALIFIED(node.name, accumPath));
             case InstNodeType.BASE_CLASS()
-              then scopePath2(it.parent, accumPath);
+              then scopePath2(it.parent, includeRoot, accumPath);
             case InstNodeType.BUILTIN_CLASS()
               then Absyn.QUALIFIED(node.name, accumPath);
+            case InstNodeType.ROOT_CLASS()
+              then if includeRoot then Absyn.QUALIFIED(node.name, accumPath) else accumPath;
             else accumPath;
           end match;
 
       case COMPONENT_NODE()
-        then scopePath2(node.parent, Absyn.QUALIFIED(node.name, accumPath));
+        then scopePath2(node.parent, includeRoot, Absyn.QUALIFIED(node.name, accumPath));
 
       else accumPath;
     end match;