ReqSpecProposalProvider.java
/**
* Copyright (c) 2004-2025 Carnegie Mellon University and others. (see Contributors file).
* All Rights Reserved.
*
* NO WARRANTY. ALL MATERIAL IS FURNISHED ON AN "AS-IS" BASIS. CARNEGIE MELLON UNIVERSITY MAKES NO WARRANTIES OF ANY
* KIND, EITHER EXPRESSED OR IMPLIED, AS TO ANY MATTER INCLUDING, BUT NOT LIMITED TO, WARRANTY OF FITNESS FOR PURPOSE
* OR MERCHANTABILITY, EXCLUSIVITY, OR RESULTS OBTAINED FROM USE OF THE MATERIAL. CARNEGIE MELLON UNIVERSITY DOES NOT
* MAKE ANY WARRANTY OF ANY KIND WITH RESPECT TO FREEDOM FROM PATENT, TRADEMARK, OR COPYRIGHT INFRINGEMENT.
*
* This program and the accompanying materials are made available under the terms of the Eclipse Public License 2.0
* which is available at https://www.eclipse.org/legal/epl-2.0/
* SPDX-License-Identifier: EPL-2.0
*
* Created, in part, with funding and support from the United States Government. (see Acknowledgments file).
*
* This program includes and/or can make use of certain third party source code, object code, documentation and other
* files ("Third Party Software"). The Third Party Software that is used by this program is dependent upon your system
* configuration. By using this program, You agree to comply with any and all relevant Third Party Software terms and
* conditions contained in any such Third Party Software or separate license file distributed with such Third Party
* Software. The parties who own the Third Party Software ("Third Party Licensors") are intended third party benefici-
* aries to this license with respect to the terms applicable to their Third Party Software. Third Party Software li-
* censes only apply to the Third Party Software and not any other portion of this program or this program as a whole.
*/
package org.osate.reqspec.ui.contentassist;
import com.google.common.base.Objects;
import com.google.common.base.Predicate;
import java.util.ArrayList;
import org.eclipse.emf.common.util.EList;
import org.eclipse.emf.ecore.EObject;
import org.eclipse.emf.ecore.util.BasicInternalEList;
import org.eclipse.emf.ecore.util.EcoreUtil;
import org.eclipse.xtext.AbstractElement;
import org.eclipse.xtext.Assignment;
import org.eclipse.xtext.CrossReference;
import org.eclipse.xtext.resource.IEObjectDescription;
import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext;
import org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor;
import org.eclipse.xtext.xbase.lib.CollectionLiterals;
import org.eclipse.xtext.xbase.lib.Functions.Function1;
import org.eclipse.xtext.xbase.lib.IterableExtensions;
import org.osate.aadl2.Classifier;
import org.osate.aadl2.ComponentClassifier;
import org.osate.aadl2.ComponentImplementation;
import org.osate.aadl2.ComponentType;
import org.osate.aadl2.modelsupport.scoping.Aadl2GlobalScopeUtil;
import org.osate.alisa.common.util.CommonUtilExtension;
import org.osate.categories.categories.Category;
import org.osate.reqspec.reqSpec.GlobalRequirementSet;
import org.osate.reqspec.reqSpec.ReqSpecPackage;
import org.osate.reqspec.reqSpec.Requirement;
import org.osate.reqspec.reqSpec.StakeholderGoals;
import org.osate.reqspec.reqSpec.SystemRequirementSet;
/**
* see http://www.eclipse.org/Xtext/documentation.html#contentAssist on how to customize content assistant
*/
@SuppressWarnings("all")
public class ReqSpecProposalProvider extends AbstractReqSpecProposalProvider {
@Override
public void completeStakeholderGoals_Target(final EObject model, final Assignment assignment, final ContentAssistContext context, final ICompletionProposalAcceptor acceptor) {
AbstractElement _terminal = assignment.getTerminal();
final Predicate<IEObjectDescription> _function = (IEObjectDescription description) -> {
boolean _contains = description.getEObjectURI().toString().contains("Plugin_Resources");
return (!_contains);
};
this.lookupCrossReference(
((CrossReference) _terminal), context, acceptor, _function);
}
@Override
public void completeSystemRequirementSet_Target(final EObject model, final Assignment assignment, final ContentAssistContext context, final ICompletionProposalAcceptor acceptor) {
AbstractElement _terminal = assignment.getTerminal();
final Predicate<IEObjectDescription> _function = (IEObjectDescription description) -> {
boolean _contains = description.getEObjectURI().toString().contains("Plugin_Resources");
return (!_contains);
};
this.lookupCrossReference(
((CrossReference) _terminal), context, acceptor, _function);
}
@Override
public void completeGlobalRequirement_GoalReference(final EObject model, final Assignment assignment, final ContentAssistContext context, final ICompletionProposalAcceptor acceptor) {
EObject _eContainer = model.eContainer();
final SystemRequirementSet sysRequirements = ((SystemRequirementSet) _eContainer);
final ComponentClassifier targetComponentClassifier = sysRequirements.getTarget();
final EList<Classifier> allAncestors = this.getSelfPlusAncestors(targetComponentClassifier);
AbstractElement _terminal = assignment.getTerminal();
final Predicate<IEObjectDescription> _function = (IEObjectDescription it) -> {
boolean _xblockexpression = false;
{
final EObject proposedObj = EcoreUtil.resolve(it.getEObjectOrProxy(), model);
EObject _eContainer_1 = proposedObj.eContainer();
final StakeholderGoals stakeHolderGoals = ((StakeholderGoals) _eContainer_1);
_xblockexpression = allAncestors.contains(stakeHolderGoals.getTarget());
}
return _xblockexpression;
};
this.lookupCrossReference(((CrossReference) _terminal), context, acceptor, _function);
}
@Override
public void completeGlobalRequirement_RefinesReference(final EObject model, final Assignment assignment, final ContentAssistContext context, final ICompletionProposalAcceptor acceptor) {
EObject _eContainer = model.eContainer();
final ComponentClassifier targetComponentClassifier = ((SystemRequirementSet) _eContainer).getTarget();
final Function1<SystemRequirementSet, Boolean> _function = (SystemRequirementSet sysreqs) -> {
return Boolean.valueOf(CommonUtilExtension.isSameorExtends(targetComponentClassifier, sysreqs.getTarget()));
};
final Iterable<SystemRequirementSet> listAccessibleSystemRequirements = IterableExtensions.<SystemRequirementSet>filter(Aadl2GlobalScopeUtil.<SystemRequirementSet>getAll(model, ReqSpecPackage.eINSTANCE.getSystemRequirementSet()), _function);
final ArrayList<EObject> nameList = CollectionLiterals.<EObject>newArrayList();
AbstractElement _terminal = assignment.getTerminal();
final Predicate<IEObjectDescription> _function_1 = (IEObjectDescription it) -> {
boolean _xblockexpression = false;
{
final EObject proposedObj = EcoreUtil.resolve(it.getEObjectOrProxy(), model);
boolean _contains = nameList.contains(proposedObj);
if (_contains) {
return false;
} else {
nameList.add(proposedObj);
}
_xblockexpression = ((!Objects.equal(model, proposedObj)) && (IterableExtensions.size(IterableExtensions.<SystemRequirementSet>filter(listAccessibleSystemRequirements, ((Function1<SystemRequirementSet, Boolean>) (SystemRequirementSet it_1) -> {
return Boolean.valueOf(it_1.getRequirements().contains(proposedObj));
}))) > 0));
}
return _xblockexpression;
};
this.lookupCrossReference(((CrossReference) _terminal), context, acceptor, _function_1);
}
@Override
public void completeGlobalRequirement_DecomposesReference(final EObject model, final Assignment assignment, final ContentAssistContext context, final ICompletionProposalAcceptor acceptor) {
this.completeGlobalRequirement_RefinesReference(model, assignment, context, acceptor);
}
@Override
public void completeGlobalRequirement_EvolvesReference(final EObject model, final Assignment assignment, final ContentAssistContext context, final ICompletionProposalAcceptor acceptor) {
this.completeGlobalRequirement_RefinesReference(model, assignment, context, acceptor);
}
public EList<Classifier> getSelfPlusAncestors(final Classifier cl) {
final BasicInternalEList<Classifier> cls = new BasicInternalEList<Classifier>(Classifier.class);
cls.add(cl);
Classifier temp = cl;
while ((temp.getExtended() != null)) {
{
boolean _contains = cls.contains(temp.getExtended());
if (_contains) {
return cls;
}
temp = temp.getExtended();
cls.add(temp);
}
}
if ((cl instanceof ComponentImplementation)) {
ComponentType temp2 = ((ComponentImplementation)cl).getType();
cls.add(temp2);
while ((temp2.getExtended() != null)) {
{
boolean _contains = cls.contains(temp2.getExtended());
if (_contains) {
return cls;
}
temp2 = temp2.getExtended();
cls.add(temp2);
}
}
}
return cls;
}
@Override
public void completeGlobalRequirement_Category(final EObject model, final Assignment assignment, final ContentAssistContext context, final ICompletionProposalAcceptor acceptor) {
AbstractElement _terminal = assignment.getTerminal();
final Predicate<IEObjectDescription> _function = (IEObjectDescription description) -> {
boolean _xblockexpression = false;
{
final String match = description.getQualifiedName().toString();
final Function1<Category, Boolean> _function_1 = (Category c) -> {
return Boolean.valueOf(c.getName().equals(match));
};
boolean _exists = IterableExtensions.<Category>exists(((Requirement) model).getCategory(), _function_1);
_xblockexpression = (!_exists);
}
return _xblockexpression;
};
this.lookupCrossReference(
((CrossReference) _terminal), context, acceptor, _function);
}
@Override
public void completeGoal_Category(final EObject model, final Assignment assignment, final ContentAssistContext context, final ICompletionProposalAcceptor acceptor) {
AbstractElement _terminal = assignment.getTerminal();
final Predicate<IEObjectDescription> _function = (IEObjectDescription description) -> {
boolean _xblockexpression = false;
{
final String match = description.getQualifiedName().toString();
final Function1<Category, Boolean> _function_1 = (Category c) -> {
return Boolean.valueOf(c.getName().equals(match));
};
boolean _exists = IterableExtensions.<Category>exists(((Requirement) model).getCategory(), _function_1);
_xblockexpression = (!_exists);
}
return _xblockexpression;
};
this.lookupCrossReference(
((CrossReference) _terminal), context, acceptor, _function);
}
@Override
public void completeIncludeGlobalRequirement_Include(final EObject model, final Assignment assignment, final ContentAssistContext context, final ICompletionProposalAcceptor acceptor) {
AbstractElement _terminal = assignment.getTerminal();
final Predicate<IEObjectDescription> _function = (IEObjectDescription description) -> {
return ((model instanceof GlobalRequirementSet) || ((model instanceof Requirement) && (model.eContainer() instanceof GlobalRequirementSet)));
};
this.lookupCrossReference(
((CrossReference) _terminal), context, acceptor, _function);
}
}