Hi George,
Sorry for the delay in response.
Dermot is out of town at EVT/USENIX Security'07.
I just performed a CVS update on my sandbox and see the same failure.
I am CCing those developers who recently touched the files involved.
Hermann, Julien, Patrice: can all of you current perform a full
build? Who broke the build?
Joe
On 6 Aug, 2007, at 15:19, George Karabotsos wrote:
> FYI, make fails with the following compilation errors:
>
> ESCTools/Escjava/java/escjava/sortedProver/Lifter.java:49:
> escjava.sortedProver.Lifter is not abstract and does not override
> abstract method buildDynLoc
> (escjava.sortedProver.NodeBuilder.SMap ,escjava.sortedProver.NodeBuild
> er.SRef,escjava.sortedProver.NodeBuilder.SRef) in
> escjava.sortedProver.NodeBuilder
> public class Lifter extends EscNodeBuilder
> ^
> ESCTools/Escjava/java/escjava/sortedProver/Lifter.java:1071:
> buildDynLoc
> ( escjava.sortedProver.NodeBuilder.SMap,escjava.sortedProver.NodeBuild
> er.SRef,escjava.sortedProver.NodeBuilder.SRef) in
> escjava.sortedProver.Lifter cannot override buildDynLoc
> (escjava.sortedProver.NodeBuilder.SMap,escjava.sortedProver.NodeBuilde
> r.SRef ,escjava.sortedProver.NodeBuilder.SRef) in
> escjava.sortedProver.NodeBuilder; attempting to use incompatible
> return type
> found : escjava.sortedProver.NodeBuilder.SMap
> required: escjava.sortedProver.NodeBuilder.SRef
> public SMap buildDynLoc(SMap map, SRef obj, SRef field) {throw
> new Die(); }
>
> George
> ----------------------------------------------------------------------
> ---
> This SF.net email is sponsored by: Splunk Inc.
> Still grepping through log files to find problems? Stop.
> Now Search log events and configuration files using AJAX and a
> browser.
> Download your FREE copy of Splunk now >> http://get.splunk.com/
> _______________________________________________
> JMLspecs-ESCJava mailing list
> JMLspecs-ESCJava@...
> https://lists.sourceforge.net/lists/listinfo/jmlspecs-escjava
|