daikon.chicory
Class ChicoryPremain

Object
  ChicoryPremain

public class ChicoryPremain
extends Object

Nested Class Summary

static class

ChicoryPremain.ChicoryLoader Classloader for the BCEL code.

Field Summary

static int	daikon_port
static boolean	debug

Constructor Summary

ChicoryPremain()

Method Summary

static Set<String>	getPureMethods() Return an unmodifiable Set of the pure methods
static boolean	isMethodPure(Member member) Checks if member is one of the pure methods found in a purity analysis or supplied from a *.pure file.
static void	premain(String agentArgs, Instrumentation inst) This method is the entry point of the java agent.
static boolean	shouldDoPurity() Return true iff Chicory has run a purity analysis or read a *.pure file

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

daikon_port

public static int daikon_port

debug

public static boolean debug

Constructor Detail

ChicoryPremain

public ChicoryPremain()

Method Detail

premain

public static void premain(String agentArgs,
                           Instrumentation inst)
                    throws IOException

This method is the entry point of the java agent. Its main purpose is to set up the transformer so that when classes from the target app are loaded, they are first transformed. This method also sets up some other initialization tasks: it connects to Daikon over a port if necessary, or reads in a purity analysis.

Throws:

IOException

shouldDoPurity

public static boolean shouldDoPurity()

Return true iff Chicory has run a purity analysis or read a *.pure file

isMethodPure

public static boolean isMethodPure(Member member)

Checks if member is one of the pure methods found in a purity analysis or supplied from a *.pure file.

Returns:

true iff member is a pure method

getPureMethods

public static Set<String> getPureMethods()

Return an unmodifiable Set of the pure methods