edu.cmu.sei.aadl.aadl2.operations
Class BehavioredImplementationOperations

java.lang.Object
  extended by edu.cmu.sei.aadl.aadl2.operations.ElementOperations
      extended by edu.cmu.sei.aadl.aadl2.operations.NamedElementOperations
          extended by edu.cmu.sei.aadl.aadl2.operations.NamespaceOperations
              extended by edu.cmu.sei.aadl.aadl2.operations.ClassifierOperations
                  extended by edu.cmu.sei.aadl.aadl2.operations.BehavioredImplementationOperations

public class BehavioredImplementationOperations
extends ClassifierOperations

A static utility class that provides operations related to 'Behaviored Implementation' model objects.

The following operations are supported:


Field Summary
 
Fields inherited from class edu.cmu.sei.aadl.aadl2.operations.ClassifierOperations
ALL_FEATURES__EOCL_EXP, ALL_FEATURES__EOCL_QRY, ALL_PARENTS__EOCL_EXP, ALL_PARENTS__EOCL_QRY, HAS_VISIBILITY_OF__NAMED_ELEMENT__EOCL_EXP, HAS_VISIBILITY_OF__NAMED_ELEMENT__EOCL_QRY, INHERIT__ELIST__EOCL_EXP, INHERIT__ELIST__EOCL_QRY, INHERITABLE_MEMBERS__CLASSIFIER__EOCL_EXP, INHERITABLE_MEMBERS__CLASSIFIER__EOCL_QRY, INHERITED_MEMBER__EOCL_EXP, INHERITED_MEMBER__EOCL_QRY, MAY_SPECIALIZE_TYPE__CLASSIFIER__EOCL_EXP, MAY_SPECIALIZE_TYPE__CLASSIFIER__EOCL_QRY, NO_CYCLES_IN_GENERALIZATION__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP, NO_CYCLES_IN_GENERALIZATION__DIAGNOSTIC_CHAIN_MAP__EOCL_INV, PARENTS__EOCL_EXP, PARENTS__EOCL_QRY, SPECIALIZE_TYPE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP, SPECIALIZE_TYPE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV
 
Fields inherited from class edu.cmu.sei.aadl.aadl2.operations.NamespaceOperations
GET_NAMES_OF_MEMBER__NAMED_ELEMENT__EOCL_EXP, GET_NAMES_OF_MEMBER__NAMED_ELEMENT__EOCL_QRY, MEMBERS_ARE_DISTINGUISHABLE__EOCL_EXP, MEMBERS_ARE_DISTINGUISHABLE__EOCL_QRY, MEMBERS_DISTINGUISHABLE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP, MEMBERS_DISTINGUISHABLE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV
 
Fields inherited from class edu.cmu.sei.aadl.aadl2.operations.NamedElementOperations
ALL_NAMESPACES__EOCL_EXP, ALL_NAMESPACES__EOCL_QRY, HAS_NO_QUALIFIED_NAME__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP, HAS_NO_QUALIFIED_NAME__DIAGNOSTIC_CHAIN_MAP__EOCL_INV, HAS_QUALIFIED_NAME__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP, HAS_QUALIFIED_NAME__DIAGNOSTIC_CHAIN_MAP__EOCL_INV, IS_DISTINGUISHABLE_FROM__NAMED_ELEMENT_NAMESPACE__EOCL_EXP, IS_DISTINGUISHABLE_FROM__NAMED_ELEMENT_NAMESPACE__EOCL_QRY, QUALIFIED_NAME__EOCL_EXP, QUALIFIED_NAME__EOCL_QRY, SEPARATOR__EOCL_EXP, SEPARATOR__EOCL_QRY
 
Fields inherited from class edu.cmu.sei.aadl.aadl2.operations.ElementOperations
ALL_OWNED_ELEMENTS__EOCL_EXP, ALL_OWNED_ELEMENTS__EOCL_QRY, EOCL_ENV, HAS_OWNER__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP, HAS_OWNER__DIAGNOSTIC_CHAIN_MAP__EOCL_INV, MUST_BE_OWNED__EOCL_EXP, MUST_BE_OWNED__EOCL_QRY, NOT_OWN_SELF__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP, NOT_OWN_SELF__DIAGNOSTIC_CHAIN_MAP__EOCL_INV
 
Constructor Summary
protected BehavioredImplementationOperations()
           
 
Method Summary
static org.eclipse.emf.common.util.EList<CallSpecification> callSpecifications(BehavioredImplementation behavioredImplementation)
          Get all calls owned by owned call sequences.
 
Methods inherited from class edu.cmu.sei.aadl.aadl2.operations.ClassifierOperations
allFeatures, allParents, hasVisibilityOf, inherit, inheritableMembers, inheritedMember, maySpecializeType, no_cycles_in_generalization, parents, specialize_type
 
Methods inherited from class edu.cmu.sei.aadl.aadl2.operations.NamespaceOperations
getNamesOfMember, members_distinguishable, membersAreDistinguishable
 
Methods inherited from class edu.cmu.sei.aadl.aadl2.operations.NamedElementOperations
allNamespaces, has_no_qualified_name, has_qualified_name, isDistinguishableFrom, qualifiedName, separator
 
Methods inherited from class edu.cmu.sei.aadl.aadl2.operations.ElementOperations
allOwnedElements, has_owner, mustBeOwned, not_own_self
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BehavioredImplementationOperations

protected BehavioredImplementationOperations()

Method Detail

callSpecifications

public static org.eclipse.emf.common.util.EList<CallSpecification> callSpecifications(BehavioredImplementation behavioredImplementation)
Get all calls owned by owned call sequences.

Parameters:
behavioredImplementation - The receiving 'Behaviored Implementation' model object.