Merge branch 'group1semanticTest' into 'master'

this is a squased commit with testcases for semantic from group1

See merge request IPDSnelting/mjtest-tests!30

semantic/AttributeKill.valid.java

+class AttributeKill {
+
+    public A objectA;
+
+    public static void main(String[] args) {
+
+        /* create and construct object A*/
+        A objectA = new A();
+        objectA.init();
+
+        /* set object to null*/
+        objectA = null;
+        /* calling uninitiated attribute of null object*/
+        int a = objectA.atr;
+
+    }
+}
+
+class A {
+
+    public int atr;
+
+    /* pseudo constructor */
+    public void init() {
+        atr = 2;
+    }
+}
\ No newline at end of file

semantic/AttributeOrSystem.valid.java

+class AttributeOrSystem {
+
+  /*  public int System; // error: int cannot be dereferenced*/
+
+
+    public static void main(String[] args) {
+
+
+        A objA = new A();
+
+        objA.init();
+
+        System.out.println(objA.atr);
+
+    }
+
+
+}
+
+class A {
+    public int atr;
+
+    public void init () {
+
+        atr = 2;
+    }
+
+}
+
+

semantic/CompareClassAttributes.valid.java

+/**
+ * TODO 2 testcases?
+ */
+class CompareClassAttributes {
+
+
+
+
+    public static void main(String[] args) {
+
+         A objectA = new A();
+         B objectB = new B();
+
+        objectA.init();
+        objectB.init();
+
+        int result;
+        boolean bigger;
+
+        bigger = objectA.atr > objectB.atr;
+
+        result = objectA.atr + objectB.atr;
+
+    }
+
+
+}
+
+class A {
+    public int atr;
+
+    public void init () {
+
+        atr = 2;
+    }
+
+}
+
+
+class B {
+
+
+    public int atr;
+
+    public void init () {
+
+        atr = 3;
+    }
+
+}
\ No newline at end of file

semantic/LocalInitClass.valid.java

+class LocalInitClass {
+
+    public static void main(String[] args) {
+
+        Test test = new Test();
+        /*giving the localVariable itself as parameter*/
+        test.algorithm(test);
+    }
+}
+
+class Test{
+
+    public Test testlocalVar;
+
+    public int algorithm(Test Test) {
+
+        testlocalVar = Test;
+        return 0;
+
+    }
+
+}
\ No newline at end of file

semantic/LocalVariableOverwriteAttribute.valid.java

+/**
+ * Check if attribute can be initializsed with expression and then used for initializing other local variable
+ */
+class LocalVariableOverwriteAttribute {
+
+    public int varInt;
+
+    public void algorithm() {
+
+        varInt = 1 + 2;
+
+        int localVar = varInt;
+
+      System.out.println(localVar);
+    }
+
+    public static void main(String[] args) {
+        LocalVariableOverwriteAttribute test = new LocalVariableOverwriteAttribute();
+
+        test.algorithm();
+
+    }
+
+}
\ No newline at end of file

semantic/NoConstructedObjectCall.invalid.mj

+
+class NoConstructedObjectCall {
+
+    public static void main(String[] args) {}
+
+
+    public void test() {
+
+        int b = objA.atr;
+                return;
+
+    }
+
+
+}
+
+class A {
+
+    public int atr;
+
+    public void init () {
+
+        atr = 2;
+    }
+
+}
+
+

semantic/NoParameterDeclaration.invalid.mj

+/**
+ * Call without Parameter to Method
+ * error: variable a is already defined in method test(int)
+ */
+class NoParameterDeclaration {
+
+    public int a;
+
+    public static void main(String[] args) {
+
+        NoParameterDeclaration testObj = new NoParameterDeclaration();
+        /*there is no parameter given here*/
+        testObj.test();
+    }
+
+    public void test(int i) {
+        int a = i;
+    }
+
+}
+
+

semantic/OverwriteAttributeWithUndeclaredVariable.invalid.mj

+class OverwriteAttributeWithUndeclaredVariable {
+
+    public String a;
+
+    public static void main(String[] args) {
+
+        OverwriteAttributeWithUndeclaredVariable obj = new OverwriteAttributeWithUndeclaredVariable();
+
+        obj.test();
+
+    }
+
+    public void test() {
+        /*should break here because of undeclared unknown variable*/
+        a = i;
+    }
+}
+
+class String {
+}
+
+

semantic/RightVariable.valid.java

+/**
+ * Tests a lot of double naming
+ */
+class RightVariable {
+
+    public static void main(String[] args) {
+    }
+
+    public int Test;
+
+    public Test Test(Test Test) {
+
+        return Test;
+
+    }
+
+    public void testMethod() {
+
+        /*init Test object*/
+        Test test = new Test();
+
+        /*call and init attribute of class*/
+        test.Test = 3;
+
+        /*init RightVariable Attribute*/
+        Test = 5;
+
+        /*Overwrite test attribute with RightVariable class Attribute*/
+        test.Test = Test;
+
+        /*call class RightVariable method Test, with the test object declared in the current method*/
+        Test(test);
+
+        /*Overwrite class Test with with local method Test, with itself given as an obj ref..*/
+        test = Test(test);
+
+    }
+}
+
+class Test {
+
+    public int Test;
+
+    public void Test() {
+    }
+}
\ No newline at end of file

semantic/VoidAttribute.invalid.mj

+/**
+ * Declare void as type for variale
+ * java:6: error: '(' expected -> for method
+ */
+class VoidAttribute {
+
+    public void a;
+
+    public static void main(String[] args) {}
+
+}
+
+

semantic/WrongReturnTypeVoid.invalid.mj

+class WrongReturnTypeVoid {
+
+    public static void main(String[] args) {}
+
+
+    public void a() {
+        /*should not allow return of integer*/
+        return 5;
+    }
+
+}
+
+