On 8 sept, 16:35, Ricky Clarkson <ricky.clark...@gmail.com> wrote: > > The type is "some class with a + method". That really is all that matters. > > That's true when determining that the code will compile, but not for > determining its meaning. >
Sorry, but are you claiming to have found a solution to a program that can read another porogram source code and prove it is doing exactly what it has been specified to do? -- You received this message because you are subscribed to the Google Groups "The Java Posse" group. To post to this group, send email to javapo...@googlegroups.com. To unsubscribe from this group, send email to javaposse+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/javaposse?hl=en.