Re: Pag EdgeReader [Spark]

[Ondrej Lhotak <olhotak@sable.mcgill.ca>]

The edgeQueue is used to keep track of edges that are newly added to the
pointer assignment graph. Not all VarNodes have edges going to or from
them, so they would not appear in the queue.

To get all the VarNodes that have been created so far, use
pag.getVarNodeNumberer().iterator().

Ondrej

On Thu, Jul 24, 2003 at 05:41:08PM +0200, Christophe Massol wrote:
> Hello,
> 
> 	
> 	In Spark, Some VarNode are not contain in the EdgeQueue - the 
> edgeQueue.add(fromNode, DestNode) is however called in the addEdge method of 
> PAG.java -.
> 
> I don't understand why not all the VarNodes are contained in the edgeQueue.
> 
> -- 
> 
> Cordialement,
> 
> 	Massol Christophe
> ---------------------------------------------------------------
> Stagiaire Projet OASIS  
> [049238 7558]
> 
>  Etudiant en maîtrise MIAGE à l'université de Nice
> 
>  Tel: 06 12 53 72 44
>  Adresse: 217 bd de la madeleine
>  06000 Nice
>