blob: d702030191e89381eb64786520d5e56dc28b2b8a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
/* valacharacterliteral.vala
*
* Copyright (C) 2006-2007 Jürg Billeter, Raffaele Sandrini
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2.1 of the License, or (at your option) any later version.
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*
* Author:
* Jürg Billeter <j@bitron.ch>
* Raffaele Sandrini <rasa@gmx.ch>
*/
using GLib;
/**
* Represents a single literal character.
*/
public class Vala.CharacterLiteral : Literal {
/**
* The literal value.
*/
public string! value {
get {
return _value;
}
set construct {
_value = value;
if (!value.validate () || (value.len () != 3 && value.next_char ().get_char () != '\\')) {
error = true;
}
}
}
private string! _value;
/**
* Creates a new character literal.
*
* @param c character
* @param source reference to source code
* @return newly created character literal
*/
public CharacterLiteral (string! c, SourceReference source) {
value = c;
source_reference = source;
}
construct {
if (error) {
Report.error (source_reference, "invalid character literal");
}
}
public override void accept (CodeVisitor! visitor) {
visitor.visit_character_literal (this);
}
/**
* Returns the unicode character value this character literal
* represents.
*
* @return unicode character value
*/
public unichar get_char () {
return value.next_char ().get_char ();
}
}
|
