Hi Kurosch,

Sorry for the late reply... (answers inline)

On Sun, Oct 27, 2013 at 11:41 AM, Kurosch Petzold <kurosch@zedat.fu-berlin.de> wrote:
Hello Everybody,

I want implement some features into PyDev and would like to know whether
there is some documentation for development.

As for documentation, I think you probably found: http://pydev.org/developers.html (which gives details on getting the code and tips on running it locally).

Features I want to add are:
 # hoare calculus plugin for code verification,

Well, I'm not sure what exactly you'd be verifying here, but as a reference you can probably use the visitor pattern to visit the files -- you should probably create a subclass of org.python.pydev.builder.PyDevBuilderVisitor (you can go to that class and press F4 in JDT to see those).
 # some nice variable visualization for teaching purposes,

Well, you probably need to give more details on what's the visualization here in order to help you better...
 # some profiling of the code,

There was a patch for a profiler once (http://sourceforge.net/p/pydev/bugs/635/) but it didn't get integrated (needs some work). It may be something you can take a look at... (the patch is at that link).
 # a mouse hover over functionality to show variable values like in the
visual basic editor

That'd be nice (but I'm not sure exactly what'd be needed, so, not sure I can help you well there).
 # and if possible some step back functionality to go a step back in

Actually, that already exists: in the debug view, you can choose run > set next statement (Ctrl+Alt+R) -- mainly, you can select what should be the next statement -- python has some limitations on that (such as not being able to jump anywhere -- it must be a place in the current frame -- and in the same stack -- i.e.: you can't go from an except: block back into the code that generated the exception as that'd be a different block for python), but aside from those, it works pretty well.

I would really appreciate any pointers to anything that can be helpful for
 implementing those features.

Hope that's enough to get you started.

If you need more help, just ask in the list :)





October Webinars: Code for Performance
Free Intel webinars can help you accelerate application performance.
Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from
the latest Intel processors and coprocessors. See abstracts and register >
pydev-code mailing list