|
SysML | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.topcased.sysml.tools.operations.DesignElementsCoverOperations
public class DesignElementsCoverOperations
The Class DesignElementsCoverOperations.
Constructor Summary | |
---|---|
DesignElementsCoverOperations()
|
Method Summary | |
---|---|
static Satisfy |
addCoveringDesignElement(Requirement requirement,
org.eclipse.uml2.uml.NamedElement designElement)
Add a design element to the design elements satisfying a requirement (i.e add a satisfy link between the design element and the requirement) |
static java.util.List |
getAvailableDesignElements(Requirement requirement)
Return the list of design elements that can satisfy a requirement A query based on the following OCL expression NamedElement.allInstances() |
static java.util.List |
getCoveringDesignElements(Requirement requirement)
Return the list of design elements that satisfy a requirement A query based on the following OCL expression Satisfy.allInstances()->select(supplier->includes(self)).client->asSet() |
static java.util.List |
getSatisfyLinks(Requirement requirement,
org.eclipse.uml2.uml.NamedElement designElement)
Returns all the satisfy links that match a design element to a requirement. |
static void |
removeCoveringDesignElement(Requirement requirement,
org.eclipse.uml2.uml.NamedElement designElement)
Remove a design element from the design elements satisfying a requirement (i.e remove the satisfy links between the design element and the requirement) |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DesignElementsCoverOperations()
Method Detail |
---|
public static java.util.List getAvailableDesignElements(Requirement requirement)
requirement
- the requirement
public static java.util.List getCoveringDesignElements(Requirement requirement)
requirement
- the requirement
public static void removeCoveringDesignElement(Requirement requirement, org.eclipse.uml2.uml.NamedElement designElement)
requirement
- the requirementdesignElement
- the design element to remove from the design
elements satisfying the requirementpublic static Satisfy addCoveringDesignElement(Requirement requirement, org.eclipse.uml2.uml.NamedElement designElement)
requirement
- the requirementdesignElement
- the design element to add to the design elements
satisfying the requirement
public static java.util.List getSatisfyLinks(Requirement requirement, org.eclipse.uml2.uml.NamedElement designElement)
requirement
- the requirementdesignElement
- the design element
|
SysML | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Copyright (c) 2005 TOPCASED Contributors 2005 - 2007. All rights reserved.