1 /*
2 * Copyright (c) 2008 Texas Instruments. All rights reserved.
3 * This program and the accompanying materials are made available under the
4 * terms of the Eclipse Public License v1.0 and Eclipse Distribution License
5 * v. 1.0 which accompanies this distribution. The Eclipse Public License is
6 * available at http://www.eclipse.org/legal/epl-v10.html and the Eclipse
7 * Distribution License is available at
8 * http://www.eclipse.org/org/documents/edl-v10.php.
9 *
10 * Contributors:
11 * Texas Instruments - initial implementation
12 * */
13 /*
14 * ======== SysStd.xdc ========
15 */
16
17 package xdc.runtime;
18
19 /*!
20 * ======== SysStd ========
21 * Implementation of `{@link ISystemSupport}` using ANSI C Standard Library
22 *
23 * This implementation provides a fully functional implementation of
24 * all methods specified by `ISystemSupport`. As with all
25 * `ISystemSupport` modules, this module is the back-end for the
26 * `{@link System}` module.
27 *
28 * This implementation relies on the target's runtime support libraries
29 * (i.e. `fflush()` and `putchar()`). Therefore the functions are re-entrant
30 * (thread-safe) if the underlying rts library is re-entrant.
31 */
32 module SysStd inherits xdc.runtime.ISystemSupport {
33 /*!
34 * ======== abort ========
35 * Backend for `{@link System#abort()}`
36 *
37 * This abort function writes the string via `putchar()`
38 * and flushes via `fflush()` to `stdout`.
39 *
40 * @see ISystemSupport#abort
41 */
42 override Void abort(CString str);
43
44 /*!
45 * ======== exit ========
46 * Backend for `{@link System#exit()}`
47 *
48 * This exit function flushes via `fflush()` to `stdout`.
49 *
50 * @see ISystemSupport#exit
51 */
52 override Void exit(Int stat);
53
54 /*!
55 * ======== flush ========
56 * Backend for `{@link System#flush()}`
57 *
58 * This flush function flushes via `fflush()` to `stdout`.
59 *
60 * @see ISystemSupport#flush
61 */
62 override Void flush();
63
64 /*!
65 * ======== putch ========
66 * Backend for `{@link System#printf()}` and `{@link System#putch()}`
67 *
68 * This function outputs the character via `putchar()`.
69 *
70 * @see ISystemSupport#putch
71 */
72 override Void putch(Char ch);
73
74 /*!
75 * ======== ready ========
76 * Test if character output can proceed
77 *
78 * This always returns TRUE.
79 *
80 * @see ISystemSupport#ready
81 */
82 override Bool ready();
83 }
84 /*
85 * @(#) xdc.runtime; 2, 1, 0,0; 12-9-2015 17:36:49; /db/ztree/library/trees/xdc/xdc-B06/src/packages/
86 */
87