@Override
public ScopeView computeLookup(
@NonNull EObject target,
@NonNull EnvironmentView environmentView,
@NonNull ScopeView scopeView) {
if (environmentView.isQualifier()) {
return scopeView.getParent();
}
assert scopeView.getContainmentFeature()
!= PivotPackage.Literals
.OPERATION_CALL_EXP__OWNED_ARGUMENTS; // Arguments must leapfrog to parent.
if (NavigationUtil.isNavigationInfixExp(target)) {
InfixExpCS targetElement = (InfixExpCS) target;
EObject child = scopeView.getChild();
ExpCS argument = targetElement.getArgument();
if ((child == argument) && (child instanceof NameExpCS)) {
NameExpCS csNameExp = (NameExpCS) child;
Type sourceTypeValue = csNameExp.getSourceTypeValue();
if (sourceTypeValue != null) {
environmentView.addElementsOfScope(
environmentView.getStandardLibrary().getClassType(), scopeView);
}
if (!environmentView.hasFinalResult()) {
Type type = sourceTypeValue != null ? sourceTypeValue : csNameExp.getSourceType();
if (type != null) {
environmentView.addElementsOfScope(type, scopeView);
}
}
return null; // Explicit navigation must be resolved in source
}
}
return scopeView.getParent();
}
@Override
public ScopeView computeLookup(
@NonNull EObject target,
@NonNull EnvironmentView environmentView,
@NonNull ScopeView scopeView) {
EStructuralFeature containmentFeature = scopeView.getContainmentFeature();
if (containmentFeature == EssentialOCLCSPackage.Literals.SHADOW_PART_CS__REFERRED_PROPERTY) {
ShadowPartCS targetElement = (ShadowPartCS) target;
CurlyBracketedClauseCS csCurlyBracketClause = targetElement.getOwningCurlyBracketClause();
AbstractNameExpCS csNameExp = csCurlyBracketClause.getOwningNameExp();
ShadowExp pivot = PivotUtil.getPivot(ShadowExp.class, csNameExp);
if (pivot != null) {
Type type = pivot.getType();
if (type instanceof org.eclipse.ocl.pivot.Class) {
environmentView.addAllProperties(
(org.eclipse.ocl.pivot.Class) type, FeatureFilter.SELECT_NON_STATIC);
}
}
return null;
}
return scopeView.getParent();
}