protected void setUp() { }
public void testProvider() {
String providerClassName = System.getProperty("ch.ethz.prose.JVMAIProvider");
if(providerClassName==null) throw new Error("system-property 'ch.ethz.prose.JVMAIProvider' not set!");
Provider provider = null;
try{
Class providerClass = Class.forName(providerClassName);
provider = (Provider)providerClass.newInstance();
} catch (Exception e) {
provider = null;
}
assertTrue("provider works with the current virtual machine",provider!=null);
JVMAspectInterface aspectInterface = provider.getAspectInterface();
assertTrue("aspcet-interface is not null",aspectInterface!=null);
}