redef class ITypeCheck
redef fun dump_intern(icd)
do
- return "CHECKTYPE {icd.register(expr)} isa {stype}"
+ return "CHECKTYPE {icd.register(expr2)} isa {stype}"
end
end
redef class INative
redef fun dump_intern(icd)
do
- if exprs.is_empty then
- return "NATIVE \"{code}\""
- else
- return "NATIVE \"{code}\"({icd.register_all(exprs)})"
- end
+ return "NATIVE \"{method.full_name}\"({icd.register_all(exprs)})"
+ end
+end
+
+redef class IIntValue
+ redef fun dump_intern(icd)
+ do
+ return "INTVALUE {value}"
+ end
+end
+
+redef class IBoolValue
+ redef fun dump_intern(icd)
+ do
+ return "BOOLVALUE {value}"
+ end
+end
+
+redef class IStringValue
+ redef fun dump_intern(icd)
+ do
+ return "STRINGVALUE {value}"
+ end
+end
+
+redef class ICharValue
+ redef fun dump_intern(icd)
+ do
+ return "CHARVALUE {value}"
+ end
+end
+
+redef class IFloatValue
+ redef fun dump_intern(icd)
+ do
+ return "FLOATVALUE {value}"
end
end