daikon.inv
Class FeatureExtractor

Object
  FeatureExtractor

public final class FeatureExtractor
extends Object

An invariant feature extractor. This class creates a labeling of invariants. That is, it extracts features from invariants and then classifies the invariants as "good" or a "bad" based on which of the two input files the invariant came from. The output goes to file in one of the following formats: SVM-Light, SVMfu, or C5 uses.

Nested Class Summary

static class	FeatureExtractor.ClassifyInvariants A tool for classifying SVMfu and C5 files.
static class	FeatureExtractor.CombineFiles A tool for combining and normalizing multiple SVMfu and C5 files.

Field Summary

static HashSet<String>	BANNED_METHODS
static String	CLASSES
static int	NUM_VARS
static int	oneMoreOrderThanLargestFeature
static HashSet<Class>	TYPES

Method Summary

static void	main(String[] args)
static void	mainHelper(String[] args) This does the work of main, but it never calls System.exit, so it is appropriate to be called progrmmatically.

Methods inherited from class Object

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

Field Detail

oneMoreOrderThanLargestFeature

public static int oneMoreOrderThanLargestFeature

TYPES

public static HashSet<Class> TYPES

BANNED_METHODS

public static HashSet<String> BANNED_METHODS

CLASSES

public static String CLASSES

NUM_VARS

public static int NUM_VARS

Method Detail

main

public static void main(String[] args)
                 throws IOException,
                        ClassNotFoundException,
                        IllegalAccessException,
                        InvocationTargetException

Throws:

IOException

ClassNotFoundException

IllegalAccessException

InvocationTargetException

mainHelper

public static void mainHelper(String[] args)
                       throws IOException,
                              ClassNotFoundException,
                              IllegalAccessException,
                              InvocationTargetException

This does the work of main, but it never calls System.exit, so it is appropriate to be called progrmmatically. Termination of the program with a message to the user is indicated by throwing Daikon.TerminationMessage.

Throws:

IOException

ClassNotFoundException

IllegalAccessException

InvocationTargetException

See Also:

main(String[]), Daikon.TerminationMessage