Attachment 146988 Details for Bug 184048 – Resolution of if and many names issues

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

[patch] Resolution of if and many names issues

IfCleanUp.patch (text/plain), 92.68 KB, created by Ed Willink

on 2009-09-11 15:11:02 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Ed Willink

Created: 2009-09-11 15:11:02 EDT

Size: 92.68 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.ocl.ecore.tests
>Index: src/org/eclipse/ocl/ecore/tests/BasicOCLTest.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/tests/org.eclipse.ocl.ecore.tests/src/org/eclipse/ocl/ecore/tests/BasicOCLTest.java,v
>retrieving revision 1.9
>diff -u -r1.9 BasicOCLTest.java
>--- src/org/eclipse/ocl/ecore/tests/BasicOCLTest.java	1 Sep 2009 20:10:53 -0000	1.9
>+++ src/org/eclipse/ocl/ecore/tests/BasicOCLTest.java	11 Sep 2009 19:10:52 -0000
>@@ -271,6 +271,32 @@
> 		assertFalse(check(expr, eCls));
> 	}
> 	
>+	public void testIfExpressions_184048() {
>+		EClass eCls = EcoreFactory.eINSTANCE.createEClass();
>+		eCls.setName("bar"); //$NON-NLS-1$
>+		
>+		OCLExpression<EClassifier> expr = parse(
>+			"package ecore context EClass " + //$NON-NLS-1$
>+			"inv: if self.abstract then name = 'bar' else name <> 'bar' endif ->asSequence()->at(1)" + //$NON-NLS-1$
>+			"endpackage "); //$NON-NLS-1$
>+		
>+		assertFalse(check(expr, eCls));
>+		
>+		eCls.setAbstract(true);
>+		
>+		assertTrue(check(expr, eCls));
>+		
>+		eCls.setName("foo"); //$NON-NLS-1$
>+		
>+		assertFalse(check(expr, eCls));
>+		
>+		OCLExpression<EClassifier> expr2 = parse(
>+			"package ecore context EClass " + //$NON-NLS-1$
>+			"inv: 7 = 1 + let a : String = invalid in 1 + if self.oclIsUndefined() then 1 else 5 endif " + //$NON-NLS-1$
>+			"endpackage "); //$NON-NLS-1$
>+		assertTrue(check(expr2, eCls));
>+	}
>+	
> 	public void testLetExpressions() {
> 		EClass eCls = EcoreFactory.eINSTANCE.createEClass();
> 		eCls.setName("foo"); //$NON-NLS-1$
>#P org.eclipse.ocl
>Index: src/org/eclipse/ocl/cst/impl/StateExpCSImpl.java
>===================================================================
>RCS file: src/org/eclipse/ocl/cst/impl/StateExpCSImpl.java
>diff -N src/org/eclipse/ocl/cst/impl/StateExpCSImpl.java
>--- src/org/eclipse/ocl/cst/impl/StateExpCSImpl.java	4 Sep 2009 13:40:43 -0000	1.4
>+++ /dev/null	1 Jan 1970 00:00:00 -0000
>@@ -1,170 +0,0 @@
>-/**
>- * <copyright>
>- * 
>- * Copyright (c) 2005, 2008 IBM Corporation, Zeligsoft Inc., and others.
>- * All rights reserved. This program and the accompanying materials
>- * are made available under the terms of the Eclipse Public License v1.0
>- * which accompanies this distribution, and is available at
>- * http://www.eclipse.org/legal/epl-v10.html
>- *
>- * Contributors:
>- * IBM - Initial API and implementation
>- * Zeligsoft - Bug 243976
>- *
>- * </copyright>
>- *
>- * $Id: StateExpCSImpl.java,v 1.4 2009/09/04 13:40:43 ewillink Exp $
>- */
>-package org.eclipse.ocl.cst.impl;
>-
>-import java.util.Collection;
>-
>-import org.eclipse.emf.common.notify.NotificationChain;
>-import org.eclipse.emf.common.util.EList;
>-import org.eclipse.emf.ecore.EClass;
>-import org.eclipse.emf.ecore.InternalEObject;
>-import org.eclipse.emf.ecore.util.EObjectContainmentEList;
>-import org.eclipse.emf.ecore.util.InternalEList;
>-import org.eclipse.ocl.cst.CSTPackage;
>-import org.eclipse.ocl.cst.SimpleNameCS;
>-import org.eclipse.ocl.cst.StateExpCS;
>-
>-/**
>- * 
>- * An implementation of the model object 'State Exp CS'.
>- * 
>- * 
>- * The following features are implemented:
>- * <ul>
>- * <li>{@link org.eclipse.ocl.cst.impl.StateExpCSImpl#getSimpleNames Simple Names}</li>
>- * </ul>
>- * 
>- *
>- * @generated
>- */
>-public class StateExpCSImpl
>-		extends TypeCSImpl
>-		implements StateExpCS {
>-
>-	/**
>-	 * The cached value of the '{@link #getSimpleNames() Simple Names}' containment reference list.
>-	 * 
>-	 * @since 3.0
>-	 * 
>-	 * @see #getSimpleNames()
>-	 * @generated
>-	 * @ordered
>-	 */
>-	protected EList<SimpleNameCS> simpleNames;
>-
>-	/**
>-	 * 
>-	 * 
>-	 * @generated
>-	 */
>-	protected StateExpCSImpl() {
>-		super();
>-	}
>-
>-	/**
>-	 * 
>-	 * 
>-	 * @generated
>-	 */
>-	@Override
>-	protected EClass eStaticClass() {
>-		return CSTPackage.Literals.STATE_EXP_CS;
>-	}
>-
>-	/**
>-	 * 
>-	 * @since 3.0
>-	 * 
>-	 * @generated
>-	 */
>-	public EList<SimpleNameCS> getSimpleNames() {
>-		if (simpleNames == null) {
>-			simpleNames = new EObjectContainmentEList<SimpleNameCS>(
>-				SimpleNameCS.class, this, CSTPackage.STATE_EXP_CS__SIMPLE_NAMES);
>-		}
>-		return simpleNames;
>-	}
>-
>-	/**
>-	 * 
>-	 * 
>-	 * @generated
>-	 */
>-	@Override
>-	public NotificationChain eInverseRemove(InternalEObject otherEnd,
>-			int featureID, NotificationChain msgs) {
>-		switch (featureID) {
>-			case CSTPackage.STATE_EXP_CS__SIMPLE_NAMES :
>-				return ((InternalEList<?>) getSimpleNames()).basicRemove(
>-					otherEnd, msgs);
>-		}
>-		return super.eInverseRemove(otherEnd, featureID, msgs);
>-	}
>-
>-	/**
>-	 * 
>-	 * 
>-	 * @generated
>-	 */
>-	@Override
>-	public Object eGet(int featureID, boolean resolve, boolean coreType) {
>-		switch (featureID) {
>-			case CSTPackage.STATE_EXP_CS__SIMPLE_NAMES :
>-				return getSimpleNames();
>-		}
>-		return super.eGet(featureID, resolve, coreType);
>-	}
>-
>-	/**
>-	 * 
>-	 * 
>-	 * @generated
>-	 */
>-	@SuppressWarnings("unchecked")
>-	@Override
>-	public void eSet(int featureID, Object newValue) {
>-		switch (featureID) {
>-			case CSTPackage.STATE_EXP_CS__SIMPLE_NAMES :
>-				getSimpleNames().clear();
>-				getSimpleNames().addAll(
>-					(Collection<? extends SimpleNameCS>) newValue);
>-				return;
>-		}
>-		super.eSet(featureID, newValue);
>-	}
>-
>-	/**
>-	 * 
>-	 * 
>-	 * @generated
>-	 */
>-	@Override
>-	public void eUnset(int featureID) {
>-		switch (featureID) {
>-			case CSTPackage.STATE_EXP_CS__SIMPLE_NAMES :
>-				getSimpleNames().clear();
>-				return;
>-		}
>-		super.eUnset(featureID);
>-	}
>-
>-	/**
>-	 * 
>-	 * 
>-	 * @generated
>-	 */
>-	@Override
>-	public boolean eIsSet(int featureID) {
>-		switch (featureID) {
>-			case CSTPackage.STATE_EXP_CS__SIMPLE_NAMES :
>-				return simpleNames != null && !simpleNames.isEmpty();
>-		}
>-		return super.eIsSet(featureID);
>-	}
>-
>-} //StateExpCSImpl
>Index: src/org/eclipse/ocl/cst/impl/CSTPackageImpl.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/cst/impl/CSTPackageImpl.java,v
>retrieving revision 1.10
>diff -u -r1.10 CSTPackageImpl.java
>--- src/org/eclipse/ocl/cst/impl/CSTPackageImpl.java	4 Sep 2009 13:40:43 -0000	1.10
>+++ src/org/eclipse/ocl/cst/impl/CSTPackageImpl.java	11 Sep 2009 19:11:04 -0000
>@@ -19,6 +19,7 @@
> package org.eclipse.ocl.cst.impl;
> 
> import lpg.lpgjavaruntime.IToken;
>+
> import org.eclipse.emf.ecore.EAttribute;
> import org.eclipse.emf.ecore.EClass;
> import org.eclipse.emf.ecore.EDataType;
>@@ -76,7 +77,6 @@
> import org.eclipse.ocl.cst.RealLiteralExpCS;
> import org.eclipse.ocl.cst.SimpleNameCS;
> import org.eclipse.ocl.cst.SimpleTypeEnum;
>-import org.eclipse.ocl.cst.StateExpCS;
> import org.eclipse.ocl.cst.StringLiteralExpCS;
> import org.eclipse.ocl.cst.TupleLiteralExpCS;
> import org.eclipse.ocl.cst.TupleTypeCS;
>@@ -401,13 +401,6 @@
> 	 * 
> 	 * @generated
> 	 */
>-	private EClass stateExpCSEClass = null;
>-
>-	/**
>-	 * 
>-	 * 
>-	 * @generated
>-	 */
> 	private EClass oclDocumentCSEClass = null;
> 
> 	/**
>@@ -1508,6 +1501,17 @@
> 
> 	/**
> 	 * 
>+	 * @since 3.0
>+	 * 
>+	 * @generated
>+	 */
>+	public EReference getOperationCallExpCS_PathNameCS() {
>+		return (EReference) operationCallExpCSEClass.getEStructuralFeatures()
>+			.get(0);
>+	}
>+
>+	/**
>+	 * 
> 	 * 
> 	 * @generated
> 	 */
>@@ -1567,25 +1571,6 @@
> 
> 	/**
> 	 * 
>-	 * 
>-	 * @generated
>-	 */
>-	public EClass getStateExpCS() {
>-		return stateExpCSEClass;
>-	}
>-
>-	/**
>-	 * 
>-	 * @since 3.0
>-	 * 
>-	 * @generated
>-	 */
>-	public EReference getStateExpCS_SimpleNames() {
>-		return (EReference) stateExpCSEClass.getEStructuralFeatures().get(0);
>-	}
>-
>-	/**
>-	 * 
> 	 * @since 1.3
> 	 * 
> 	 * @generated
>@@ -2079,9 +2064,8 @@
> 			FEATURE_CALL_EXP_CS__IS_MARKED_PRE_CS);
> 
> 		operationCallExpCSEClass = createEClass(OPERATION_CALL_EXP_CS);
>-
>-		stateExpCSEClass = createEClass(STATE_EXP_CS);
>-		createEReference(stateExpCSEClass, STATE_EXP_CS__SIMPLE_NAMES);
>+		createEReference(operationCallExpCSEClass,
>+			OPERATION_CALL_EXP_CS__PATH_NAME_CS);
> 
> 		oclDocumentCSEClass = createEClass(OCL_DOCUMENT_CS);
> 		createEReference(oclDocumentCSEClass,
>@@ -2153,6 +2137,7 @@
> 		primitiveTypeCSEClass.getESuperTypes().add(this.getSimpleNameCS());
> 		primitiveTypeCSEClass.getESuperTypes().add(this.getTypeCS());
> 		tupleTypeCSEClass.getESuperTypes().add(this.getTypeCS());
>+		collectionTypeCSEClass.getESuperTypes().add(this.getSimpleNameCS());
> 		collectionTypeCSEClass.getESuperTypes().add(this.getTypeCS());
> 		letExpCSEClass.getESuperTypes().add(this.getOCLExpressionCS());
> 		ifExpCSEClass.getESuperTypes().add(this.getOCLExpressionCS());
>@@ -2187,7 +2172,6 @@
> 		featureCallExpCSEClass.getESuperTypes().add(this.getCallExpCS());
> 		operationCallExpCSEClass.getESuperTypes().add(
> 			this.getFeatureCallExpCS());
>-		stateExpCSEClass.getESuperTypes().add(this.getTypeCS());
> 		oclDocumentCSEClass.getESuperTypes().add(this.getCSTNode());
> 
> 		// Initialize classes and features; add operations and parameters
>@@ -2792,16 +2776,11 @@
> 			operationCallExpCSEClass,
> 			OperationCallExpCS.class,
> 			"OperationCallExpCS", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); //$NON-NLS-1$
>-
>-		initEClass(
>-			stateExpCSEClass,
>-			StateExpCS.class,
>-			"StateExpCS", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); //$NON-NLS-1$
> 		initEReference(
>-			getStateExpCS_SimpleNames(),
>-			this.getSimpleNameCS(),
>+			getOperationCallExpCS_PathNameCS(),
>+			this.getPathNameCS(),
> 			null,
>-			"simpleNames", null, 0, -1, StateExpCS.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); //$NON-NLS-1$
>+			"pathNameCS", null, 0, 1, OperationCallExpCS.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); //$NON-NLS-1$
> 
> 		initEClass(
> 			oclDocumentCSEClass,
>Index: src/org/eclipse/ocl/cst/impl/CSTFactoryImpl.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/cst/impl/CSTFactoryImpl.java,v
>retrieving revision 1.6
>diff -u -r1.6 CSTFactoryImpl.java
>--- src/org/eclipse/ocl/cst/impl/CSTFactoryImpl.java	4 Sep 2009 13:40:43 -0000	1.6
>+++ src/org/eclipse/ocl/cst/impl/CSTFactoryImpl.java	11 Sep 2009 19:11:02 -0000
>@@ -18,14 +18,14 @@
> package org.eclipse.ocl.cst.impl;
> 
> import lpg.lpgjavaruntime.IToken;
>+
> import org.eclipse.emf.ecore.EClass;
> import org.eclipse.emf.ecore.EDataType;
> import org.eclipse.emf.ecore.EObject;
> import org.eclipse.emf.ecore.EPackage;
> import org.eclipse.emf.ecore.impl.EFactoryImpl;
> import org.eclipse.emf.ecore.plugin.EcorePlugin;
>-
>-//import org.eclipse.ocl.cst.*;
>+import org.eclipse.ocl.cst.*;
> import org.eclipse.ocl.cst.BooleanLiteralExpCS;
> import org.eclipse.ocl.cst.CSTFactory;
> import org.eclipse.ocl.cst.CSTPackage;
>@@ -70,7 +70,6 @@
> import org.eclipse.ocl.cst.RealLiteralExpCS;
> import org.eclipse.ocl.cst.SimpleNameCS;
> import org.eclipse.ocl.cst.SimpleTypeEnum;
>-import org.eclipse.ocl.cst.StateExpCS;
> import org.eclipse.ocl.cst.StringLiteralExpCS;
> import org.eclipse.ocl.cst.TupleLiteralExpCS;
> import org.eclipse.ocl.cst.TupleTypeCS;
>@@ -209,8 +208,6 @@
> 				return createFeatureCallExpCS();
> 			case CSTPackage.OPERATION_CALL_EXP_CS :
> 				return createOperationCallExpCS();
>-			case CSTPackage.STATE_EXP_CS :
>-				return createStateExpCS();
> 			case CSTPackage.OCL_DOCUMENT_CS :
> 				return createOCLDocumentCS();
> 			default :
>@@ -677,16 +674,6 @@
> 
> 	/**
> 	 * 
>-	 * 
>-	 * @generated
>-	 */
>-	public StateExpCS createStateExpCS() {
>-		StateExpCSImpl stateExpCS = new StateExpCSImpl();
>-		return stateExpCS;
>-	}
>-
>-	/**
>-	 * 
> 	 * @since 1.3
> 	 * 
> 	 * @generated
>Index: src/org/eclipse/ocl/cst/impl/CollectionTypeCSImpl.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/cst/impl/CollectionTypeCSImpl.java,v
>retrieving revision 1.3
>diff -u -r1.3 CollectionTypeCSImpl.java
>--- src/org/eclipse/ocl/cst/impl/CollectionTypeCSImpl.java	30 Nov 2008 22:11:38 -0000	1.3
>+++ src/org/eclipse/ocl/cst/impl/CollectionTypeCSImpl.java	11 Sep 2009 19:11:04 -0000
>@@ -42,7 +42,7 @@
> * @generated
> */
> public class CollectionTypeCSImpl
>-		extends TypeCSImpl
>+		extends SimpleNameCSImpl
> 		implements CollectionTypeCS {
> 
> 	/**
>Index: src/org/eclipse/ocl/cst/impl/OperationCallExpCSImpl.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/cst/impl/OperationCallExpCSImpl.java,v
>retrieving revision 1.3
>diff -u -r1.3 OperationCallExpCSImpl.java
>--- src/org/eclipse/ocl/cst/impl/OperationCallExpCSImpl.java	30 Nov 2008 22:11:37 -0000	1.3
>+++ src/org/eclipse/ocl/cst/impl/OperationCallExpCSImpl.java	11 Sep 2009 19:11:04 -0000
>@@ -17,15 +17,24 @@
> */
> package org.eclipse.ocl.cst.impl;
> 
>+import org.eclipse.emf.common.notify.Notification;
>+import org.eclipse.emf.common.notify.NotificationChain;
> import org.eclipse.emf.ecore.EClass;
>+import org.eclipse.emf.ecore.InternalEObject;
>+import org.eclipse.emf.ecore.impl.ENotificationImpl;
> import org.eclipse.ocl.cst.CSTPackage;
> import org.eclipse.ocl.cst.OperationCallExpCS;
>+import org.eclipse.ocl.cst.PathNameCS;
> 
> /**
> * 
> * An implementation of the model object 'Operation Call Exp CS'.
> * 
> * 
>+ * The following features are implemented:
>+ * <ul>
>+ * <li>{@link org.eclipse.ocl.cst.impl.OperationCallExpCSImpl#getPathNameCS Path Name CS}</li>
>+ * </ul>
> * 
> *
> * @generated
>@@ -35,6 +44,17 @@
> 		implements OperationCallExpCS {
> 
> 	/**
>+	 * The cached value of the '{@link #getPathNameCS() Path Name CS}' containment reference.
>+	 * 
>+	 * @since 3.0
>+	 * 
>+	 * @see #getPathNameCS()
>+	 * @generated
>+	 * @ordered
>+	 */
>+	protected PathNameCS pathNameCS;
>+
>+	/**
> 	 * 
> 	 * 
> 	 * @generated
>@@ -53,4 +73,138 @@
> 		return CSTPackage.Literals.OPERATION_CALL_EXP_CS;
> 	}
> 
>+	/**
>+	 * 
>+	 * @since 3.0
>+	 * 
>+	 * @generated
>+	 */
>+	public PathNameCS getPathNameCS() {
>+		return pathNameCS;
>+	}
>+
>+	/**
>+	 * 
>+	 * @since 3.0
>+	 * 
>+	 * @generated
>+	 */
>+	public NotificationChain basicSetPathNameCS(PathNameCS newPathNameCS,
>+			NotificationChain msgs) {
>+		PathNameCS oldPathNameCS = pathNameCS;
>+		pathNameCS = newPathNameCS;
>+		if (eNotificationRequired()) {
>+			ENotificationImpl notification = new ENotificationImpl(this,
>+				Notification.SET,
>+				CSTPackage.OPERATION_CALL_EXP_CS__PATH_NAME_CS, oldPathNameCS,
>+				newPathNameCS);
>+			if (msgs == null)
>+				msgs = notification;
>+			else
>+				msgs.add(notification);
>+		}
>+		return msgs;
>+	}
>+
>+	/**
>+	 * 
>+	 * @since 3.0
>+	 * 
>+	 * @generated
>+	 */
>+	public void setPathNameCS(PathNameCS newPathNameCS) {
>+		if (newPathNameCS != pathNameCS) {
>+			NotificationChain msgs = null;
>+			if (pathNameCS != null)
>+				msgs = ((InternalEObject) pathNameCS).eInverseRemove(this,
>+					EOPPOSITE_FEATURE_BASE
>+						- CSTPackage.OPERATION_CALL_EXP_CS__PATH_NAME_CS, null,
>+					msgs);
>+			if (newPathNameCS != null)
>+				msgs = ((InternalEObject) newPathNameCS).eInverseAdd(this,
>+					EOPPOSITE_FEATURE_BASE
>+						- CSTPackage.OPERATION_CALL_EXP_CS__PATH_NAME_CS, null,
>+					msgs);
>+			msgs = basicSetPathNameCS(newPathNameCS, msgs);
>+			if (msgs != null)
>+				msgs.dispatch();
>+		} else if (eNotificationRequired())
>+			eNotify(new ENotificationImpl(this, Notification.SET,
>+				CSTPackage.OPERATION_CALL_EXP_CS__PATH_NAME_CS, newPathNameCS,
>+				newPathNameCS));
>+	}
>+
>+	/**
>+	 * 
>+	 * 
>+	 * @generated
>+	 */
>+	@Override
>+	public NotificationChain eInverseRemove(InternalEObject otherEnd,
>+			int featureID, NotificationChain msgs) {
>+		switch (featureID) {
>+			case CSTPackage.OPERATION_CALL_EXP_CS__PATH_NAME_CS :
>+				return basicSetPathNameCS(null, msgs);
>+		}
>+		return super.eInverseRemove(otherEnd, featureID, msgs);
>+	}
>+
>+	/**
>+	 * 
>+	 * 
>+	 * @generated
>+	 */
>+	@Override
>+	public Object eGet(int featureID, boolean resolve, boolean coreType) {
>+		switch (featureID) {
>+			case CSTPackage.OPERATION_CALL_EXP_CS__PATH_NAME_CS :
>+				return getPathNameCS();
>+		}
>+		return super.eGet(featureID, resolve, coreType);
>+	}
>+
>+	/**
>+	 * 
>+	 * 
>+	 * @generated
>+	 */
>+	@Override
>+	public void eSet(int featureID, Object newValue) {
>+		switch (featureID) {
>+			case CSTPackage.OPERATION_CALL_EXP_CS__PATH_NAME_CS :
>+				setPathNameCS((PathNameCS) newValue);
>+				return;
>+		}
>+		super.eSet(featureID, newValue);
>+	}
>+
>+	/**
>+	 * 
>+	 * 
>+	 * @generated
>+	 */
>+	@Override
>+	public void eUnset(int featureID) {
>+		switch (featureID) {
>+			case CSTPackage.OPERATION_CALL_EXP_CS__PATH_NAME_CS :
>+				setPathNameCS((PathNameCS) null);
>+				return;
>+		}
>+		super.eUnset(featureID);
>+	}
>+
>+	/**
>+	 * 
>+	 * 
>+	 * @generated
>+	 */
>+	@Override
>+	public boolean eIsSet(int featureID) {
>+		switch (featureID) {
>+			case CSTPackage.OPERATION_CALL_EXP_CS__PATH_NAME_CS :
>+				return pathNameCS != null;
>+		}
>+		return super.eIsSet(featureID);
>+	}
>+
> } //OperationCallExpCSImpl
>Index: src/org/eclipse/ocl/cst/StateExpCS.java
>===================================================================
>RCS file: src/org/eclipse/ocl/cst/StateExpCS.java
>diff -N src/org/eclipse/ocl/cst/StateExpCS.java
>--- src/org/eclipse/ocl/cst/StateExpCS.java	4 Sep 2009 13:40:44 -0000	1.4
>+++ /dev/null	1 Jan 1970 00:00:00 -0000
>@@ -1,60 +0,0 @@
>-/**
>- * <copyright>
>- * 
>- * Copyright (c) 2005, 2008 IBM Corporation, Zeligsoft Inc., and others.
>- * All rights reserved. This program and the accompanying materials
>- * are made available under the terms of the Eclipse Public License v1.0
>- * which accompanies this distribution, and is available at
>- * http://www.eclipse.org/legal/epl-v10.html
>- *
>- * Contributors:
>- * IBM - Initial API and implementation
>- * Zeligsoft - Bug 243976
>- *
>- * </copyright>
>- *
>- * $Id: StateExpCS.java,v 1.4 2009/09/04 13:40:44 ewillink Exp $
>- */
>-package org.eclipse.ocl.cst;
>-
>-import org.eclipse.emf.common.util.EList;
>-
>-/**
>- * 
>- * A representation of the model object 'State Exp CS'.
>- * 
>- *
>- * 
>- * The following features are supported:
>- * <ul>
>- * <li>{@link org.eclipse.ocl.cst.StateExpCS#getSimpleNames Simple Names}</li>
>- * </ul>
>- * 
>- *
>- * @see org.eclipse.ocl.cst.CSTPackage#getStateExpCS()
>- * @model
>- * @generated
>- * @noimplement This interface is not intended to be implemented by clients.
>- * @noextend This interface is not intended to be extended by clients.
>- */
>-public interface StateExpCS
>-		extends TypeCS {
>-
>-	/**
>-	 * Returns the value of the 'Simple Names' containment reference list.
>-	 * The list contents are of type {@link org.eclipse.ocl.cst.SimpleNameCS}.
>-	 * 
>-	 * 
>-	 * If the meaning of the 'Simple Names' containment reference list isn't clear,
>-	 * there really should be more of a description here...
>-	 * 
>-	 * @since 3.0
>-	 * 
>-	 * @return the value of the 'Simple Names' containment reference list.
>-	 * @see org.eclipse.ocl.cst.CSTPackage#getStateExpCS_SimpleNames()
>-	 * @model containment="true"
>-	 * @generated
>-	 */
>-	EList<SimpleNameCS> getSimpleNames();
>-
>-} // StateExpCS
>Index: src/org/eclipse/ocl/cst/OperationCallExpCS.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/cst/OperationCallExpCS.java,v
>retrieving revision 1.3
>diff -u -r1.3 OperationCallExpCS.java
>--- src/org/eclipse/ocl/cst/OperationCallExpCS.java	30 Nov 2008 22:11:38 -0000	1.3
>+++ src/org/eclipse/ocl/cst/OperationCallExpCS.java	11 Sep 2009 19:11:01 -0000
>@@ -22,6 +22,12 @@
> * A representation of the model object 'Operation Call Exp CS'.
> * 
> *
>+ * 
>+ * The following features are supported:
>+ * <ul>
>+ * <li>{@link org.eclipse.ocl.cst.OperationCallExpCS#getPathNameCS Path Name CS}</li>
>+ * </ul>
>+ * 
> *
> * @see org.eclipse.ocl.cst.CSTPackage#getOperationCallExpCS()
> * @model
>@@ -31,4 +37,33 @@
> */
> public interface OperationCallExpCS
> 		extends FeatureCallExpCS {
>+
>+	/**
>+	 * Returns the value of the 'Path Name CS' containment reference.
>+	 * 
>+	 * 
>+	 * If the meaning of the 'Path Name CS' containment reference isn't clear,
>+	 * there really should be more of a description here...
>+	 * 
>+	 * @since 3.0
>+	 * @since 3.0
>+	 * 
>+	 * @return the value of the 'Path Name CS' containment reference.
>+	 * @see #setPathNameCS(PathNameCS)
>+	 * @see org.eclipse.ocl.cst.CSTPackage#getOperationCallExpCS_PathNameCS()
>+	 * @model containment="true"
>+	 * @generated
>+	 */
>+	PathNameCS getPathNameCS();
>+
>+	/**
>+	 * Sets the value of the '{@link org.eclipse.ocl.cst.OperationCallExpCS#getPathNameCS Path Name CS}' containment reference.
>+	 * 
>+	 * @since 3.0
>+	 * 
>+	 * @param value the new value of the 'Path Name CS' containment reference.
>+	 * @see #getPathNameCS()
>+	 * @generated
>+	 */
>+	void setPathNameCS(PathNameCS value);
> } // OperationCallExpCS
>Index: src/org/eclipse/ocl/cst/CSTFactory.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/cst/CSTFactory.java,v
>retrieving revision 1.4
>diff -u -r1.4 CSTFactory.java
>--- src/org/eclipse/ocl/cst/CSTFactory.java	2 Dec 2008 11:58:50 -0000	1.4
>+++ src/org/eclipse/ocl/cst/CSTFactory.java	11 Sep 2009 19:10:56 -0000
>@@ -419,15 +419,6 @@
> 	OperationCallExpCS createOperationCallExpCS();
> 
> 	/**
>-	 * Returns a new object of class 'State Exp CS'.
>-	 * 
>-	 * 
>-	 * @return a new object of class 'State Exp CS'.
>-	 * @generated
>-	 */
>-	StateExpCS createStateExpCS();
>-
>-	/**
> 	 * Returns a new object of class 'OCL Document CS'.
> 	 * 
> 	 * @since 1.3
>Index: src/org/eclipse/ocl/cst/CollectionTypeCS.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/cst/CollectionTypeCS.java,v
>retrieving revision 1.3
>diff -u -r1.3 CollectionTypeCS.java
>--- src/org/eclipse/ocl/cst/CollectionTypeCS.java	30 Nov 2008 22:11:38 -0000	1.3
>+++ src/org/eclipse/ocl/cst/CollectionTypeCS.java	11 Sep 2009 19:11:01 -0000
>@@ -37,7 +37,7 @@
> * @noextend This interface is not intended to be extended by clients.
> */
> public interface CollectionTypeCS
>-		extends TypeCS {
>+		extends SimpleNameCS, TypeCS {
> 
> 	/**
> 	 * Returns the value of the 'Collection Type Identifier' attribute.
>Index: src/org/eclipse/ocl/cst/CSTPackage.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/cst/CSTPackage.java,v
>retrieving revision 1.9
>diff -u -r1.9 CSTPackage.java
>--- src/org/eclipse/ocl/cst/CSTPackage.java	4 Sep 2009 13:40:44 -0000	1.9
>+++ src/org/eclipse/ocl/cst/CSTPackage.java	11 Sep 2009 19:11:01 -0000
>@@ -2229,7 +2229,7 @@
> 	 * @ordered
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int COLLECTION_TYPE_CS__START_OFFSET = TYPE_CS__START_OFFSET;
>+	int COLLECTION_TYPE_CS__START_OFFSET = SIMPLE_NAME_CS__START_OFFSET;
> 
> 	/**
> 	 * The feature id for the 'End Offset' attribute.
>@@ -2239,7 +2239,7 @@
> 	 * @ordered
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int COLLECTION_TYPE_CS__END_OFFSET = TYPE_CS__END_OFFSET;
>+	int COLLECTION_TYPE_CS__END_OFFSET = SIMPLE_NAME_CS__END_OFFSET;
> 
> 	/**
> 	 * The feature id for the 'Start Token' attribute.
>@@ -2249,7 +2249,7 @@
> 	 * @ordered
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int COLLECTION_TYPE_CS__START_TOKEN = TYPE_CS__START_TOKEN;
>+	int COLLECTION_TYPE_CS__START_TOKEN = SIMPLE_NAME_CS__START_TOKEN;
> 
> 	/**
> 	 * The feature id for the 'End Token' attribute.
>@@ -2259,7 +2259,7 @@
> 	 * @ordered
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int COLLECTION_TYPE_CS__END_TOKEN = TYPE_CS__END_TOKEN;
>+	int COLLECTION_TYPE_CS__END_TOKEN = SIMPLE_NAME_CS__END_TOKEN;
> 
> 	/**
> 	 * The feature id for the 'Ast' attribute.
>@@ -2269,7 +2269,27 @@
> 	 * @ordered
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int COLLECTION_TYPE_CS__AST = TYPE_CS__AST;
>+	int COLLECTION_TYPE_CS__AST = SIMPLE_NAME_CS__AST;
>+
>+	/**
>+	 * The feature id for the 'Value' attribute.
>+	 * 
>+	 * 
>+	 * @generated
>+	 * @ordered
>+	 * @noreference This field is not intended to be referenced by clients.
>+	 */
>+	int COLLECTION_TYPE_CS__VALUE = SIMPLE_NAME_CS__VALUE;
>+
>+	/**
>+	 * The feature id for the 'Type' attribute.
>+	 * 
>+	 * 
>+	 * @generated
>+	 * @ordered
>+	 * @noreference This field is not intended to be referenced by clients.
>+	 */
>+	int COLLECTION_TYPE_CS__TYPE = SIMPLE_NAME_CS__TYPE;
> 
> 	/**
> 	 * The feature id for the 'Collection Type Identifier' attribute.
>@@ -2279,7 +2299,7 @@
> 	 * @ordered
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int COLLECTION_TYPE_CS__COLLECTION_TYPE_IDENTIFIER = TYPE_CS_FEATURE_COUNT + 0;
>+	int COLLECTION_TYPE_CS__COLLECTION_TYPE_IDENTIFIER = SIMPLE_NAME_CS_FEATURE_COUNT + 0;
> 
> 	/**
> 	 * The feature id for the 'Type CS' containment reference.
>@@ -2289,7 +2309,7 @@
> 	 * @ordered
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int COLLECTION_TYPE_CS__TYPE_CS = TYPE_CS_FEATURE_COUNT + 1;
>+	int COLLECTION_TYPE_CS__TYPE_CS = SIMPLE_NAME_CS_FEATURE_COUNT + 1;
> 
> 	/**
> 	 * The number of structural features of the 'Collection Type CS' class.
>@@ -2299,7 +2319,7 @@
> 	 * @ordered
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int COLLECTION_TYPE_CS_FEATURE_COUNT = TYPE_CS_FEATURE_COUNT + 2;
>+	int COLLECTION_TYPE_CS_FEATURE_COUNT = SIMPLE_NAME_CS_FEATURE_COUNT + 2;
> 
> 	/**
> 	 * The meta object id for the '{@link org.eclipse.ocl.cst.impl.LetExpCSImpl Let Exp CS}' class.
>@@ -4637,95 +4657,24 @@
> 	int OPERATION_CALL_EXP_CS__IS_MARKED_PRE_CS = FEATURE_CALL_EXP_CS__IS_MARKED_PRE_CS;
> 
> 	/**
>-	 * The number of structural features of the 'Operation Call Exp CS' class.
>-	 * 
>-	 * 
>-	 * @generated
>-	 * @ordered
>-	 * @noreference This field is not intended to be referenced by clients.
>-	 */
>-	int OPERATION_CALL_EXP_CS_FEATURE_COUNT = FEATURE_CALL_EXP_CS_FEATURE_COUNT + 0;
>-
>-	/**
>-	 * The meta object id for the '{@link org.eclipse.ocl.cst.impl.StateExpCSImpl State Exp CS}' class.
>-	 * 
>-	 * 
>-	 * @see org.eclipse.ocl.cst.impl.StateExpCSImpl
>-	 * @see org.eclipse.ocl.cst.impl.CSTPackageImpl#getStateExpCS()
>-	 * @generated
>-	 * @noreference This field is not intended to be referenced by clients.
>-	 */
>-	int STATE_EXP_CS = 49;
>-
>-	/**
>-	 * The feature id for the 'Start Offset' attribute.
>-	 * 
>-	 * 
>-	 * @generated
>-	 * @ordered
>-	 * @noreference This field is not intended to be referenced by clients.
>-	 */
>-	int STATE_EXP_CS__START_OFFSET = TYPE_CS__START_OFFSET;
>-
>-	/**
>-	 * The feature id for the 'End Offset' attribute.
>-	 * 
>-	 * 
>-	 * @generated
>-	 * @ordered
>-	 * @noreference This field is not intended to be referenced by clients.
>-	 */
>-	int STATE_EXP_CS__END_OFFSET = TYPE_CS__END_OFFSET;
>-
>-	/**
>-	 * The feature id for the 'Start Token' attribute.
>-	 * 
>-	 * 
>-	 * @generated
>-	 * @ordered
>-	 * @noreference This field is not intended to be referenced by clients.
>-	 */
>-	int STATE_EXP_CS__START_TOKEN = TYPE_CS__START_TOKEN;
>-
>-	/**
>-	 * The feature id for the 'End Token' attribute.
>-	 * 
>-	 * 
>-	 * @generated
>-	 * @ordered
>-	 * @noreference This field is not intended to be referenced by clients.
>-	 */
>-	int STATE_EXP_CS__END_TOKEN = TYPE_CS__END_TOKEN;
>-
>-	/**
>-	 * The feature id for the 'Ast' attribute.
>-	 * 
>-	 * 
>-	 * @generated
>-	 * @ordered
>-	 * @noreference This field is not intended to be referenced by clients.
>-	 */
>-	int STATE_EXP_CS__AST = TYPE_CS__AST;
>-
>-	/**
>-	 * The feature id for the 'Simple Names' containment reference list.
>+	 * The feature id for the 'Path Name CS' containment reference.
> 	 * 
> 	 * 
> 	 * @generated
> 	 * @ordered
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int STATE_EXP_CS__SIMPLE_NAMES = TYPE_CS_FEATURE_COUNT + 0;
>+	int OPERATION_CALL_EXP_CS__PATH_NAME_CS = FEATURE_CALL_EXP_CS_FEATURE_COUNT + 0;
> 
> 	/**
>-	 * The number of structural features of the 'State Exp CS' class.
>+	 * The number of structural features of the 'Operation Call Exp CS' class.
> 	 * 
> 	 * 
> 	 * @generated
> 	 * @ordered
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int STATE_EXP_CS_FEATURE_COUNT = TYPE_CS_FEATURE_COUNT + 1;
>+	int OPERATION_CALL_EXP_CS_FEATURE_COUNT = FEATURE_CALL_EXP_CS_FEATURE_COUNT + 1;
> 
> 	/**
> 	 * The meta object id for the '{@link org.eclipse.ocl.cst.impl.OCLDocumentCSImpl OCL Document CS}' class.
>@@ -4736,7 +4685,7 @@
> 	 * @generated
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int OCL_DOCUMENT_CS = 50;
>+	int OCL_DOCUMENT_CS = 49;
> 
> 	/**
> 	 * The feature id for the 'Start Offset' attribute.
>@@ -4817,7 +4766,7 @@
> 	 * @generated
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int SIMPLE_TYPE_ENUM = 51;
>+	int SIMPLE_TYPE_ENUM = 50;
> 
> 	/**
> 	 * The meta object id for the '{@link org.eclipse.ocl.cst.PrePostOrBodyEnum Pre Post Or Body Enum}' enum.
>@@ -4828,7 +4777,7 @@
> 	 * @generated
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int PRE_POST_OR_BODY_ENUM = 52;
>+	int PRE_POST_OR_BODY_ENUM = 51;
> 
> 	/**
> 	 * The meta object id for the '{@link org.eclipse.ocl.cst.CollectionTypeIdentifierEnum Collection Type Identifier Enum}' enum.
>@@ -4839,7 +4788,7 @@
> 	 * @generated
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int COLLECTION_TYPE_IDENTIFIER_ENUM = 53;
>+	int COLLECTION_TYPE_IDENTIFIER_ENUM = 52;
> 
> 	/**
> 	 * The meta object id for the '{@link org.eclipse.ocl.cst.MessageExpKind Message Exp Kind}' enum.
>@@ -4850,7 +4799,7 @@
> 	 * @generated
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int MESSAGE_EXP_KIND = 54;
>+	int MESSAGE_EXP_KIND = 53;
> 
> 	/**
> 	 * The meta object id for the '{@link org.eclipse.ocl.cst.DotOrArrowEnum Dot Or Arrow Enum}' enum.
>@@ -4861,7 +4810,7 @@
> 	 * @generated
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int DOT_OR_ARROW_ENUM = 55;
>+	int DOT_OR_ARROW_ENUM = 54;
> 
> 	/**
> 	 * The meta object id for the 'IToken' data type.
>@@ -4872,7 +4821,7 @@
> 	 * @generated
> 	 * @noreference This field is not intended to be referenced by clients.
> 	 */
>-	int ITOKEN = 56;
>+	int ITOKEN = 55;
> 
> 	/**
> 	 * Returns the meta object for class '{@link org.eclipse.ocl.cst.CSTNode Node}'.
>@@ -6231,26 +6180,16 @@
> 	EClass getOperationCallExpCS();
> 
> 	/**
>-	 * Returns the meta object for class '{@link org.eclipse.ocl.cst.StateExpCS State Exp CS}'.
>-	 * 
>-	 * 
>-	 * @return the meta object for class 'State Exp CS'.
>-	 * @see org.eclipse.ocl.cst.StateExpCS
>-	 * @generated
>-	 */
>-	EClass getStateExpCS();
>-
>-	/**
>-	 * Returns the meta object for the containment reference list '{@link org.eclipse.ocl.cst.StateExpCS#getSimpleNames Simple Names}'.
>+	 * Returns the meta object for the containment reference '{@link org.eclipse.ocl.cst.OperationCallExpCS#getPathNameCS Path Name CS}'.
> 	 * 
> 	 * @since 3.0
> 	 * 
>-	 * @return the meta object for the containment reference list 'Simple Names'.
>-	 * @see org.eclipse.ocl.cst.StateExpCS#getSimpleNames()
>-	 * @see #getStateExpCS()
>+	 * @return the meta object for the containment reference 'Path Name CS'.
>+	 * @see org.eclipse.ocl.cst.OperationCallExpCS#getPathNameCS()
>+	 * @see #getOperationCallExpCS()
> 	 * @generated
> 	 */
>-	EReference getStateExpCS_SimpleNames();
>+	EReference getOperationCallExpCS_PathNameCS();
> 
> 	/**
> 	 * Returns the meta object for class '{@link org.eclipse.ocl.cst.OCLDocumentCS OCL Document CS}'.
>@@ -7548,24 +7487,14 @@
> 		EClass OPERATION_CALL_EXP_CS = eINSTANCE.getOperationCallExpCS();
> 
> 		/**
>-		 * The meta object literal for the '{@link org.eclipse.ocl.cst.impl.StateExpCSImpl State Exp CS}' class.
>-		 * 
>-		 * 
>-		 * @see org.eclipse.ocl.cst.impl.StateExpCSImpl
>-		 * @see org.eclipse.ocl.cst.impl.CSTPackageImpl#getStateExpCS()
>-		 * @generated
>-		 */
>-		EClass STATE_EXP_CS = eINSTANCE.getStateExpCS();
>-
>-		/**
>-		 * The meta object literal for the 'Simple Names' containment reference list feature.
>+		 * The meta object literal for the 'Path Name CS' containment reference feature.
> 		 * 
> 		 * @since 3.0
> 		 * 
> 		 * @generated
> 		 */
>-		EReference STATE_EXP_CS__SIMPLE_NAMES = eINSTANCE
>-			.getStateExpCS_SimpleNames();
>+		EReference OPERATION_CALL_EXP_CS__PATH_NAME_CS = eINSTANCE
>+			.getOperationCallExpCS_PathNameCS();
> 
> 		/**
> 		 * The meta object literal for the '{@link org.eclipse.ocl.cst.impl.OCLDocumentCSImpl OCL Document CS}' class.
>Index: src/org/eclipse/ocl/cst/SimpleTypeEnum.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/cst/SimpleTypeEnum.java,v
>retrieving revision 1.4
>diff -u -r1.4 SimpleTypeEnum.java
>--- src/org/eclipse/ocl/cst/SimpleTypeEnum.java	4 Sep 2009 10:19:33 -0000	1.4
>+++ src/org/eclipse/ocl/cst/SimpleTypeEnum.java	11 Sep 2009 19:11:02 -0000
>@@ -117,11 +117,11 @@
> 	/**
> 	 * The 'Ocl Invalid' literal object.
> 	 * 
>+	 * @since 3.0
> 	 * 
> 	 * @see #OCL_INVALID
> 	 * @generated
> 	 * @ordered
>-	 * @since 3.0
> 	 */
> 	OCL_INVALID_LITERAL(9, "OclInvalid", "OclInvalid"), //$NON-NLS-1$ //$NON-NLS-2$
> 
>@@ -282,12 +282,12 @@
> 	 * If the meaning of 'Ocl Invalid' literal object isn't clear,
> 	 * there really should be more of a description here...
> 	 * 
>+	 * @since 3.0
> 	 * 
> 	 * @see #OCL_INVALID_LITERAL
> 	 * @model name="OclInvalid"
> 	 * @generated
> 	 * @ordered
>-	 * @since 3.0
> 	 */
> 	public static final int OCL_INVALID = 9;
> 
>Index: src/org/eclipse/ocl/parser/AbstractOCLParser.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/parser/AbstractOCLParser.java,v
>retrieving revision 1.8
>diff -u -r1.8 AbstractOCLParser.java
>--- src/org/eclipse/ocl/parser/AbstractOCLParser.java	4 Sep 2009 13:40:43 -0000	1.8
>+++ src/org/eclipse/ocl/parser/AbstractOCLParser.java	11 Sep 2009 19:11:11 -0000
>@@ -40,6 +40,7 @@
> import org.eclipse.ocl.cst.DefCS;
> import org.eclipse.ocl.cst.DefExpressionCS;
> import org.eclipse.ocl.cst.DerValueCS;
>+import org.eclipse.ocl.cst.DotOrArrowEnum;
> import org.eclipse.ocl.cst.EnumLiteralExpCS;
> import org.eclipse.ocl.cst.FeatureCallExpCS;
> import org.eclipse.ocl.cst.IfExpCS;
>@@ -71,7 +72,6 @@
> import org.eclipse.ocl.cst.RealLiteralExpCS;
> import org.eclipse.ocl.cst.SimpleNameCS;
> import org.eclipse.ocl.cst.SimpleTypeEnum;
>-import org.eclipse.ocl.cst.StateExpCS;
> import org.eclipse.ocl.cst.StringLiteralExpCS;
> import org.eclipse.ocl.cst.TupleLiteralExpCS;
> import org.eclipse.ocl.cst.TupleTypeCS;
>@@ -274,12 +274,17 @@
> 			SimpleTypeEnum.IDENTIFIER_LITERAL, simpleName), list, typeCS);
> 	}
> 
>-	protected OperationCallExpCS createOperationCallExpCS(
>-			OCLExpressionCS oclExpressionCS, SimpleNameCS simpleNameCS,
>+	/**
>+	 * @since 3.0
>+	 */
>+	private OperationCallExpCS createOperationCallExpCS(
>+			OCLExpressionCS oclExpressionCS, DotOrArrowEnum dotOrArrow, PathNameCS pathNameCS, SimpleNameCS simpleNameCS,
> 			IsMarkedPreCS isMarkedPreCS, EList<OCLExpressionCS> arguments) {
> 		OperationCallExpCS result = CSTFactory.eINSTANCE
> 			.createOperationCallExpCS();
> 		result.setSource(oclExpressionCS);
>+		result.setAccessor(dotOrArrow);
>+		result.setPathNameCS(pathNameCS);
> 		result.setSimpleNameCS(simpleNameCS);
> 		result.getArguments().addAll(arguments);
> 
>@@ -305,39 +310,34 @@
> 		return atPreCS != null;
> 	}
> 
>+	/**
>+	 * @since 3.0
>+	 */
> 	protected OperationCallExpCS createOperationCallExpCS(
> 			OCLExpressionCS oclExpressionCS, SimpleNameCS simpleNameCS,
> 			EList<OCLExpressionCS> arguments) {
>-		return createOperationCallExpCS(oclExpressionCS, simpleNameCS,
>+		return createOperationCallExpCS(oclExpressionCS, null, null, simpleNameCS,
> 			null, arguments);
> 	}
> 
>-	protected OperationCallExpCS createOperationCallExpCS(
>-			SimpleNameCS simpleNameCS, IsMarkedPreCS isMarkedPreCS,
>+	/**
>+	 * @since 3.0
>+	 */
>+	protected OperationCallExpCS createArrowOperationCallExpCS(
>+			OCLExpressionCS oclExpressionCS, SimpleNameCS simpleNameCS, IsMarkedPreCS isMarkedPreCS,
> 			EList<OCLExpressionCS> arguments) {
>-		return createOperationCallExpCS(null, simpleNameCS, isMarkedPreCS,
>+		return createOperationCallExpCS(oclExpressionCS, DotOrArrowEnum.ARROW_LITERAL, null, simpleNameCS, isMarkedPreCS,
> 			arguments);
> 	}
> 
>-	protected OperationCallExpCS createOperationCallExpCS(
>-			SimpleNameCS simpleNameCS, IsMarkedPreCS isMarkedPreCS,
>-			StateExpCS stateExpCS) {
>-		OperationCallExpCS result = CSTFactory.eINSTANCE
>-			.createOperationCallExpCS();
>-		result.setSimpleNameCS(simpleNameCS);
>-		result.getArguments().add(stateExpCS);
>-
>-		if (isAtPre(isMarkedPreCS)) {
>-			result.setIsMarkedPreCS(isMarkedPreCS);
>-		}
>-
>-		return result;
>-	}
>-
>-	protected StateExpCS createStateExpCS(PathNameCS pathName) {
>-		StateExpCS result = CSTFactory.eINSTANCE.createStateExpCS();
>-		result.getSimpleNames().addAll(pathName.getSimpleNames());
>-		return result;
>+	/**
>+	 * @since 3.0
>+	 */
>+	protected OperationCallExpCS createDotOperationCallExpCS(
>+			OCLExpressionCS oclExpressionCS, PathNameCS pathNameCS, SimpleNameCS simpleNameCS, IsMarkedPreCS isMarkedPreCS,
>+			EList<OCLExpressionCS> arguments) {
>+		return createOperationCallExpCS(oclExpressionCS, DotOrArrowEnum.DOT_LITERAL, pathNameCS, simpleNameCS, isMarkedPreCS,
>+			arguments);
> 	}
> 
> 	protected VariableExpCS createVariableExpCS(SimpleNameCS simpleNameCS,
>@@ -364,7 +364,7 @@
> 			String value) {
> 		PrimitiveTypeCS result = CSTFactory.eINSTANCE.createPrimitiveTypeCS();
> 		result.setType(type);
>-		result.setValue(value);
>+		result.setValue(unquote(value));
> 		return result;
> 	}
> 
>@@ -389,6 +389,33 @@
> 		return CSTFactory.eINSTANCE.createPathNameCS();
> 	}
> 
>+	/**
>+	 * @since 3.0
>+	 */
>+	protected PathNameCS createPathNamePrefixCS(PathNameCS pathNameCS) {
>+		EList<SimpleNameCS> simpleNames = pathNameCS.getSimpleNames();
>+		int size = simpleNames.size();
>+		PathNameCS prefixPathNameCS = CSTFactory.eINSTANCE.createPathNameCS();
>+		if (size > 1) {
>+			for (int i = 0; i < size-1; i++) {
>+				extendPathNameCS(prefixPathNameCS, simpleNames.get(i));
>+			}
>+			setOffsets(prefixPathNameCS, prefixPathNameCS.getSimpleNames().get(0), prefixPathNameCS.getSimpleNames().get(size-2));
>+		}
>+		return prefixPathNameCS;
>+	}
>+	/**
>+	 * @since 3.0
>+	 */
>+	protected SimpleNameCS getPathNameSuffixCS(PathNameCS pathNameCS) {
>+		EList<SimpleNameCS> simpleNames = pathNameCS.getSimpleNames();
>+		int size = simpleNames.size();
>+		return size > 0 ? simpleNames.get(size-1) : null;
>+	}
>+
>+	/**
>+	 * @since 3.0
>+	 */
> 	protected EnumLiteralExpCS createEnumLiteralExpCS(PathNameCS pathNameCS,
> 			SimpleNameCS simpleNameCS) {
> 		EnumLiteralExpCS result = CSTFactory.eINSTANCE.createEnumLiteralExpCS();
>@@ -398,22 +425,14 @@
> 	}
> 
> 	/**
>-	 * @deprecated Use {@link #createEnumLiteralExpCS(PathNameCS, SimpleNameCS)}
>-	 * , instead.
>+	 * @since 3.0
> 	 */
>-	@Deprecated
>-	protected EnumLiteralExpCS createEnumLiteralExpCS(PathNameCS pathNameCS,
>-			String simpleName) {
>-		return createEnumLiteralExpCS(pathNameCS, createSimpleNameCS(
>-			SimpleTypeEnum.IDENTIFIER_LITERAL, simpleName));
>-	}
>-
> 	protected CollectionLiteralExpCS createCollectionLiteralExpCS(
>-			CollectionTypeIdentifierEnum type,
>+			CollectionTypeCS typeCS,
> 			EList<CollectionLiteralPartCS> collectionLiteralParts) {
> 		CollectionLiteralExpCS result = CSTFactory.eINSTANCE
> 			.createCollectionLiteralExpCS();
>-		result.setCollectionType(type);
>+		result.setCollectionType(typeCS.getCollectionTypeIdentifier());
> 		result.getCollectionLiteralParts().addAll(collectionLiteralParts);
> 		return result;
> 	}
>@@ -518,10 +537,16 @@
> 		return result;
> 	}
> 
>-	protected IteratorExpCS createIteratorExpCS(SimpleNameCS simpleNameCS,
>+	/**
>+	 * @since 3.0
>+	 */
>+	protected IteratorExpCS createIteratorExpCS(
>+			OCLExpressionCS source, SimpleNameCS simpleNameCS,
> 			VariableCS variable1, VariableCS variable2,
> 			OCLExpressionCS oclExpressionCS) {
> 		IteratorExpCS result = CSTFactory.eINSTANCE.createIteratorExpCS();
>+		result.setSource(source);
>+		result.setAccessor(DotOrArrowEnum.ARROW_LITERAL);
> 		result.setSimpleNameCS(simpleNameCS);
> 		result.setVariable1(variable1);
> 		result.setVariable2(variable2);
>@@ -529,10 +554,16 @@
> 		return result;
> 	}
> 
>-	protected IterateExpCS createIterateExpCS(SimpleNameCS simpleNameCS,
>+	/**
>+	 * @since 3.0
>+	 */
>+	protected IterateExpCS createIterateExpCS(
>+			OCLExpressionCS source, SimpleNameCS simpleNameCS,
> 			VariableCS variable1, VariableCS variable2,
> 			OCLExpressionCS oclExpressionCS) {
> 		IterateExpCS result = CSTFactory.eINSTANCE.createIterateExpCS();
>+		result.setSource(source);
>+		result.setAccessor(DotOrArrowEnum.ARROW_LITERAL);
> 		result.setSimpleNameCS(simpleNameCS);
> 		result.setVariable1(variable1);
> 		result.setVariable2(variable2);
>@@ -549,11 +580,15 @@
> 		return result;
> 	}
> 
>+	/**
>+	 * @since 3.0
>+	 */
> 	protected CollectionTypeCS createCollectionTypeCS(
>-			CollectionTypeIdentifierEnum collectionType, TypeCS typeCS) {
>+			CollectionTypeIdentifierEnum collectionType, String value) {
> 		CollectionTypeCS result = CSTFactory.eINSTANCE.createCollectionTypeCS();
>+		result.setType(SimpleTypeEnum.IDENTIFIER_LITERAL);
>+		result.setValue(unquote(value));
> 		result.setCollectionTypeIdentifier(collectionType);
>-		result.setTypeCS(typeCS);
> 		return result;
> 	}
> 
>@@ -563,10 +598,15 @@
> 		return result;
> 	}
> 
>+	/**
>+	 * @since 3.0
>+	 */
> 	protected FeatureCallExpCS createFeatureCallExpCS(
>-			SimpleNameCS simpleNameCS, EList<OCLExpressionCS> arguments,
>+			OCLExpressionCS source, SimpleNameCS simpleNameCS, EList<OCLExpressionCS> arguments,
> 			IsMarkedPreCS isMarkedPreCS) {
> 		FeatureCallExpCS result = CSTFactory.eINSTANCE.createFeatureCallExpCS();
>+		result.setSource(source);
>+		result.setAccessor(DotOrArrowEnum.DOT_LITERAL);
> 		result.setSimpleNameCS(simpleNameCS);
> 		result.getArguments().addAll(arguments);
> 
>Index: src/org/eclipse/ocl/parser/AbstractOCLAnalyzer.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/parser/AbstractOCLAnalyzer.java,v
>retrieving revision 1.30
>diff -u -r1.30 AbstractOCLAnalyzer.java
>--- src/org/eclipse/ocl/parser/AbstractOCLAnalyzer.java	4 Sep 2009 13:40:43 -0000	1.30
>+++ src/org/eclipse/ocl/parser/AbstractOCLAnalyzer.java	11 Sep 2009 19:11:10 -0000
>@@ -89,7 +89,6 @@
> import org.eclipse.ocl.cst.RealLiteralExpCS;
> import org.eclipse.ocl.cst.SimpleNameCS;
> import org.eclipse.ocl.cst.SimpleTypeEnum;
>-import org.eclipse.ocl.cst.StateExpCS;
> import org.eclipse.ocl.cst.StringLiteralExpCS;
> import org.eclipse.ocl.cst.TupleLiteralExpCS;
> import org.eclipse.ocl.cst.TupleTypeCS;
>@@ -290,14 +289,6 @@
> 			case OCLParsersym.TK_collectNested :
> 			case OCLParsersym.TK_sortedBy :
> 			case OCLParsersym.TK_closure :
>-			case OCLParsersym.TK_oclIsKindOf :
>-			case OCLParsersym.TK_oclIsTypeOf :
>-			case OCLParsersym.TK_oclAsType :
>-			case OCLParsersym.TK_oclIsNew :
>-			case OCLParsersym.TK_oclIsUndefined :
>-			case OCLParsersym.TK_oclIsInvalid :
>-			case OCLParsersym.TK_oclIsInState :
>-			case OCLParsersym.TK_allInstances :
> 			case OCLParsersym.TK_String :
> 			case OCLParsersym.TK_Integer :
> 			case OCLParsersym.TK_UnlimitedNatural :
>@@ -705,7 +696,7 @@
> 			initASTMapping(packageEnv, createDummyPackage(env,
> 				packageDeclarationCS), packageDeclarationCS);
> 		} else {
>-			pathname = createSequenceOfNames(pathNameCS.getSimpleNames());
>+			pathname = createSequenceOfNames(pathNameCS, null);
> 			try {
> 				packageEnv = createPackageContext(getOCLEnvironment(), pathname);
> 				if (packageEnv != null) {
>@@ -826,8 +817,7 @@
> 
> 		O operation = null;
> 		C classifier = null;
>-		EList<String> className = createSequenceOfNames(operationCS.getPathNameCS()
>-			.getSimpleNames());
>+		EList<String> className = createSequenceOfNames(operationCS.getPathNameCS(), null);
> 		String operationName = operationCS.getSimpleNameCS().getValue();
> 		EList<String> qualifiedOperationName = new BasicEList<String>();
> 		qualifiedOperationName.addAll(className);
>@@ -1132,8 +1122,7 @@
> 			Environment<PK, C, O, P, EL, PM, S, COA, SSA, CT, CLS, E> env,
> 			List<CT> constraints) {
> 
>-		EList<String> pathName = createSequenceOfNames(propertyContextCS.getPathNameCS()
>-			.getSimpleNames());
>+		EList<String> pathName = createSequenceOfNames(propertyContextCS.getPathNameCS(), null);
> 		C owner = lookupClassifier(propertyContextCS.getPathNameCS(), env,
> 			pathName);
> 
>@@ -1348,7 +1337,7 @@
> 		Environment<PK, C, O, P, EL, PM, S, COA, SSA, CT, CLS, E> result = null;
> 
> 		PathNameCS pathNameCS = classifierContextDeclCS.getPathNameCS();
>-		EList<String> pathName = createSequenceOfNames(pathNameCS.getSimpleNames());
>+		EList<String> pathName = createSequenceOfNames(pathNameCS, null);
> 		C type = lookupClassifier(pathNameCS, env, pathName);
> 
> 		if (type == null) {
>@@ -1757,7 +1746,7 @@
> 			astNode = primitiveTypeCS(((PrimitiveTypeCS) typeCS).getType(), env);
> 			typeCS.setAst(astNode);
> 		} else if (typeCS instanceof PathNameCS) {
>-			EList<String> pathName = createSequenceOfNames(((PathNameCS) typeCS).getSimpleNames());
>+			EList<String> pathName = createSequenceOfNames((PathNameCS) typeCS, null);
> 			astNode = lookupClassifier(typeCS, env, pathName);
> 			if (astNode == null) {
> 				String message = OCLMessages.bind(
>@@ -1789,9 +1778,10 @@
> 	 * @param env
> 	 * the OCL environment
> 	 * @return a <code>StateExp</code> representing the state
>+	 * @since 3.0
> 	 */
> 	protected StateExp<C, S> stateExpCS(OCLExpression<C> source,
>-			StateExpCS stateExpCS,
>+			CSTNode stateExpCS, EList<String> statePath,
> 			Environment<PK, C, O, P, EL, PM, S, COA, SSA, CT, CLS, E> env) {
> 
> 		C sourceType = null;
>@@ -1801,8 +1791,6 @@
> 
> 		S state = null;
> 
>-		EList<String> statePath = createSequenceOfNames(stateExpCS.getSimpleNames());
>-
> 		if (!statePath.isEmpty()) {
> 			// to support content-assist, we can parse an expression that
> 			// has no state, to provide suggestions for the first part
>@@ -3283,8 +3271,7 @@
> 
> 		OCLExpression<C> astNode = null;
> 
>-		List<SimpleNameCS> simpleNames = enumLiteralExpCS.getPathNameCS().getSimpleNames();
>-		EList<String> sequenceOfNames = createSequenceOfNames(simpleNames);
>+		EList<String> sequenceOfNames = createSequenceOfNames(enumLiteralExpCS.getPathNameCS(), null);
> 		String lastToken = enumLiteralExpCS.getSimpleNameCS().getValue();
> 
> 		EL literal = null;
>@@ -4009,107 +3996,22 @@
> 			OperationCallExpCS operationCallExpCS,
> 			Environment<PK, C, O, P, EL, PM, S, COA, SSA, CT, CLS, E> env) {
> 
>-		OperationCallExp<C, O> astNode = null;
>-
>-		List<OCLExpression<C>> args = new java.util.ArrayList<OCLExpression<C>>();
>-		// boolean isMarkedPre = false;
>-
>-		String name = operationCallExpCS.getSimpleNameCS().getValue();
> 		int operator = operationCallExpCS.getAccessor().getValue();
>-
>-		/*
>-		 * The type of the operation is specified by a path expression or self,
>-		 * or by an explicit source expression. The source expression may be a
>-		 * collection type (-> operation) or a regular navigation expression (.
>-		 * operation)
>-		 */
>-		OCLExpression<C> source = null;
> 		if (operator == DotOrArrowEnum.ARROW) {
>-			source = getCollectionSourceExpression(operationCallExpCS
>-				.getSource(), env);
>-		} else {
>-			OCLExpressionCS sourceCS = operationCallExpCS.getSource();
>-
>-			if (sourceCS instanceof PathNameCS) {
>-				// static operation call
>-				PathNameCS pathName = (PathNameCS) sourceCS;
>-
>-				EList<String> pathNames = createSequenceOfNames(pathName
>-					.getSimpleNames());
>-				C sourceType = lookupClassifier(sourceCS, env, pathNames);
>-				if (sourceType == null) {
>-					String message = OCLMessages.bind(
>-						OCLMessages.UnrecognizedType_ERROR_, pathNames);
>-					ERROR(sourceCS, "operatonCallExpCS", message);//$NON-NLS-1$
>-				} else {
>-					source = typeCS(sourceCS, env, sourceType);
>-				}
>-			} else {
>-				source = oclExpressionCS(operationCallExpCS.getSource(), env);
>-			}
>+			return arrowOperationCallExpCS(operationCallExpCS, env);
>+		}
>+		OCLExpressionCS sourceCS = operationCallExpCS.getSource();
>+		if ((sourceCS == null) && (operationCallExpCS.getPathNameCS() != null)) {
>+			return staticOperationCallExpCS(operationCallExpCS, env);
> 		}
>-
> 		String operationName = operationCallExpCS.getSimpleNameCS().getValue();
>-
> 		if (PredefinedType.OCL_IS_IN_STATE_NAME.equals(operationName)) {
>-			if (operationCallExpCS.getArguments().size() != 1) {
>-				String message = OCLMessages.bind(
>-					OCLMessages.IsInStateSignature_ERROR_,
>-					computeInputString(operationCallExpCS));
>-				ERROR(operationCallExpCS, "operationCallExpCS", message);//$NON-NLS-1$
>-			}
>-
>-			if (!operationCallExpCS.getArguments().isEmpty()) {
>-				OCLExpressionCS arg = operationCallExpCS.getArguments().get(0);
>-
>-				if (arg instanceof StateExpCS) {
>-					args.add(stateExpCS(source, (StateExpCS) arg, env));
>-				} else {
>-					String message = OCLMessages.bind(
>-						OCLMessages.IsInStateSignature_ERROR_,
>-						computeInputString(operationCallExpCS));
>-					ERROR(arg, "operationCallExpCS", message);//$NON-NLS-1$
>-				}
>-			}
>-		} else {
>-			for (OCLExpressionCS arg : operationCallExpCS.getArguments()) {
>-				OCLExpression<C> argExpr = oclExpressionCS(arg, env);
>-				if (argExpr == null) {
>-					argExpr = createDummyInvalidLiteralExp(env, arg);
>-					initASTMapping(env, argExpr, arg);
>-				}
>-				args.add(argExpr);
>-			}
>+			return oclIsInStateOperationCallExpCS(operationCallExpCS, env);
> 		}
>-
>-		if (source == null) { // create an implicit source
>-			Variable<C, PM> implicitSource = lookupImplicitSourceForOperation(
>-				operationCallExpCS, env, args, operationName);
>-			VariableExp<C, PM> vexp = createVariableExp(env,
>-				operationCallExpCS, implicitSource);
>-
>-			if (implicitSource == null) {
>-				String errMessage = name + "(";//$NON-NLS-1$
>-				for (int i = 0; i < args.size(); i++) {
>-					if (i > 0) {
>-						errMessage += ", ";//$NON-NLS-1$
>-					}
>-					errMessage += uml.getName(args.get(i).getType());
>-				}
>-				errMessage += ")";//$NON-NLS-1$
>-				String message = OCLMessages.bind(
>-					OCLMessages.IllegalSignature_ERROR_, errMessage);
>-				ERROR(operationCallExpCS, "operationCallExpCS", message); //$NON-NLS-1$
>-			}
>-
>-			if (implicitSource != null) {
>-				vexp.setType(implicitSource.getType());
>-				vexp.setReferredVariable(implicitSource);
>-			} else {
>-				vexp.setType(getOclVoid());
>-			}
>-
>-			source = vexp;
>+		OCLExpression<C> source = oclExpressionCS(operationCallExpCS.getSource(), env);
>+		List<OCLExpression<C>> args = argumentsCS(operationCallExpCS, env);
>+		if (source == null) { 						// create an implicit source
>+			source = createImplicitSource(operationCallExpCS, env, args);
> 		}
> 
> 		/*
>@@ -4130,7 +4032,7 @@
> 		// if the sourceType is a TypeType then this must be a static operation
> 		boolean isStatic = operationSourceType instanceof TypeType<?, ?>;
> 
>-		astNode = genOperationCallExp(env, operationCallExpCS,
>+		OperationCallExp<C, O> astNode = genOperationCallExp(env, operationCallExpCS,
> 			"operationCallExpCS", operationName,//$NON-NLS-1$
> 			source, operationSourceType, args);
> 		if (isStatic) {
>@@ -4170,6 +4072,214 @@
> 	}
> 
> 	/**
>+	 * @since 3.0
>+	 */
>+	protected OCLExpression<C> createImplicitSource(OperationCallExpCS operationCallExpCS,
>+			Environment<PK, C, O, P, EL, PM, S, COA, SSA, CT, CLS, E> env,
>+			List<OCLExpression<C>> args) {
>+
>+		String operationName = operationCallExpCS.getSimpleNameCS().getValue();
>+		Variable<C, PM> implicitSource = lookupImplicitSourceForOperation(
>+			operationCallExpCS, env, args, operationName);
>+		VariableExp<C, PM> vexp = createVariableExp(env, operationCallExpCS, implicitSource);
>+
>+		if (implicitSource == null) {
>+			String errMessage = operationName + "(";//$NON-NLS-1$
>+			for (int i = 0; i < args.size(); i++) {
>+				if (i > 0) {
>+					errMessage += ", ";//$NON-NLS-1$
>+				}
>+				errMessage += uml.getName(args.get(i).getType());
>+			}
>+			errMessage += ")";//$NON-NLS-1$
>+			String message = OCLMessages.bind(
>+				OCLMessages.IllegalSignature_ERROR_, errMessage);
>+			ERROR(operationCallExpCS, "operationCallExpCS", message); //$NON-NLS-1$
>+		}
>+
>+		if (implicitSource != null) {
>+			vexp.setType(implicitSource.getType());
>+			vexp.setReferredVariable(implicitSource);
>+		} else {
>+			vexp.setType(getOclVoid());
>+		}
>+		return vexp;
>+	}
>+
>+	/**
>+	 * OperationCallExpCS for an ->
>+	 * 
>+	 * @param operationCallExpCS
>+	 * the <code>OperationCallExpCS</code> <code>CSTNode</code>
>+	 * @param env
>+	 * the OCL environment
>+	 * @return the parsed <code>OCLExpression</code>
>+	 * @since 3.0
>+	 */
>+	protected OCLExpression<C> arrowOperationCallExpCS(
>+			OperationCallExpCS operationCallExpCS,
>+			Environment<PK, C, O, P, EL, PM, S, COA, SSA, CT, CLS, E> env) {
>+
>+		OCLExpression<C> source = getCollectionSourceExpression(operationCallExpCS.getSource(), env);
>+		List<OCLExpression<C>> args = argumentsCS(operationCallExpCS, env);
>+		
>+		String operationName = operationCallExpCS.getSimpleNameCS().getValue();
>+		C operationSourceType = source.getType();
>+		OperationCallExp<C, O> astNode = genOperationCallExp(env, operationCallExpCS,
>+			"operationCallExpCS", operationName,//$NON-NLS-1$
>+			source, operationSourceType, args);
>+
>+		initPropertyPositions(astNode, operationCallExpCS.getSimpleNameCS());
>+
>+		if (isErrorNode(source)) {
>+			// don't attempt to parse navigation from an unparseable source
>+			markAsErrorNode(astNode);
>+		}
>+
>+		return astNode;
>+	}
>+	/**
>+	 * OperationCallExpCS for oclIsInState
>+	 * 
>+	 * @param operationCallExpCS
>+	 * the <code>OperationCallExpCS</code> <code>CSTNode</code>
>+	 * @param env
>+	 * the OCL environment
>+	 * @return the parsed <code>OCLExpression</code>
>+	 * @since 3.0
>+	 */
>+	protected OCLExpression<C> oclIsInStateOperationCallExpCS(
>+			OperationCallExpCS operationCallExpCS,
>+			Environment<PK, C, O, P, EL, PM, S, COA, SSA, CT, CLS, E> env) {
>+		if (operationCallExpCS.getArguments().size() != 1) {
>+			String message = OCLMessages.bind(
>+				OCLMessages.IsInStateSignature_ERROR_,
>+				computeInputString(operationCallExpCS));
>+			ERROR(operationCallExpCS, "operationCallExpCS", message);//$NON-NLS-1$
>+		}
>+
>+		OCLExpression<C> source = oclExpressionCS(operationCallExpCS.getSource(), env);
>+		List<OCLExpression<C>> args = new java.util.ArrayList<OCLExpression<C>>();
>+		if (!operationCallExpCS.getArguments().isEmpty()) {
>+			OCLExpressionCS arg = operationCallExpCS.getArguments().get(0);
>+			if (arg instanceof VariableExpCS) {
>+				VariableExpCS stateName = (VariableExpCS) arg;
>+				EList<String> statePath = createSequenceOfNames(null, stateName.getSimpleNameCS());
>+				args.add(stateExpCS(source, stateName, statePath, env));
>+			} else if (arg instanceof EnumLiteralExpCS) {
>+				EnumLiteralExpCS stateName = (EnumLiteralExpCS) arg;
>+				EList<String> statePath = createSequenceOfNames(stateName.getPathNameCS(), stateName.getSimpleNameCS());
>+				args.add(stateExpCS(source, stateName, statePath, env));
>+			} else {
>+				String message = OCLMessages.bind(
>+					OCLMessages.IsInStateSignature_ERROR_,
>+					computeInputString(operationCallExpCS));
>+				ERROR(arg, "operationCallExpCS", message);//$NON-NLS-1$
>+			}
>+		}
>+		if (source == null) { // create an implicit source
>+			source = createImplicitSource(operationCallExpCS, env, args);
>+		}
>+		C operationSourceType = source.getType();
>+		String operationName = operationCallExpCS.getSimpleNameCS().getValue();
>+		OperationCallExp<C, O> astNode = genOperationCallExp(env, operationCallExpCS,
>+			"operationCallExpCS", operationName,//$NON-NLS-1$
>+			source, operationSourceType, args);
>+		astNode.setMarkedPre(isAtPre(operationCallExpCS));
>+		initPropertyPositions(astNode, operationCallExpCS.getSimpleNameCS());
>+		if (isErrorNode(source)) {
>+			// don't attempt to parse navigation from an unparseable source
>+			markAsErrorNode(astNode);
>+		}
>+		return astNode;
>+	}
>+	
>+	/**
>+	 * @since 3.0
>+	 */
>+	protected OCLExpression<C> staticOperationCallExpCS(
>+		OperationCallExpCS operationCallExpCS,
>+		Environment<PK, C, O, P, EL, PM, S, COA, SSA, CT, CLS, E> env) {
>+
>+	OCLExpression<C> source = null;
>+//	OCLExpressionCS sourceCS = operationCallExpCS.getSource();
>+	PathNameCS pathNameCS = operationCallExpCS.getPathNameCS();
>+
>+	EList<String> pathNames = createSequenceOfNames(pathNameCS, null);
>+	C sourceType = lookupClassifier(pathNameCS, env, pathNames);
>+	if (sourceType == null) {
>+		String message = OCLMessages.bind(
>+			OCLMessages.UnrecognizedType_ERROR_, pathNames);
>+		ERROR(operationCallExpCS, "operatonCallExpCS", message);//$NON-NLS-1$
>+	} else {
>+		source = typeCS(pathNameCS, env, sourceType);
>+	}
>+
>+	String operationName = operationCallExpCS.getSimpleNameCS().getValue();
>+
>+	List<OCLExpression<C>> args = argumentsCS(operationCallExpCS, env);
>+
>+	/*
>+	 * If the source type is a collection and operator is ".", then there is
>+	 * an implicit COLLECT operator.
>+	 */
>+	C operationSourceType = source.getType();
>+
>+	// if the sourceType is a TypeType then this must be a static operation
>+	boolean isStatic = operationSourceType instanceof TypeType<?, ?>;
>+
>+	OperationCallExp<C, O> astNode = genOperationCallExp(env, operationCallExpCS,
>+		"operationCallExpCS", operationName,//$NON-NLS-1$
>+		source, operationSourceType, args);
>+	if (isStatic) {
>+		@SuppressWarnings("unchecked")
>+		TypeType<C, O> typeType = (TypeType<C, O>) operationSourceType;
>+		O operation = astNode.getReferredOperation();
>+
>+		// operation must either be defined by the TypeType (e.g.,
>+		// allInstances())
>+		// or be a static operation of the referred classifier
>+		if (!(typeType.oclOperations().contains(operation) || uml
>+			.isStatic(operation))) {
>+
>+			String message = OCLMessages.bind(
>+				OCLMessages.NonStaticOperation_ERROR_, operationName);
>+			ERROR(astNode, "operationCallExpCS", message);//$NON-NLS-1$
>+		}
>+	}
>+
>+//	astNode.setMarkedPre(isAtPre(operationCallExpCS));
>+
>+	initPropertyPositions(astNode, operationCallExpCS.getSimpleNameCS());
>+
>+	OCLExpression<C> result = astNode;
>+
>+	if (isErrorNode(source)) {
>+		// don't attempt to parse navigation from an unparseable source
>+		markAsErrorNode(result);
>+	}
>+
>+	return result;
>+}
>+
>+	/**
>+	 * @since 3.0
>+	 */
>+	protected List<OCLExpression<C>> argumentsCS(OperationCallExpCS operationCallExpCS,
>+			Environment<PK, C, O, P, EL, PM, S, COA, SSA, CT, CLS, E> env) {
>+		List<OCLExpression<C>> args = new java.util.ArrayList<OCLExpression<C>>();
>+		for (OCLExpressionCS arg : operationCallExpCS.getArguments()) {
>+			OCLExpression<C> argExpr = oclExpressionCS(arg, env);
>+			if (argExpr == null) {
>+				argExpr = createDummyInvalidLiteralExp(env, arg);
>+				initASTMapping(env, argExpr, arg);
>+			}
>+			args.add(argExpr);
>+		}
>+		return args;
>+	}
>+
>+	/**
> 	 * MessageExpCS
> 	 * 
> 	 * @param messageExpCS
>@@ -4821,10 +4931,15 @@
> 	/**
> 	 * @since 3.0
> 	 */
>-	public static EList<String> createSequenceOfNames(List<SimpleNameCS> simpleNames) {
>+	public static EList<String> createSequenceOfNames(PathNameCS pathNameCS, SimpleNameCS simpleNameCS) {
> 		EList<String> sequenceOfNames = new BasicEList<String>();
>-		for (SimpleNameCS simpleName : simpleNames)
>-			sequenceOfNames.add(simpleName.getValue());
>+		if (pathNameCS != null) {
>+			for (SimpleNameCS simpleName : pathNameCS.getSimpleNames())
>+				sequenceOfNames.add(simpleName.getValue());
>+		}
>+		if (simpleNameCS != null) {
>+			sequenceOfNames.add(simpleNameCS.getValue());
>+		}
> 		return sequenceOfNames;
> 	}
> 
>Index: src/org/eclipse/ocl/parser/OCLParser.g
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/parser/OCLParser.g,v
>retrieving revision 1.5
>diff -u -r1.5 OCLParser.g
>--- src/org/eclipse/ocl/parser/OCLParser.g	4 Sep 2009 13:40:43 -0000	1.5
>+++ src/org/eclipse/ocl/parser/OCLParser.g	11 Sep 2009 19:11:11 -0000
>@@ -65,15 +65,13 @@
> 
> $KeyWords
> 	context
>+	def
>+	endpackage
>+	inv
> 	package
>-	
>-	--
>-	-- the following are not used in the OCL concrete syntax, but
>-	-- are defined as reserved words in the OCL 2.0 Spec 7.4.9
>-	-- and were removed in the OCL 2.1 RTF 09-05-02. 
>-	--
>-	attr
>-	oper
>+	post
>+	pre
>+	static
> $End
> 
> $Rules
>@@ -142,7 +140,7 @@
> 	contextDeclCS -> operationContextDeclCS
> 	contextDeclCS -> propertyContextCS
> 
>-	propertyContextCS ::= context pathNameCS '::' simpleNameCS ':' typeCS initOrDerValueCSm
>+	propertyContextCS ::= context pathNameCS '::' notReservedSimpleNameCS ':' typeCS initOrDerValueCSm
> 		/.$BeginJava
> 					EList<InitOrDerValueCS> list = (EList<InitOrDerValueCS>)$getSym(7);
> 					CSTNode result = createPropertyContextCS(
>Index: src/org/eclipse/ocl/cst/util/CSTAdapterFactory.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/cst/util/CSTAdapterFactory.java,v
>retrieving revision 1.7
>diff -u -r1.7 CSTAdapterFactory.java
>--- src/org/eclipse/ocl/cst/util/CSTAdapterFactory.java	4 Sep 2009 13:40:44 -0000	1.7
>+++ src/org/eclipse/ocl/cst/util/CSTAdapterFactory.java	11 Sep 2009 19:11:05 -0000
>@@ -21,8 +21,7 @@
> import org.eclipse.emf.common.notify.Notifier;
> import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
> import org.eclipse.emf.ecore.EObject;
>-
>-//import org.eclipse.ocl.cst.*;
>+import org.eclipse.ocl.cst.*;
> import org.eclipse.ocl.cst.BooleanLiteralExpCS;
> import org.eclipse.ocl.cst.CSTNode;
> import org.eclipse.ocl.cst.CSTPackage;
>@@ -67,7 +66,6 @@
> import org.eclipse.ocl.cst.PropertyContextCS;
> import org.eclipse.ocl.cst.RealLiteralExpCS;
> import org.eclipse.ocl.cst.SimpleNameCS;
>-import org.eclipse.ocl.cst.StateExpCS;
> import org.eclipse.ocl.cst.StringLiteralExpCS;
> import org.eclipse.ocl.cst.TupleLiteralExpCS;
> import org.eclipse.ocl.cst.TupleTypeCS;
>@@ -383,11 +381,6 @@
> 		}
> 
> 		@Override
>-		public Adapter caseStateExpCS(StateExpCS object) {
>-			return createStateExpCSAdapter();
>-		}
>-
>-		@Override
> 		public Adapter caseOCLDocumentCS(OCLDocumentCS object) {
> 			return createOCLDocumentCSAdapter();
> 		}
>@@ -1014,20 +1007,6 @@
> 	}
> 
> 	/**
>-	 * Creates a new adapter for an object of class '{@link org.eclipse.ocl.cst.StateExpCS State Exp CS}'.
>-	 * 
>-	 * This default implementation returns null so that we can easily ignore cases;
>-	 * it's useful to ignore a case when inheritance will catch all the cases anyway.
>-	 * 
>-	 * @return the new adapter.
>-	 * @see org.eclipse.ocl.cst.StateExpCS
>-	 * @generated
>-	 */
>-	public Adapter createStateExpCSAdapter() {
>-		return null;
>-	}
>-
>-	/**
> 	 * Creates a new adapter for an object of class '{@link org.eclipse.ocl.cst.OCLDocumentCS OCL Document CS}'.
> 	 * 
> 	 * This default implementation returns null so that we can easily ignore cases;
>Index: src/org/eclipse/ocl/cst/util/CSTSwitch.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/cst/util/CSTSwitch.java,v
>retrieving revision 1.6
>diff -u -r1.6 CSTSwitch.java
>--- src/org/eclipse/ocl/cst/util/CSTSwitch.java	4 Sep 2009 13:40:44 -0000	1.6
>+++ src/org/eclipse/ocl/cst/util/CSTSwitch.java	11 Sep 2009 19:11:06 -0000
>@@ -21,8 +21,7 @@
> 
> import org.eclipse.emf.ecore.EClass;
> import org.eclipse.emf.ecore.EObject;
>-
>-//import org.eclipse.ocl.cst.*;
>+import org.eclipse.ocl.cst.*;
> import org.eclipse.ocl.cst.BooleanLiteralExpCS;
> import org.eclipse.ocl.cst.CSTNode;
> import org.eclipse.ocl.cst.CSTPackage;
>@@ -67,7 +66,6 @@
> import org.eclipse.ocl.cst.PropertyContextCS;
> import org.eclipse.ocl.cst.RealLiteralExpCS;
> import org.eclipse.ocl.cst.SimpleNameCS;
>-import org.eclipse.ocl.cst.StateExpCS;
> import org.eclipse.ocl.cst.StringLiteralExpCS;
> import org.eclipse.ocl.cst.TupleLiteralExpCS;
> import org.eclipse.ocl.cst.TupleTypeCS;
>@@ -401,6 +399,8 @@
> 				CollectionTypeCS collectionTypeCS = (CollectionTypeCS) theEObject;
> 				T result = caseCollectionTypeCS(collectionTypeCS);
> 				if (result == null)
>+					result = caseSimpleNameCS(collectionTypeCS);
>+				if (result == null)
> 					result = caseTypeCS(collectionTypeCS);
> 				if (result == null)
> 					result = caseOCLExpressionCS(collectionTypeCS);
>@@ -718,19 +718,6 @@
> 					result = defaultCase(theEObject);
> 				return result;
> 			}
>-			case CSTPackage.STATE_EXP_CS : {
>-				StateExpCS stateExpCS = (StateExpCS) theEObject;
>-				T result = caseStateExpCS(stateExpCS);
>-				if (result == null)
>-					result = caseTypeCS(stateExpCS);
>-				if (result == null)
>-					result = caseOCLExpressionCS(stateExpCS);
>-				if (result == null)
>-					result = caseCSTNode(stateExpCS);
>-				if (result == null)
>-					result = defaultCase(theEObject);
>-				return result;
>-			}
> 			case CSTPackage.OCL_DOCUMENT_CS : {
> 				OCLDocumentCS oclDocumentCS = (OCLDocumentCS) theEObject;
> 				T result = caseOCLDocumentCS(oclDocumentCS);
>@@ -1452,21 +1439,6 @@
> 	}
> 
> 	/**
>-	 * Returns the result of interpreting the object as an instance of 'State Exp CS'.
>-	 * 
>-	 * This implementation returns null;
>-	 * returning a non-null result will terminate the switch.
>-	 * 
>-	 * @param object the target of the switch.
>-	 * @return the result of interpreting the object as an instance of 'State Exp CS'.
>-	 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
>-	 * @generated
>-	 */
>-	public T caseStateExpCS(StateExpCS object) {
>-		return null;
>-	}
>-
>-	/**
> 	 * Returns the result of interpreting the object as an instance of 'OCL Document CS'.
> 	 * 
> 	 * This implementation returns null;
>Index: model/OCLCST.genmodel
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/model/OCLCST.genmodel,v
>retrieving revision 1.11
>diff -u -r1.11 OCLCST.genmodel
>--- model/OCLCST.genmodel	4 Sep 2009 13:40:44 -0000	1.11
>+++ model/OCLCST.genmodel	11 Sep 2009 19:10:54 -0000
>@@ -289,10 +289,9 @@
> <genFeatures xsi:type="genmodel:GenFeature" property="None" children="true"
> createChild="true" ecoreFeature="ecore:EReference OCLCST.ecore#//cst/FeatureCallExpCS/isMarkedPreCS"/>
> </genClasses>
>- <genClasses xsi:type="genmodel:GenClass" ecoreClass="OCLCST.ecore#//cst/OperationCallExpCS"/>
>- <genClasses xsi:type="genmodel:GenClass" ecoreClass="OCLCST.ecore#//cst/StateExpCS">
>+ <genClasses xsi:type="genmodel:GenClass" ecoreClass="OCLCST.ecore#//cst/OperationCallExpCS">
> <genFeatures xsi:type="genmodel:GenFeature" property="None" children="true"
>- createChild="true" ecoreFeature="ecore:EReference OCLCST.ecore#//cst/StateExpCS/simpleNames"/>
>+ createChild="true" ecoreFeature="ecore:EReference OCLCST.ecore#//cst/OperationCallExpCS/pathNameCS"/>
> </genClasses>
> <genClasses xsi:type="genmodel:GenClass" ecoreClass="OCLCST.ecore#//cst/OCLDocumentCS">
> <genFeatures xsi:type="genmodel:GenFeature" property="None" children="true"
>Index: model/OCLCST.uml
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/model/OCLCST.uml,v
>retrieving revision 1.8
>diff -u -r1.8 OCLCST.uml
>--- model/OCLCST.uml	4 Sep 2009 13:40:44 -0000	1.8
>+++ model/OCLCST.uml	11 Sep 2009 19:10:56 -0000
>@@ -353,6 +353,7 @@
> <ownedEnd xmi:id="_qdx9lP8fEduhWtVvKtiQ7w" type="_qdx9j_8fEduhWtVvKtiQ7w" association="_qdx9k_8fEduhWtVvKtiQ7w"/>
> </packagedElement>
> <packagedElement xmi:type="uml:Class" xmi:id="_qdx9lf8fEduhWtVvKtiQ7w" name="CollectionTypeCS">
>+ <generalization xmi:id="_2NUGIJw2Ed6az7Hq7e93gA" general="_qdx83P8fEduhWtVvKtiQ7w"/>
> <generalization xmi:id="_qdx9lv8fEduhWtVvKtiQ7w" general="_qdx8xP8fEduhWtVvKtiQ7w"/>
> <ownedAttribute xmi:id="_qdx9l_8fEduhWtVvKtiQ7w" name="collectionTypeIdentifier" visibility="public" type="_qdx9m_8fEduhWtVvKtiQ7w" isOrdered="true">
> <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_qdx9mP8fEduhWtVvKtiQ7w"/>
>@@ -652,12 +653,8 @@
> </packagedElement>
> <packagedElement xmi:type="uml:Class" xmi:id="_qdx-Vf8fEduhWtVvKtiQ7w" name="OperationCallExpCS">
> <generalization xmi:id="_qdx-Vv8fEduhWtVvKtiQ7w" general="_qdx-Sv8fEduhWtVvKtiQ7w"/>
>- </packagedElement>
>- <packagedElement xmi:type="uml:Class" xmi:id="_qdx-V_8fEduhWtVvKtiQ7w" name="StateExpCS">
>- <generalization xmi:id="_qdx-WP8fEduhWtVvKtiQ7w" general="_qdx8xP8fEduhWtVvKtiQ7w"/>
>- <ownedAttribute xmi:id="_pS7AEJPiEd6yA_hAShwLtA" name="simpleNames" type="_qdx83P8fEduhWtVvKtiQ7w" isOrdered="true" aggregation="composite">
>- <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_pS7AEZPiEd6yA_hAShwLtA" value="*"/>
>- <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_pS7AEpPiEd6yA_hAShwLtA"/>
>+ <ownedAttribute xmi:id="_uREjQJrAEd6qQcRgrpdjbQ" name="pathNameCS" type="_qdx8v_8fEduhWtVvKtiQ7w" isOrdered="true" aggregation="composite">
>+ <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_uREjQZrAEd6qQcRgrpdjbQ"/>
> </ownedAttribute>
> </packagedElement>
> <packagedElement xmi:type="uml:PrimitiveType" xmi:id="_tvVQwI2FEd2mlKUM3HGxZg" name="IToken"/>
>@@ -857,7 +854,7 @@
> <Ecore:EReference xmi:id="_qf-8Jf8fEduhWtVvKtiQ7w" base_Property="_qdx-TP8fEduhWtVvKtiQ7w"/>
> <Ecore:EReference xmi:id="_qf-8Jv8fEduhWtVvKtiQ7w" base_Property="_qdx-T_8fEduhWtVvKtiQ7w"/>
> <Ecore:EClass xmi:id="_qf-8J_8fEduhWtVvKtiQ7w" base_Class="_qdx-Vf8fEduhWtVvKtiQ7w"/>
>- <Ecore:EClass xmi:id="_qf-8KP8fEduhWtVvKtiQ7w" base_Class="_qdx-V_8fEduhWtVvKtiQ7w"/>
>+ <Ecore:EClass xmi:id="_qf-8KP8fEduhWtVvKtiQ7w"/>
> <Ecore:EAttribute xmi:id="_qf-8Kf8fEduhWtVvKtiQ7w"/>
> <Ecore:EDataType xmi:id="_wn-44I2FEd2mlKUM3HGxZg" instanceClassName="lpg.lpgjavaruntime.IToken" base_PrimitiveType="_tvVQwI2FEd2mlKUM3HGxZg"/>
> <Ecore:EAttribute xmi:id="_qkehgI2JEd2mlKUM3HGxZg" isTransient="true" base_Property="_PkTnII2GEd2mlKUM3HGxZg"/>
>Index: model/OCLCST.ecore
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/model/OCLCST.ecore,v
>retrieving revision 1.11
>diff -u -r1.11 OCLCST.ecore
>--- model/OCLCST.ecore	4 Sep 2009 13:40:44 -0000	1.11
>+++ model/OCLCST.ecore	11 Sep 2009 19:10:54 -0000
>@@ -163,7 +163,7 @@
> <eStructuralFeatures xsi:type="ecore:EReference" name="variables" lowerBound="1"
> upperBound="-1" eType="#//cst/VariableCS" containment="true"/>
> </eClassifiers>
>- <eClassifiers xsi:type="ecore:EClass" name="CollectionTypeCS" eSuperTypes="#//cst/TypeCS">
>+ <eClassifiers xsi:type="ecore:EClass" name="CollectionTypeCS" eSuperTypes="#//cst/SimpleNameCS #//cst/TypeCS">
> <eStructuralFeatures xsi:type="ecore:EAttribute" name="collectionTypeIdentifier"
> eType="#//cst/CollectionTypeIdentifierEnum"/>
> <eStructuralFeatures xsi:type="ecore:EReference" name="typeCS" eType="#//cst/TypeCS"
>@@ -302,10 +302,9 @@
> <eStructuralFeatures xsi:type="ecore:EReference" name="isMarkedPreCS" eType="#//cst/IsMarkedPreCS"
> containment="true"/>
> </eClassifiers>
>- <eClassifiers xsi:type="ecore:EClass" name="OperationCallExpCS" eSuperTypes="#//cst/FeatureCallExpCS"/>
>- <eClassifiers xsi:type="ecore:EClass" name="StateExpCS" eSuperTypes="#//cst/TypeCS">
>- <eStructuralFeatures xsi:type="ecore:EReference" name="simpleNames" upperBound="-1"
>- eType="#//cst/SimpleNameCS" containment="true"/>
>+ <eClassifiers xsi:type="ecore:EClass" name="OperationCallExpCS" eSuperTypes="#//cst/FeatureCallExpCS">
>+ <eStructuralFeatures xsi:type="ecore:EReference" name="pathNameCS" eType="#//cst/PathNameCS"
>+ containment="true"/>
> </eClassifiers>
> <eClassifiers xsi:type="ecore:EClass" name="OCLDocumentCS" eSuperTypes="#//cst/CSTNode">
> <eStructuralFeatures xsi:type="ecore:EReference" name="packageDeclarations"
>Index: src/org/eclipse/ocl/internal/helper/OCLSyntaxHelper.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/internal/helper/OCLSyntaxHelper.java,v
>retrieving revision 1.15
>diff -u -r1.15 OCLSyntaxHelper.java
>--- src/org/eclipse/ocl/internal/helper/OCLSyntaxHelper.java	4 Sep 2009 13:40:43 -0000	1.15
>+++ src/org/eclipse/ocl/internal/helper/OCLSyntaxHelper.java	11 Sep 2009 19:11:07 -0000
>@@ -825,7 +825,7 @@
> 	}
> 	
> 	/**
>-	 * Gets the type of token at the specified index in the list of tokens
>+	 * Gets the token at the specified index in the list of tokens
> 	 * represented by the given text. Token indices count from zero, with
> 	 * negative indices counting backwards from the last token (-1 is the last,
> 	 * -2 the next-to-last, etc.).
>@@ -834,11 +834,11 @@
> 	 * @param tokenIndex the token index to look at (negative indices count
> 	 * backwards from the end)
> 	 * 
>-	 * @return the token type at the index, or {@link OCLParsersym#TK_EOF_TOKEN}
>+	 * @return the token at the index, or null
> 	 * if there is no token at the specified index
> 	 */
>-	private int tokenAt(String text, int tokenIndex) {
>-		int result = OCLParsersym.TK_EOF_TOKEN;
>+	private IToken tokenAt(String text, int tokenIndex) {
>+		IToken result = null;
> 		List<IToken> tokens = tokenize(text);
> 		
> 		if (tokenIndex < 0) {
>@@ -846,7 +846,7 @@
> 		}
> 		
> 		if ((tokenIndex >= 0) && (tokenIndex < tokens.size())) {
>-			result = tokens.get(tokenIndex).getKind();
>+			result = tokens.get(tokenIndex);
> 		}
> 		
> 		return result;
>@@ -963,7 +963,7 @@
> 						if (iter.hasPrevious()) {
> 							prev = iter.previous();
> 							
>-							if (prev.getKind() == OCLParsersym.TK_oclIsInState) {
>+							if (isOclIsInState(prev)) {
> 								syntaxHelpStringSuffix = OCL_IS_IN_STATE;
> 								position = prev.getStartOffset();
> 								break;
>@@ -1000,7 +1000,7 @@
> 					result = getPathChoices(pathName);
> 				}
> 			} else if (txt.endsWith("(") // known BMP code point //$NON-NLS-1$
>-					&& (tokenAt(txt, -2) == OCLParsersym.TK_oclIsInState)) {
>+					&& isOclIsInState(tokenAt(txt, -2))) {
> 
> 				syntaxHelpStringSuffix = OCL_IS_IN_STATE;
> 				
>@@ -1076,6 +1076,14 @@
> 		
> 		return result;
> 	}
>+
>+	protected boolean isOclIsInState(IToken token) {
>+		if (token == null)
>+			return false;
>+		if (token.getKind() != OCLParsersym.TK_IDENTIFIER)
>+			return false;
>+		return PredefinedType.OCL_IS_IN_STATE_NAME.equals(token.toString());
>+	}
> 	
> 	/**
> 	 * Disposes not only the specified <tt>object</tt> but all of the objects
>Index: src/org/eclipse/ocl/parser/backtracking/EssentialOCLErrors.g
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/parser/backtracking/EssentialOCLErrors.g,v
>retrieving revision 1.2
>diff -u -r1.2 EssentialOCLErrors.g
>--- src/org/eclipse/ocl/parser/backtracking/EssentialOCLErrors.g	4 Sep 2009 13:40:44 -0000	1.2
>+++ src/org/eclipse/ocl/parser/backtracking/EssentialOCLErrors.g	11 Sep 2009 19:11:11 -0000
>@@ -57,10 +57,10 @@
> 		 $EndJava
> 		./
> 
>-	attrOrNavCallExpCS ::= simpleNameCS '[' argumentsCS ERROR_TOKEN
>+	associationClassCallExpCS ::= notReservedSimpleNameCS '[' argumentsCS ERROR_TOKEN
> 		/.$BeginJava
> 					reportErrorTokenMessage($getToken(4), OCLParserErrors.MISSING_RBRACK);
>-					CSTNode result = createFeatureCallExpCS(
>+					CSTNode result = createVariableExpCS(
> 							(SimpleNameCS)$getSym(1),
> 							(EList)$getSym(3),
> 							null
>@@ -69,45 +69,47 @@
> 					$setResult(result);
> 		 $EndJava
> 		./
>-		
>-	collectionTypeCS ::= collectionTypeIdentifierCS '(' typeCS ERROR_TOKEN
>+	propertyCallExpCS ::= dotArrowExpCS '.' notReservedSimpleNameCS '[' argumentsCS ERROR_TOKEN
> 		/.$BeginJava
>-					reportErrorTokenMessage($getToken(4), OCLParserErrors.MISSING_RPAREN);
>-					Object[] objs = (Object[])$getSym(1);
>-					CSTNode result = createCollectionTypeCS(
>-							(CollectionTypeIdentifierEnum)objs[1],
>-							(TypeCS)$getSym(3)
>+					OCLExpressionCS source = (OCLExpressionCS)$getSym(1);
>+					CallExpCS result = createFeatureCallExpCS(
>+							source,
>+							(SimpleNameCS)$getSym(3),
>+							(EList)$getSym(5),
>+							null
> 						);
>-					setOffsets(result, (IToken)objs[0], getIToken($getToken(4)));
>+					setOffsets(result, source, getIToken($getToken(6)));
> 					$setResult(result);
> 		 $EndJava
> 		./
>-	collectionTypeCS ::= collectionTypeIdentifierCS ERROR_TOKEN
>+	propertyCallExpCS ::= dotArrowExpCS '.' ERROR_SimpleNameCS '[' argumentsCS ']' isMarkedPreCSopt
> 		/.$BeginJava
>-					reportErrorTokenMessage($getToken(2), OCLParserErrors.MISSING_LPAREN);
>-					Object[] objs = (Object[])$getSym(1);
>-					CSTNode result = createCollectionTypeCS(
>-							(CollectionTypeIdentifierEnum)objs[1],
>-							null
>+					OCLExpressionCS source = (OCLExpressionCS)$getSym(1);
>+					IsMarkedPreCS isMarkedPreCS = (IsMarkedPreCS)$getSym(7);
>+					CallExpCS result = createFeatureCallExpCS(
>+							source,
>+							(SimpleNameCS)$getSym(3),
>+							(EList)$getSym(5),
>+							isMarkedPreCS
> 						);
>-					setOffsets(result, (IToken)objs[0], getIToken($getToken(2)));
>+					if (isMarkedPreCS != null) {
>+						setOffsets(result, source, isMarkedPreCS);
>+					} else {
>+						setOffsets(result, source, getIToken($getToken(6)));
>+					}
> 					$setResult(result);
> 		 $EndJava
> 		./
>-
>-	dotArrowExpCS ::= pathNameCS '::' ERROR_SimpleNameCS '(' argumentsCSopt ')'
>+		
>+	collectionTypeCS ::= collectionSimpleNameCS '(' typeCS ERROR_TOKEN
> 		/.$BeginJava
>-					OperationCallExpCS result = createOperationCallExpCS(
>-							(PathNameCS)$getSym(1),
>-							(SimpleNameCS)$getSym(3),
>-							(EList)$getSym(5)
>-						);
>-					setOffsets(result, (CSTNode)$getSym(1), getIToken($getToken(6)));
>-					result.setAccessor(DotOrArrowEnum.DOT_LITERAL);
>+					reportErrorTokenMessage($getToken(4), OCLParserErrors.MISSING_RPAREN);
>+					CollectionTypeCS result = (CollectionTypeCS)dtParser.getSym(1); 
>+					result.setTypeCS((TypeCS)dtParser.getSym(3));
>+					setOffsets(result, result, getIToken($getToken(4)));
> 					$setResult(result);
> 		 $EndJava
> 		./
>--- FIXME	dotArrowExpCS ::= NUMERIC_OPERATION ERROR_SimpleNameCS
> 
> 	enumLiteralExpCS ::= pathNameCS '::' ERROR_SimpleNameCS
> 		/.$BeginJava
>@@ -122,34 +124,108 @@
> 		 $EndJava
> 		./
> 		
>-	featureCallExpCS ::= unaryName ERROR_IsMarkedPreCS '(' argumentsCSopt ')'
>-		/.$NewCase./
>-	keywordOperationCallExpCS ::= keywordAsName ERROR_IsMarkedPreCS '(' argumentsCSopt ')'
>+	operationCallExpCS_B ::= dotArrowExpCS '->' ERROR_SimpleNameCS '(' argumentsCSopt ')'
>+		/.$BeginJava
>+					OCLExpressionCS source = (OCLExpressionCS)$getSym(1);
>+					CallExpCS result = createArrowOperationCallExpCS(
>+							source,
>+							(SimpleNameCS)$getSym(3),
>+							(IsMarkedPreCS)null,
>+							(EList)$getSym(5)
>+						);
>+					setOffsets(result, source, getIToken($getToken(6)));
>+					$setResult(result);
>+		 $EndJava
>+		./	
>+		
>+	operationCallExpCS_CE ::= dotArrowExpCS '.' ERROR_SimpleNameCS isMarkedPreCSopt '(' argumentsCSopt ')'
>+		/.$BeginJava
>+					OCLExpressionCS source = (OCLExpressionCS)$getSym(1);
>+					CallExpCS result = createDotOperationCallExpCS(
>+							source,
>+							null,
>+							(SimpleNameCS)$getSym(3),
>+							(IsMarkedPreCS)$getSym(4),
>+							(EList)$getSym(6)
>+						);
>+					setOffsets(result, source, getIToken($getToken(7)));
>+					$setResult(result);
>+		 $EndJava
>+		./
>+	operationCallExpCS_CE ::= dotArrowExpCS '.' operationOrNotReservedSimpleNameCS ERROR_IsMarkedPreCS '(' argumentsCSopt ')'
>+		/.$BeginJava
>+					OCLExpressionCS source = (OCLExpressionCS)$getSym(1);
>+					CallExpCS result = createDotOperationCallExpCS(
>+							source,
>+							null,
>+							(SimpleNameCS)$getSym(3),
>+							(IsMarkedPreCS)$getSym(4),
>+							(EList)$getSym(6)
>+						);
>+					setOffsets(result, source, getIToken($getToken(7)));
>+					$setResult(result);
>+		 $EndJava
>+		./
>+		
>+	operationCallExpCS_DF ::= literalSimpleNameCS ERROR_IsMarkedPreCS '(' argumentsCSopt ')'
> 		/.$NewCase./
>-	operationCallExpCS ::= binaryName ERROR_IsMarkedPreCS '(' argumentsCSopt ')'
>+	operationCallExpCS_DF ::= notLiteralNorReservedSimpleNameCS ERROR_IsMarkedPreCS '(' argumentsCSopt ')'
> 		/.$BeginJava
>-					SimpleNameCS simpleNameCS = (SimpleNameCS)$getSym(1);
>-					CSTNode result = createOperationCallExpCS(
>-							simpleNameCS,
>+					CSTNode result = createDotOperationCallExpCS(
>+							null,
>+							null,
>+							(SimpleNameCS)$getSym(1),
> 							(IsMarkedPreCS)$getSym(2),
> 							(EList)$getSym(4)
> 						);
>-					setOffsets(result, simpleNameCS, getIToken($getToken(5)));
>+					setOffsets(result, getIToken($getToken(1)), getIToken($getToken(5)));
> 					$setResult(result);
> 		 $EndJava
> 		./
>-	operationCallExpCS ::= oclIsInStateName ERROR_IsMarkedPreCS '(' stateExpCS ')'
>+
>+	operationCallExpCS_G ::= pathNameCS '::' ERROR_SimpleNameCS '(' argumentsCSopt ')'
> 		/.$BeginJava
>-					SimpleNameCS simpleNameCS = (SimpleNameCS)$getSym(1);
>-					CSTNode result = createOperationCallExpCS(
>-							simpleNameCS,
>-							(IsMarkedPreCS)$getSym(2),
>-							(StateExpCS)$getSym(4)
>+					OperationCallExpCS result = createDotOperationCallExpCS(
>+							null,
>+							(PathNameCS)$getSym(1),
>+							(SimpleNameCS)$getSym(3),
>+							null,
>+							(EList)$getSym(5)
> 						);
>-					setOffsets(result, simpleNameCS, getIToken($getToken(5)));
>+					setOffsets(result, (CSTNode)$getSym(1), getIToken($getToken(6)));
>+					result.setAccessor(DotOrArrowEnum.DOT_LITERAL);
> 					$setResult(result);
> 		 $EndJava
> 		./
>+		
>+	operationCallExpCS_IJ ::= dotArrowExpCS '.' pathNameCS '::' notReservedSimpleNameCS ERROR_IsMarkedPreCS '(' argumentsCSopt ')'
>+		/.$BeginJava
>+					OCLExpressionCS source = (OCLExpressionCS)$getSym(1);
>+					CallExpCS result = createDotOperationCallExpCS(
>+							source,
>+							(PathNameCS)$getSym(3),
>+							(SimpleNameCS)$getSym(5),
>+							(IsMarkedPreCS)$getSym(6),
>+							(EList)$getSym(8)
>+						);
>+					setOffsets(result, source, getIToken($getToken(9)));
>+					$setResult(result);
>+		 $EndJava
>+		./		
>+	operationCallExpCS_IJ ::= dotArrowExpCS '.' pathNameCS '::' ERROR_SimpleNameCS isMarkedPreCSopt '(' argumentsCSopt ')'
>+		/.$BeginJava
>+					OCLExpressionCS source = (OCLExpressionCS)$getSym(1);
>+					CallExpCS result = createDotOperationCallExpCS(
>+							source,
>+							(PathNameCS)$getSym(3),
>+							(SimpleNameCS)$getSym(5),
>+							(IsMarkedPreCS)$getSym(6),
>+							(EList)$getSym(8)
>+						);
>+					setOffsets(result, source, getIToken($getToken(9)));
>+					$setResult(result);
>+		 $EndJava
>+		./	
> 
> 	ifExpCS ::= if oclExpressionCS then oclExpressionCS else oclExpressionCS ERROR_TOKEN
> 		/.$BeginJava
>@@ -200,31 +276,33 @@
> 		 $EndJava
> 		./
> 		
>-	messageExpCS ::= '^' simpleNameCS ERROR_TOKEN
>+	oclMessageExpCS ::= dotArrowExpCS '^' simpleNameCS ERROR_TOKEN
> 		/.$NewCase./
>-	messageExpCS ::= '^^' simpleNameCS ERROR_TOKEN
>+	oclMessageExpCS ::= dotArrowExpCS '^^' simpleNameCS ERROR_TOKEN
> 		/.$BeginJava
>-					reportErrorTokenMessage($getToken(1), OCLParserErrors.MISSING_MESSAGE_ARGUMENTS);
>-					CSTNode result = createMessageExpCS(
>-							getIToken($getToken(1)).getKind() == $sym_type.TK_CARET,
>-							(SimpleNameCS)$getSym(2),
>+					reportErrorTokenMessage($getToken(2), OCLParserErrors.MISSING_MESSAGE_ARGUMENTS);
>+					MessageExpCS result = createMessageExpCS(
>+							getIToken($getToken(2)).getKind() == $sym_type.TK_CARET,
>+							(SimpleNameCS)$getSym(3),
> 							new BasicEList<OCLMessageArgCS>()
> 						);
>-					setOffsets(result, getIToken($getToken(1)), getIToken($getToken(3)));
>+					result.setTarget((OCLExpressionCS)$getSym(1));
>+					setOffsets(result, (CSTNode)$getSym(1), getIToken($getToken(4)));
> 					$setResult(result);
> 		 $EndJava
> 		./
>-	messageExpCS ::= '^' ERROR_SimpleNameCS
>+	oclMessageExpCS ::= dotArrowExpCS '^' ERROR_SimpleNameCS
> 		/.$NewCase./
>-	messageExpCS ::= '^^' ERROR_SimpleNameCS
>+	oclMessageExpCS ::= dotArrowExpCS '^^' ERROR_SimpleNameCS
> 		/.$BeginJava
>-					SimpleNameCS simpleNameCS = (SimpleNameCS)$getSym(2);
>-					CSTNode result = createMessageExpCS(
>-							getIToken($getToken(1)).getKind() == $sym_type.TK_CARET,
>+					SimpleNameCS simpleNameCS = (SimpleNameCS)$getSym(3);
>+					MessageExpCS result = createMessageExpCS(
>+							getIToken($getToken(2)).getKind() == $sym_type.TK_CARET,
> 							simpleNameCS,
> 							new BasicEList<OCLMessageArgCS>()
> 						);
>-					setOffsets(result, getIToken($getToken(1)), simpleNameCS);
>+					result.setTarget((OCLExpressionCS)$getSym(1));
>+					setOffsets(result, (CSTNode)$getSym(1), simpleNameCS);
> 					$setResult(result);
> 		 $EndJava
> 		./
>@@ -246,7 +324,9 @@
> 		 $EndJava
> 		./
> 
>-	operationCS1 ::= IDENTIFIER '(' parametersCSopt ')' ERROR_Colon
>+	operationCS1 ::= literalSimpleNameCS '(' parametersCSopt ')' ERROR_Colon
>+		/.$NewCase./
>+	operationCS1 ::= notLiteralNorReservedSimpleNameCS '(' parametersCSopt ')' ERROR_Colon
> 		/.$BeginJava
> 					CSTNode result = createOperationCS(
> 							getTokenText($getToken(1)),
>@@ -257,7 +337,9 @@
> 					$setResult(result);
> 		 $EndJava
> 		./
>-	operationCS1 ::= IDENTIFIER '(' parametersCSopt ERROR_TOKEN
>+	operationCS1 ::= literalSimpleNameCS '(' parametersCSopt ERROR_TOKEN
>+		/.$NewCase./
>+	operationCS1 ::= notLiteralNorReservedSimpleNameCS '(' parametersCSopt ERROR_TOKEN
> 		/.$BeginJava
> 					reportErrorTokenMessage($getToken(4), OCLParserErrors.MISSING_RPAREN);
> 					CSTNode result = createOperationCS(
>@@ -269,7 +351,9 @@
> 					$setResult(result);
> 		 $EndJava
> 		./
>-	operationCS1 ::= IDENTIFIER ERROR_TOKEN
>+	operationCS1 ::= literalSimpleNameCS ERROR_TOKEN
>+		/.$NewCase./
>+	operationCS1 ::= notLiteralNorReservedSimpleNameCS ERROR_TOKEN
> 		/.$BeginJava
> 					reportErrorTokenMessage($getToken(2), OCLParserErrors.MISSING_LPAREN);
> 					CSTNode result = createOperationCS(
>@@ -293,7 +377,7 @@
> 					$setResult(result);
> 		 $EndJava
> 		./
>-	operationCS2 ::= pathNameCS '::' simpleNameCS '(' parametersCSopt ')' ERROR_Colon
>+	operationCS2 ::= pathNameCS '::' notReservedSimpleNameCS '(' parametersCSopt ')' ERROR_Colon
> 		/.$BeginJava
> 					PathNameCS pathNameCS = (PathNameCS)$getSym(1);
> 					CSTNode result = createOperationCS(
>@@ -306,7 +390,7 @@
> 					$setResult(result);
> 		 $EndJava
> 		./
>-	operationCS2 ::= pathNameCS '::' simpleNameCS '(' parametersCSopt ERROR_TOKEN
>+	operationCS2 ::= pathNameCS '::' notReservedSimpleNameCS '(' parametersCSopt ERROR_TOKEN
> 		/.$BeginJava
> 					reportErrorTokenMessage($getToken(6), OCLParserErrors.MISSING_RPAREN);
> 					PathNameCS pathNameCS = (PathNameCS)$getSym(1);
>@@ -320,7 +404,7 @@
> 					$setResult(result);
> 		 $EndJava
> 		./
>-	operationCS2 ::= pathNameCS '::' simpleNameCS ERROR_TOKEN
>+	operationCS2 ::= pathNameCS '::' notReservedSimpleNameCS ERROR_TOKEN
> 		/.$BeginJava
> 					reportErrorTokenMessage($getToken(4), OCLParserErrors.MISSING_LPAREN);
> 					PathNameCS pathNameCS = (PathNameCS)$getSym(1);
>@@ -375,7 +459,7 @@
> 		 $EndJava
> 		./
> 
>-	variableCS ::= IDENTIFIER ERROR_TOKEN
>+	variableCS ::= notLiteralNorReservedSimpleNameCS ERROR_TOKEN
> 		/.$BeginJava
> 					reportErrorTokenMessage($getToken(2), OCLParserErrors.MISSING_VARIABLE_TYPE);
> 					CSTNode result = createVariableCS(
>@@ -388,21 +472,6 @@
> 		 $EndJava
> 		./
> 
>-	variableExpCS ::= simpleNameCS '[' argumentsCS ERROR_TOKEN
>-		/.$NewCase./
>-	variableExpCS ::= keywordAsName1 '[' argumentsCS ERROR_TOKEN
>-		/.$BeginJava
>-					reportErrorTokenMessage($getToken(4), OCLParserErrors.MISSING_RBRACK);
>-					CSTNode result = createVariableExpCS(
>-							(SimpleNameCS)$getSym(1),
>-							(EList)$getSym(3),
>-							null
>-						);
>-					setOffsets(result, (CSTNode)$getSym(1), getIToken($getToken(4)));
>-					$setResult(result);
>-		 $EndJava
>-		./
>-
> 	variableListCS ::= ERROR_TOKEN
> 		/.$NewCase./
> 	variableListCS2 ::= ERROR_TOKEN
>Index: src/org/eclipse/ocl/parser/backtracking/OCLBacktrackingParser.g
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.mdt/org.eclipse.ocl/plugins/org.eclipse.ocl/src/org/eclipse/ocl/parser/backtracking/OCLBacktrackingParser.g,v
>retrieving revision 1.1
>diff -u -r1.1 OCLBacktrackingParser.g
>--- src/org/eclipse/ocl/parser/backtracking/OCLBacktrackingParser.g	13 Jan 2009 20:31:30 -0000	1.1
>+++ src/org/eclipse/ocl/parser/backtracking/OCLBacktrackingParser.g	11 Sep 2009 19:11:11 -0000
>@@ -39,6 +39,7 @@
> %options action=("*.java", "/.", "./")
> %options ParseTable=lpg.lpgjavaruntime.ParseTable
> %options include_directory=".;..;../../lpg"
>+%options verbose
> 
> $Include
> 	OCLParserErrors.g

Actions: View | Diff

Attachments on bug 184048: 146988 | 149024 | 149105