org.eclipse.ocl.examples.xtext.essentialocl.attributes
Class NavigationUtil

java.lang.Object
  org.eclipse.ocl.examples.xtext.essentialocl.attributes.NavigationUtil

public class NavigationUtil
extends java.lang.Object

Constructor Summary

NavigationUtil()

Method Summary

static NavigationOperatorCS	getNavigationOperator(AbstractNameExpCS csExp) Return the NavigationOperatorCS for which csExp is the left node of the navigation operator's argument tree.
static boolean	isIteration(MetaModelManager metaModelManager, InvocationExpCS csInvocationExp, CollectionType type)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NavigationUtil

public NavigationUtil()

Method Detail

getNavigationOperator

@Nullable
public static NavigationOperatorCS getNavigationOperator(@NonNull
                                                                  AbstractNameExpCS csExp)

Return the NavigationOperatorCS for which csExp is the left node of the navigation operator's argument tree.

isIteration

public static boolean isIteration(@NonNull
                                  MetaModelManager metaModelManager,
                                  @NonNull
                                  InvocationExpCS csInvocationExp,
                                  @NonNull
                                  CollectionType type)