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 Type	getNavigationSourceType(MetaModelManager metaModelManager, NavigationOperatorCS csOperator) Return the source type of a navigation adjusting any implicit collect to the flattened source type, and and implicit oclAsSet to the Set type.
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.

getNavigationSourceType

@Nullable
public static Type getNavigationSourceType(@NonNull
                                                    MetaModelManager metaModelManager,
                                                    @NonNull
                                                    NavigationOperatorCS csOperator)

Return the source type of a navigation adjusting any implicit collect to the flattened source type, and and implicit oclAsSet to the Set type.

isIteration

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