RIC-1051:Added new testcase to handle method signatures of abstarct capsule (#52)

* Added new testcase to handle method signatures of abstarct capsule

* minor change

* Removed unnecessary changes

---------

Co-authored-by: Sivasindhura Mule <sivasindhura.mule@prod.hclpnp.com>

Author: 2 people

art-comp-test/art-comp-test.code-workspace

@@ -5,6 +5,9 @@
         {
             "path": "tests/abstract_capsule"
         },
+        {
+            "path": "tests/abstract_capsule_method_signatures"
+        },
         {
             "path": "tests/build_variants"
         },

art-comp-test/tests/abstract_capsule_method_signatures/abstract_capsule_method_signatures.art

@@ -0,0 +1,67 @@
+abstract capsule AbstarctCapsule {     
+    [[rt::decl]]
+    ` 
+        public:
+            virtual int abstract_show() = 0;
+            virtual int abstract_show(bool b) = 0;
+            virtual int abstract_show(bool b, int i) = 0;
+    `
+    statemachine {
+        state S;
+        abstract_initial : initial -> S;
+    };    
+};
+capsule CapsuleExtendsAbstract : AbstarctCapsule {
+    [[rt::impl_preface]]
+    `
+        #include "testlib.art.h"        
+    `
+    [[rt::decl]]
+    `
+    public:
+        virtual int abstract_show() override; 
+        int child_show(bool b); 
+        void foo();      
+       
+    `
+    [[rt::impl]]
+    `
+       int CapsuleExtendsAbstract::child_show(bool b) {return 2;};    
+       int CapsuleExtendsAbstract::abstract_show() {return 1;};   
+    `
+     statemachine {        
+        redefine abstract_initial : initial -> S;        
+    };
+   
+};
+
+capsule Top : CapsuleExtendsAbstract {
+    [[rt::impl_preface]]
+    `
+        #include "testlib.art.h"        
+    `
+    [[rt::decl]]
+    `
+    public:
+        virtual int abstract_show(bool b) override;
+        virtual int abstract_show() override; 
+        virtual int abstract_show(bool b, int i) override;       
+       
+    `
+    [[rt::impl]]
+    `
+       int Top::abstract_show(bool b) {return 2;};
+       int Top::abstract_show() {return 3;};
+       int Top::abstract_show(bool b, int i) {return 4;};       
+    `
+     statemachine {        
+         
+        redefine abstract_initial : initial -> S
+        `
+            ASSERT(4 == abstract_show(true, 4), "Failed to call abstract_show(bool b, int i)");
+            PASS();
+        `
+        ;
+    };
+   
+};

art-comp-test/tests/abstract_capsule_method_signatures/testcase.md

@@ -0,0 +1,4 @@
+---
+group: cpp_code_generation
+---
+ Checking signatures of pure virtual functions for analysis of abstract while extending.

art-comp-test/tests/abstract_capsule_method_signatures/top.tcjs

@@ -0,0 +1,4 @@
+let tc = TCF.define(TCF.CPP_TRANSFORM);
+tc.topCapsule = 'Top';
+tc.prerequisites = ["../../TestUtils/testlib.tcjs"];
+tc.targetFolder = 'abstract_capsule_method_signatures_target';