Spark's class analysis

[Christophe Massol <cmassol@sophia.inria.fr>]

Hello,

	Does Spark perform a Class analysis to know the possibles methods to call in 
this exemple : (o.m() )


public class Test{
	C o;

	public Test(String bool){
		if(bool.equals("true")){
			o = new B();
		}
		else{
			o = new A();
		}
		o.m();
	}

	public static void main(String[] argv){
		new Test(argv[0]);
	}

	public Object[] get(){
		return new Object[3];
	}

}
class C {
public void m(){
}
}

class B extends C {
public void m(){
}
}
class A extends C {
public void m(){
}
}
-- 

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