PageRenderTime 48ms CodeModel.GetById 41ms app.highlight 2ms RepoModel.GetById 2ms app.codeStats 0ms

/src/lib/string/character_constants.e

http://github.com/tybor/Liberty
Specman e | 85 lines | 30 code | 28 blank | 27 comment | 0 complexity | 375267affed0064157e4925f709c3841 MD5 | raw file
 1-- This file is part of a Liberty Eiffel library.
 2-- See the full copyright at the end.
 3--
 4expanded class CHARACTER_CONSTANTS
 5   --
 6   -- Platform-independent, universal, character constants.
 7   -- Intended to be used as ancestor for classes that need these constants.
 8   --
 9
10feature {ANY} -- Character names:
11   Ctrl_a: CHARACTER '%/1/'
12
13   Ctrl_b: CHARACTER '%/2/'
14
15   Ctrl_c: CHARACTER '%/3/'
16
17   Ctrl_d: CHARACTER '%/4/'
18
19   Ctrl_e: CHARACTER '%/5/'
20
21   Ctrl_f: CHARACTER '%/6/'
22
23   Ctrl_g: CHARACTER '%/7/'
24
25   Ch_bs: CHARACTER '%/8/'
26
27   Ch_tab: CHARACTER '%/9/'
28
29   Ctrl_j: CHARACTER '%/10/'
30
31   Ctrl_k: CHARACTER '%/11/'
32
33   Ctrl_l: CHARACTER '%/12/'
34
35   Ctrl_m: CHARACTER '%/13/'
36
37   Ctrl_n: CHARACTER '%/14/'
38
39   Ctrl_o: CHARACTER '%/15/'
40
41   Ctrl_p: CHARACTER '%/16/'
42
43   Ctrl_q: CHARACTER '%/17/'
44
45   Ctrl_r: CHARACTER '%/18/'
46
47   Ctrl_s: CHARACTER '%/19/'
48
49   Ctrl_t: CHARACTER '%/20/'
50
51   Ctrl_u: CHARACTER '%/21/'
52
53   Ctrl_v: CHARACTER '%/22/'
54
55   Ctrl_w: CHARACTER '%/23/'
56
57   Ctrl_x: CHARACTER '%/24/'
58
59   Ctrl_y: CHARACTER '%/25/'
60
61   Ctrl_z: CHARACTER '%/26/'
62
63   Ch_del: CHARACTER '%/127/'
64
65end -- class CHARACTER_CONSTANTS
66--
67-- Copyright (C) 2009-2017: by all the people cited in the AUTHORS file.
68--
69-- Permission is hereby granted, free of charge, to any person obtaining a copy
70-- of this software and associated documentation files (the "Software"), to deal
71-- in the Software without restriction, including without limitation the rights
72-- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
73-- copies of the Software, and to permit persons to whom the Software is
74-- furnished to do so, subject to the following conditions:
75--
76-- The above copyright notice and this permission notice shall be included in
77-- all copies or substantial portions of the Software.
78--
79-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
80-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
81-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
82-- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
83-- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
84-- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
85-- THE SOFTWARE.