nitlanguage
/
nit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
icode: add automatic tests for virtual type parameters in methods
[nit.git]
/
src
/
icode
/
icode_builder.nit
diff --git
a/src/icode/icode_builder.nit
b/src/icode/icode_builder.nit
index
c50ab6a
..
7f37b75
100644
(file)
--- a/
src/icode/icode_builder.nit
+++ b/
src/icode/icode_builder.nit
@@
-244,6
+244,14
@@
redef class MMSignature
end
iroutine.closure_decls = clos
end
end
iroutine.closure_decls = clos
end
+ # Add automatic test for virtual types
+ var icb = new ICodeBuilder(recv.mmmodule, iroutine)
+ for i in [0..arity[ do
+ var t = self[i]
+ if t isa MMVirtualType then
+ icb.add_type_cast(args[i+1], t)
+ end
+ end
return iroutine
end
return iroutine
end
@@
-268,6
+276,7
@@
redef class MMSignature
end
iroutine.closure_decls = clos
end
end
iroutine.closure_decls = clos
end
+ # TODO: add automatic test for virtual types?
return iroutine
end
end
return iroutine
end
end