[Soot-list] DotGraph.getNode javadoc needs a fix

Eric Bodden eric.bodden at ec-spride.de
Fri Mar 2 07:01:25 EST 2012


Thanks Quentin,

I have fixed this.

By the way, there's a link to a Bugzilla on Soot's webpage.

Cheers,
Eric

On 2 March 2012 11:38, Quentin Sabah <quentin.sabah at inria.fr> wrote:
> Hi all,
>
> I'm currently working with Soot and I may have found a little error in the documentation.
> I could not find any bug-tracker for Soot, so here is my report:
>
> In soot/util/dot/DotGraph.java, the Javadoc specify getNode do returns null when there is no node with the given name:
>
>   * @return the node with the specified name, or <code>null</code>
>   * if there is no such node.
>
> However, when looking at the code, we observe that getNode returns a fresh node when there is no node with the given name:
>
>  public DotGraphNode getNode(String name){
>      DotGraphNode node = nodes.get(name);
>      if (node == null) {
>          node = new DotGraphNode(name);
>          nodes.put(name, node);
>      }
>      return node;
>  }
>
> I think the patch is trivial, change the Javadoc to something like:
>
>   * @return the node with the specified name, adding a new node
>   * to the graph if there is no such node.
>
> Regards.
>
> --
> Quentin Sabah, co-funded Ph.D. student
> Grenoble University
> INRIA-SARDES                   | STMicroelectronics/AST
> Montbonnot, France             | Grenoble, France
> mailto:quentin.sabah at inria.fr  | mailto:quentin.sabah at st.com
> phone: +33 476 61 52 42        | phone: +33 476 58 44 14
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list



-- 
Eric Bodden, Ph.D., http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Principal Investigator in Secure Services at CASED
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt


More information about the Soot-list mailing list