Package daikon.tools

Class ExtractConsequent

Object

ExtractConsequent

public class ExtractConsequent
extends Object

Extract the consequents of all Implication invariants that are predicated by membership in a cluster, from a .inv file. An example of such an implication would be "(cluster == NUM) ⇒ consequent". The consequent is only true in certain clusters, but is not generally true for all executions of the program point to which the Implication belongs. These resulting implications are written to standard output in the format of a splitter info file.

Field Summary

Fields

Modifier and Type	Field	Description
static Logger	debug

Constructor Summary

Constructors

Constructor	Description
ExtractConsequent()

Method Summary

Modifier and Type	Method	Description
static void	extract_consequent(PptMap ppts)
static void	extract_consequent_maybe(PptTopLevel ppt, PptMap all_ppts)	Extract consequents from a implications at a single program point.
static void	main(String[] args)
static void	mainHelper(String[] args)	This does the work of main(String[]), 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

debug

public static final Logger debug

Constructor Detail

ExtractConsequent

public ExtractConsequent()

Method Detail

main

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

Throws:

FileNotFoundException

IOException

ClassNotFoundException

mainHelper

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

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

Parameters:

args - command-line arguments, like those of main(java.lang.String[])

Throws:

IOException - if there is trouble reading the file

extract_consequent

public static void extract_consequent(PptMap ppts)

extract_consequent_maybe

public static void extract_consequent_maybe(PptTopLevel ppt,
                                            PptMap all_ppts)

Extract consequents from a implications at a single program point. It only searches for top-level program points because Implications are produced only at those points.