|
1 | | -/* Copyright 2014-2015 Samsung Electronics Co., Ltd. |
| 1 | +/* Copyright 2014-2016 Samsung Electronics Co., Ltd. |
2 | 2 | * Copyright 2016 University of Szeged. |
3 | 3 | * |
4 | 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
|
98 | 98 |
|
99 | 99 | #ifndef CONFIG_ECMA_NUMBER_TYPE |
100 | 100 | # define CONFIG_ECMA_NUMBER_TYPE CONFIG_ECMA_NUMBER_FLOAT32 |
101 | | -#else /* !CONFIG_ECMA_NUMBER_TYPE */ |
| 101 | +#else /* CONFIG_ECMA_NUMBER_TYPE */ |
102 | 102 | # if (CONFIG_ECMA_NUMBER_TYPE != CONFIG_ECMA_NUMBER_FLOAT32 \ |
103 | 103 | && CONFIG_ECMA_NUMBER_TYPE != CONFIG_ECMA_NUMBER_FLOAT64) |
104 | 104 | # error "ECMA-number storage is configured incorrectly" |
105 | 105 | # endif /* CONFIG_ECMA_NUMBER_TYPE != CONFIG_ECMA_NUMBER_FLOAT32 |
106 | 106 | && CONFIG_ECMA_NUMBER_TYPE != CONFIG_ECMA_NUMBER_FLOAT64 */ |
107 | | -#endif /* CONFIG_ECMA_NUMBER_TYPE */ |
| 107 | +#endif /* !CONFIG_ECMA_NUMBER_TYPE */ |
108 | 108 |
|
109 | 109 | /** |
110 | 110 | * Representation for ecma-characters |
|
114 | 114 |
|
115 | 115 | #ifndef CONFIG_ECMA_CHAR_ENCODING |
116 | 116 | # define CONFIG_ECMA_CHAR_ENCODING CONFIG_ECMA_CHAR_ASCII |
117 | | -#else /* !CONFIG_ECMA_CHAR_ENCODING */ |
| 117 | +#else /* CONFIG_ECMA_CHAR_ENCODING */ |
118 | 118 | # if (CONFIG_ECMA_CHAR_ENCODING != CONFIG_ECMA_CHAR_ASCII \ |
119 | 119 | && CONFIG_ECMA_CHAR_ENCODING != CONFIG_ECMA_CHAR_UTF16) |
120 | 120 | # error "ECMA-char encoding is configured incorrectly" |
121 | 121 | # endif /* CONFIG_ECMA_CHAR_ENCODING != CONFIG_ECMA_CHAR_ASCII |
122 | 122 | && CONFIG_ECMA_CHAR_ENCODING != CONFIG_ECMA_CHAR_UTF16 */ |
123 | | -#endif /* CONFIG_ECMA_CHAR_ENCODING */ |
| 123 | +#endif /* !CONFIG_ECMA_CHAR_ENCODING */ |
124 | 124 |
|
125 | 125 | /** |
126 | 126 | * Disable ECMA lookup cache |
|
0 commit comments