Package daikon.tools

Class InvMatch

Object

InvMatch

public class InvMatch
extends Object

Functions that look for relationships between the invariants at different program points. Relationships between individual invariants are created with InvTranslate. Currently, only invariants of the same class can be related to one another.

Constructor Summary

Constructors

Constructor	Description
InvMatch()

Method Summary

Modifier and Type	Method	Description
static @Nullable List<InvTranslate>	best_translation(List<List<InvTranslate>> valid_translations)
static void	consider_xlate(List<List<InvTranslate>> valid_translations, List<InvTranslate> current_translation, List<List<InvTranslate>> xlate_list, int index)	Recursive routine that tries all possible combination of translations.
static boolean	is_good_translation(List<InvTranslate> translation_list)
static void	main(String[] args)	Main program for testing purposes.

Methods inherited from class Object

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

Constructor Detail

InvMatch

public InvMatch()

Method Detail

main

public static void main(String[] args)
                 throws IOException

Main program for testing purposes.

Parameters:

args - command-line arguments, ignored

Throws:

IOException

consider_xlate

public static void consider_xlate(List<List<InvTranslate>> valid_translations,
                                  List<InvTranslate> current_translation,
                                  List<List<InvTranslate>> xlate_list,
                                  int index)

Recursive routine that tries all possible combination of translations.

Parameters:

valid_translations - list of valid translations (updated)

current_translation - the current translation that is being built

xlate_list - the list of possible translations for each invariant

index - the current index in xlate_list

is_good_translation

@Pure
public static boolean is_good_translation(List<InvTranslate> translation_list)

best_translation

public static @Nullable List<InvTranslate> best_translation(List<List<InvTranslate>> valid_translations)