Closed andresteingress closed 11 years ago
most of the time, a contract is not part of a class hierarchy. GContracts should have an inline mode that strips out all unnecessary components and provides performance as fast as native Java code without the assert statement overhead.
most of the time, a contract is not part of a class hierarchy. GContracts should have an inline mode that strips out all unnecessary components and provides performance as fast as native Java code without the assert statement overhead.