Hi Kurosch,
Sorry for the late reply... (answers inline)
On Sun, Oct 27, 2013 at 11:41 AM, Kurosch Petzold <
kuro...@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
> debugging.
>
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 :)
Cheers,
Fabio
>
> Sincere
>
> Kurosch
>
>
>
> ------------------------------------------------------------------------------
> 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 >
> http://pubads.g.doubleclick.net/gampad/clk?id=60135991&iu=/4140/ostg.clktrk
> _______________________________________________
> pydev-code mailing list
> pydev-code@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/pydev-code
>
------------------------------------------------------------------------------
Android is increasing in popularity, but the open development platform that
developers love is also attractive to malware creators. Download this white
paper to learn more about secure code signing practices that can help keep
Android apps secure.
http://pubads.g.doubleclick.net/gampad/clk?id=65839951&iu=/4140/ostg.clktrk
_______________________________________________
pydev-code mailing list
pydev-code@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/pydev-code