src/packages/xdc/runtime/Assert.c

/* --COPYRIGHT--,ESD
 *  Copyright (c) 2008 Texas Instruments. All rights reserved. 
 *  This program and the accompanying materials are made available under the 
 *  terms of the Eclipse Public License v1.0 and Eclipse Distribution License
 *  v. 1.0 which accompanies this distribution. The Eclipse Public License is
 *  available at http://www.eclipse.org/legal/epl-v10.html and the Eclipse
 *  Distribution License is available at 
 *  http://www.eclipse.org/org/documents/edl-v10.php.
 *
 *  Contributors:
 *      Texas Instruments - initial implementation
 * --/COPYRIGHT--*/
/*
 *  ======== Assert.c ========
 */

#include <xdc/std.h>

#include <xdc/runtime/Error.h>
#include <xdc/runtime/Text.h>
#include <xdc/runtime/Types.h>

#include "package/internal/Assert.xdc.h"

/*
 *  ======== raise ========
 */
Void Assert_raise(Types_ModuleId mod, CString file, Int line, Assert_Id id)
{
    String sep = id ? ": " : "";
    String msg = (id && Text_isLoaded) ?
        Text_ropeText((Text_RopeId)(id >> 16)) : "";

    Error_raiseX(NULL, mod, file, line,
        Assert_E_assertFailed, (IArg)sep, (IArg)msg);
}