SysML

org.topcased.sysml.tools.operations
Class DesignElementsCoverOperations

java.lang.Object
  extended by org.topcased.sysml.tools.operations.DesignElementsCoverOperations

public class DesignElementsCoverOperations
extends java.lang.Object

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

DesignElementsCoverOperations

public DesignElementsCoverOperations()
Method Detail

getAvailableDesignElements

public 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()

Parameters:
requirement - the requirement
Returns:
the list of design elements

getCoveringDesignElements

public 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()

Parameters:
requirement - the requirement
Returns:
the list of design elements

removeCoveringDesignElement

public 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)

Parameters:
requirement - the requirement
designElement - the design element to remove from the design elements satisfying the requirement

addCoveringDesignElement

public 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)

Parameters:
requirement - the requirement
designElement - the design element to add to the design elements satisfying the requirement
Returns:
the created satisfy link

getSatisfyLinks

public 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.

Parameters:
requirement - the requirement
designElement - the design element
Returns:
result return a list of result

SysML

Copyright (c) 2005 TOPCASED Contributors 2005 - 2007. All rights reserved.