Added a few more tests related to properties

plugins/org.eclipse.epsilon.eol.staticanalyser.tests/src/org/eclipse/epsilon/eol/staticanalyser/tests/scripts/crossModelPropertyAssignment.eol

@@ -0,0 +1,7 @@
+model M1 driver EMF {nsuri="http://www.eclipse.org/emf/2002/Ecore"};
+model M2 driver EMF {nsuri="http://www.eclipse.org/emf/2002/Ecore"};
+
+var c : M1!EClass;
+var p : M2!EPackage;
+
+c.ePackage = p;

plugins/org.eclipse.epsilon.eol.staticanalyser.tests/src/org/eclipse/epsilon/eol/staticanalyser/tests/scripts/propertyCallExpressions.eol

@@ -0,0 +1,9 @@
+model M driver EMF {nsuri="http://www.eclipse.org/emf/2002/Ecore"};
+
+var c : EClass;
+
+/*Sequence<String>*/c.ePackage.eClassifiers.name;
+
+/*Sequence<String>*/c.ePackage.eSuperPackage.eClassifiers.name;
+
+/*Sequence<OrderedSet<EClassifier>>*/c.ePackage.eClassifiers.ePackage.eClassifiers;

plugins/org.eclipse.epsilon.eol.staticanalyser.tests/src/org/eclipse/epsilon/eol/staticanalyser/tests/scripts/unsettableCollectionProperty.eol

@@ -0,0 +1,11 @@
+model M driver EMF {nsuri="http://www.eclipse.org/emf/2002/Ecore"};
+
+var c : EClass;
+
+// This should fail as c.ePackage.eClassifiers.name is a shorthand for
+// c.ePackage.eClassifiers.collect(c|c.name) and therefore not settable
+c.ePackage.eClassifiers.name = new Sequence<String>;
+
+// FIXME: I've added the line below to make the test fail until a better way
+// to specify expected errors is devised
+c.ePackage = c;