icode: add IAllocateInstance, ICheckInstance and IInitAttributes

[nit.git] / src / analysis / icode_dump.nit

diff --git a/src/analysis/icode_dump.nit b/src/analysis/icode_dump.nit
index 3554816..e93d866 100644 (file)
--- a/src/analysis/icode_dump.nit
+++ b/src/analysis/icode_dump.nit
@@ -254,12 +254,7 @@ end
 redef class IAbort
        redef fun dump_intern(icd)
        do
-               var pl = property_location
-               if pl != null then
-                       return "ABORT (\"{texts.join("\", \"")}\") in {pl.full_name}"
-               else
-                       return "ABORT (\"{texts.join("\", \"")}\")"
-               end
+               return "ABORT (\"{texts.join("\", \"")}\")"
        end
 end
 
@@ -270,6 +265,34 @@ redef class ICall
        end
 end
 
+redef class IAllocateInstance
+       redef fun dump_intern(icd)
+       do
+               return "ALLOCATE NEW_{stype}"
+       end
+end
+
+redef class IStaticCall
+       redef fun dump_intern(icd)
+       do
+               return "STATIC_CALL {property.full_name}({icd.register_all(exprs)})"
+       end
+end
+
+redef class ICheckInstance
+       redef fun dump_intern(icd)
+       do
+               return "CHECK_INSTANCE CHECKNEW_{stype}({icd.register(expr)})"
+       end
+end
+
+redef class IInitAttributes
+       redef fun dump_intern(icd)
+       do
+               return "INIT_ATTRIBUTES INIT_ATTRIBUTES_{stype}({icd.register(expr)})"
+       end
+end
+
 redef class IClosCall
        redef fun dump_intern(icd)
        do