+# A literal Int value
+class IIntValue
+ super ICode0
+ # The value
+ readable var _value: String
+
+ init(v: String) do _value = v
+
+ redef fun is_pure do return true
+end
+
+# A literal Bool value
+class IBoolValue
+ super ICode0
+ # The value
+ readable var _value: Bool
+
+ init(v: Bool) do _value = v
+
+ redef fun is_pure do return true
+end
+
+# A literal NativeString value
+class IStringValue
+ super ICode0
+ # The value
+ readable var _value: String
+
+ init(v: String) do _value = v
+
+ redef fun is_pure do return true
+end
+
+# A literal Float value
+class IFloatValue
+ super ICode0
+ # The value
+ readable var _value: String
+
+ init(v: String) do _value = v
+
+ redef fun is_pure do return true
+end
+
+# A literal Char value
+class ICharValue
+ super ICode0
+ # The value
+ readable var _value: String
+
+ init(v: String) do _value = v
+
+ redef fun is_pure do return true
+end
+