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.
|Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public static final Logger debug
public static void main(String args)
public 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.
Termination of the program with a message to the user is indicated by
- See Also:
public static void extract_consequent(PptMap ppts)
public static void extract_consequent_maybe(PptTopLevel ppt,
- 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.