daikon.simplify
Class CmdAssume

Object
  CmdAssume

All Implemented Interfaces:

Cmd

public class CmdAssume
extends Object
implements Cmd

An Assume command pushes some proposition onto the assumption stack of the session. The proposition is assumed to be true, and is not proved. This command will not block.

Field Summary

String

proposition

Constructor Summary

CmdAssume(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

proposition

public final String proposition

Constructor Detail

CmdAssume

public CmdAssume(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.