daikon.simplify
Class CmdCheck

Object
  CmdCheck

All Implemented Interfaces:

Cmd

public class CmdCheck
extends Object
implements Cmd

A Check command takes a given proposition and asks the Session to prove it. The apply method returns when a result is available; the valid field contains the result.

Field Summary

String	counterexample
static Logger	debug
String	proposition
boolean	unknown
boolean	valid

Constructor Summary

CmdCheck(String proposition)

Method Summary

void	apply(Session s) For documentation, read the class overview.
String	toString()

Methods inherited from class Object

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

Field Detail

debug

public static final Logger debug

proposition

public final String proposition

valid

public boolean valid

unknown

public boolean unknown

counterexample

public String counterexample

Constructor Detail

CmdCheck

public CmdCheck(String proposition)

Method Detail

apply

public void apply(Session s)

For documentation, read the class overview.

Specified by:

apply in interface Cmd

toString

public String toString()

Specified by:

toString in interface Cmd

Overrides:

toString in class Object

Returns:

a string for debugging only.