ExecutionTraceModelImpl.java 文件源码

/**
 * <!-- begin-user-doc -->
 * <!-- end-user-doc -->
 * @generated
 */
public EList<ModelState> getReachedStates() {
    if (reachedStates == null) {
        reachedStates = new EObjectContainmentEList<ModelState>(ModelState.class, this, Gemoc_execution_tracePackage.EXECUTION_TRACE_MODEL__REACHED_STATES);
    }
    return reachedStates;
}