KeY \ JML and Generics
7 views
Skip to first unread message
pat2...@gmail.com
Nov 26, 2008, 1:38:00 PM11/26/08
to utexas-cs378-fall2008
Has anyone had any luck getting KeY or JML to work with Generics? Or
maybe just ArrayLists in general?
Every time I try to run KeY or ESC it errors when it gets to the < of
the <Generic> saying it expects an identifier.
maybe just ArrayLists in general?
Every time I try to run KeY or ESC it errors when it gets to the < of
the <Generic> saying it expects an identifier.
shaun...@gmail.com
Dec 12, 2008, 1:30:19 PM12/12/08
to utexas-cs378-fall2008
No luck with Generics... had to remove them and convert to casting
scenarios on all methods for JML and KeY to work.
Question for everyone out there. Anyone find a solution to using
Enums with JML and KeY?
Much appreciated,
Shaun
(512) 663-8402
shaun...@gmail.com
On Nov 26, 12:38 pm, "pat2st...@gmail.com" <pat2st...@gmail.com>
wrote:
scenarios on all methods for JML and KeY to work.
Question for everyone out there. Anyone find a solution to using
Enums with JML and KeY?
Much appreciated,
Shaun
(512) 663-8402
shaun...@gmail.com
On Nov 26, 12:38 pm, "pat2st...@gmail.com" <pat2st...@gmail.com>
wrote:
Reply all
Reply to author
Forward
0 new messages