Overview GNA Project webpage Project Home svn log

---

using SmartEiffel 2.3
running check-cluster.sh library (using loadpath.se)

---

Testing library classes.
Checking library/pluggable_factory.e: ****** Warning: Bad comment to end a class.

The source lines involved by the message are the following:

Line 22 column 16 in PLUGGABLE_FACTORY (eiffel-libraries/trunk/eiffel-plugin/library/pluggable_factory.e):
deferred class PLUGGABLE_FACTORY [ITEM->PLUGGABLE]
^
Line 94 column 6 in PLUGGABLE_FACTORY (eiffel-libraries/trunk/eiffel-plugin/library/pluggable_factory.e):
end -- class PLUGGER
^
------
****** Fatal Error: Unknown feature `set_handle' in type PLUGGABLE.
(For this call, the target `Result' is of type PLUGGABLE.)

The source lines involved by the message are the following:

Line 34 columns 5, 12 in PLUGGABLE_FACTORY (eiffel-libraries/trunk/eiffel-plugin/library/pluggable_factory.e):
Result.set_handle(ptr)
^ ^
------
contains errors.
Checking library/pluggable.e: correct.
1 correct-classes correct classes.
1 classes-with-errors classes with errors
error: check-cluster returned 5