Examples with EventDataPort - org.osate.aadl2.EventDataPort

Example 41 with EventDataPort

use of org.osate.aadl2.EventDataPort in project osate2 by osate.

the class DeviceTypeImpl method createOwnedEventDataPort.

/**
 * <!-- begin-user-doc -->
 * <!-- end-user-doc -->
 * @generated
 */
public EventDataPort createOwnedEventDataPort() {
    EventDataPort newOwnedEventDataPort = (EventDataPort) create(Aadl2Package.eINSTANCE.getEventDataPort());
    getOwnedEventDataPorts().add(newOwnedEventDataPort);
    return newOwnedEventDataPort;
}

Also used : EventDataPort(org.osate.aadl2.EventDataPort)

Example 42 with EventDataPort

use of org.osate.aadl2.EventDataPort in project osate2 by osate.

the class SystemTypeImpl method createOwnedEventDataPort.

/**
 * <!-- begin-user-doc -->
 * <!-- end-user-doc -->
 * @generated
 */
public EventDataPort createOwnedEventDataPort() {
    EventDataPort newOwnedEventDataPort = (EventDataPort) create(Aadl2Package.eINSTANCE.getEventDataPort());
    getOwnedEventDataPorts().add(newOwnedEventDataPort);
    return newOwnedEventDataPort;
}

Also used : EventDataPort(org.osate.aadl2.EventDataPort)

Example 43 with EventDataPort

use of org.osate.aadl2.EventDataPort in project osate2 by osate.

the class MemoryTypeImpl method createOwnedEventDataPort.

/**
 * <!-- begin-user-doc -->
 * <!-- end-user-doc -->
 * @generated
 */
public EventDataPort createOwnedEventDataPort() {
    EventDataPort newOwnedEventDataPort = (EventDataPort) create(Aadl2Package.eINSTANCE.getEventDataPort());
    getOwnedEventDataPorts().add(newOwnedEventDataPort);
    return newOwnedEventDataPort;
}

Also used : EventDataPort(org.osate.aadl2.EventDataPort)

Example 44 with EventDataPort

use of org.osate.aadl2.EventDataPort in project osate2 by osate.

the class VirtualBusTypeImpl method createOwnedEventDataPort.

/**
 * <!-- begin-user-doc -->
 * <!-- end-user-doc -->
 * @generated
 */
public EventDataPort createOwnedEventDataPort() {
    EventDataPort newOwnedEventDataPort = (EventDataPort) create(Aadl2Package.eINSTANCE.getEventDataPort());
    getOwnedEventDataPorts().add(newOwnedEventDataPort);
    return newOwnedEventDataPort;
}

Also used : EventDataPort(org.osate.aadl2.EventDataPort)

Example 45 with EventDataPort

use of org.osate.aadl2.EventDataPort in project osate2 by osate.

the class ThreadGroupTypeImpl method createOwnedEventDataPort.

/**
 * <!-- begin-user-doc -->
 * <!-- end-user-doc -->
 * @generated
 */
public EventDataPort createOwnedEventDataPort() {
    EventDataPort newOwnedEventDataPort = (EventDataPort) create(Aadl2Package.eINSTANCE.getEventDataPort());
    getOwnedEventDataPorts().add(newOwnedEventDataPort);
    return newOwnedEventDataPort;
}

Also used : EventDataPort(org.osate.aadl2.EventDataPort)

Aggregations

EventDataPort (org.osate.aadl2.EventDataPort)43 DataPort (org.osate.aadl2.DataPort)26 EventPort (org.osate.aadl2.EventPort)23 ArrayList (java.util.ArrayList)18 AnnexSubclause (org.osate.aadl2.AnnexSubclause)13 Port (verdict.vdm.vdm_model.Port)13 CyberRel (com.ge.research.osate.verdict.dsl.verdict.CyberRel)12 CyberReq (com.ge.research.osate.verdict.dsl.verdict.CyberReq)12 Event (com.ge.research.osate.verdict.dsl.verdict.Event)12 SafetyRel (com.ge.research.osate.verdict.dsl.verdict.SafetyRel)12 SafetyReq (com.ge.research.osate.verdict.dsl.verdict.SafetyReq)12 CyberMission (com.ge.research.osate.verdict.dsl.verdict.CyberMission)11 Statement (com.ge.research.osate.verdict.dsl.verdict.Statement)11 Verdict (com.ge.research.osate.verdict.dsl.verdict.Verdict)11 NamedElement (org.osate.aadl2.NamedElement)11 BusAccess (org.osate.aadl2.BusAccess)10 DataAccess (org.osate.aadl2.DataAccess)10 DataSubcomponent (org.osate.aadl2.DataSubcomponent)9 DataSubcomponentType (org.osate.aadl2.DataSubcomponentType)6 DoubleDotRef (com.rockwellcollins.atc.agree.agree.DoubleDotRef)5