Re: [eclipse-users] Debugging constraints

From: Kish Shen <kisshen_at_...5...>
Date: Thu, 27 Sep 2007 22:55:13 +0100
Hi Malcolm,

I don't think there is any easy way to debug constraints. The delayed 
goals that implements the propagation of the constraints do not 
necessarily map easily to the constraints. You can trace the execution 
of these delayed goals using the tracer, and sometimes you may be able 
to tell what the `source' constraint for it was.
In TkECLiPSe, you can also see in the delayed goals tool which delayed 
goals have been woken, and are awaiting execution (they are shown in 
green). [you may need to load the .ecl source files rather than the 
compiled .eco files to do this tracing  if you need to trace the library 
constraints]

However, this whole process is rather complex, and tracing it at the 
level of which goal is executing is probably too fine grained in many case.

Cheers,

Kish

Malcolm Ryan wrote:
> I'm having trouble debugging a constraint system. It would be really  
> nice to know which constraints are firing in what order, and where  
> they came from. Is there any way to label constraints and display  
> those labels as the constraints fire? That could make things a lot  
> easier to trace. As it stands, the visualisation tools are only  
> telling me half the story. I know how the variables are being  
> constrained, but not why.
>
> Malcolm
>
> --
> "The modern man in revolt has become
>            practically useless for all purposes of revolt.
> By rebelling against everything
>            he has lost his right to rebel against anything."
>                                                     - G.K.Chesterton,  
> Orthodoxy
>
>
>
>
> _______________________________________________
> ECLiPSe-Users mailing list
> ECLiPSe-Users@...2...
> http://www.crosscoreop.com/mailman/options/eclipse-users
>   
Received on Thu Sep 27 2007 - 22:55:34 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST