edu.cmu.sei.aadl.modelsupport.util
Class ConnectionBindingUtil

java.lang.Object
  extended by edu.cmu.sei.aadl.modelsupport.util.ConnectionBindingUtil

public class ConnectionBindingUtil
extends java.lang.Object

Author:
phf This class provides for checking whether delta streams are communicated over protocols with guaranteed delivery.

Constructor Summary
ConnectionBindingUtil()
           
 
Method Summary
static java.util.List connectedByBus(ComponentInstance srcHW, ComponentInstance dstHW)
          returns list of buses connecting to HW components.
static boolean connectedToBus(ComponentInstance HWcomp, ComponentInstance bus)
          is hardware component connected (directly) to the given bus
protected static java.util.List doConnectedByBus(ComponentInstance srcHW, ComponentInstance dstHW, org.eclipse.emf.common.util.EList visitedBuses)
          returns list of buses connecting to HW components.
static ConnectionInstance getBusAccessConnection(ComponentInstance HWcomp, ComponentInstance bus)
          is hardware component connected (directly) to the given bus, incl. bus to bus
static ComponentInstance getHardwareComponent(FeatureInstance fi)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ConnectionBindingUtil

public ConnectionBindingUtil()
Method Detail

getHardwareComponent

public static ComponentInstance getHardwareComponent(FeatureInstance fi)

connectedByBus

public static java.util.List connectedByBus(ComponentInstance srcHW,
                                            ComponentInstance dstHW)
returns list of buses connecting to HW components. Can be empty list (if same component), or null (no connection).

Parameters:
source - HW component
destination - HW component
Returns:
list of buses involved in the physical connection

doConnectedByBus

protected static java.util.List doConnectedByBus(ComponentInstance srcHW,
                                                 ComponentInstance dstHW,
                                                 org.eclipse.emf.common.util.EList visitedBuses)
returns list of buses connecting to HW components. Can be empty list (if same component), or null (no connection).

Parameters:
source - HW component
destination - HW component
Returns:
list of buses involved in the physical connection

connectedToBus

public static boolean connectedToBus(ComponentInstance HWcomp,
                                     ComponentInstance bus)
is hardware component connected (directly) to the given bus

Parameters:
HWcomp - ComponentInstance hardware component
bus - ComponentInstance bus component
Returns:
true if they are connected by bus access connection

getBusAccessConnection

public static ConnectionInstance getBusAccessConnection(ComponentInstance HWcomp,
                                                        ComponentInstance bus)
is hardware component connected (directly) to the given bus, incl. bus to bus

Parameters:
HWcomp - ComponentInstance hardware component
bus - ComponentInstance bus component
Returns:
access connection instance if they are connected by bus access connection