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 == ) ==> 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

static Logger

debug

Constructor Summary

ExtractConsequent()

Method Summary

static void	extract_consequent_maybe(PptTopLevel ppt, PptMap all_ppts) Extract consequents from a implications at a single program point.
static void	extract_consequent(PptMap ppts)
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

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 FileNotFoundException,
                              IOException,
                              ClassNotFoundException

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:

FileNotFoundException

IOException

ClassNotFoundException

See Also:

main(String[]), Daikon.TerminationMessage

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.