daikon.simplify
Class CmdUndoAssume

Object
  CmdUndoAssume

All Implemented Interfaces:

Cmd

public class CmdUndoAssume
extends Object
implements Cmd

An UndoAssume command removes an assumption from the assumption stack of the given session. The command will not block.

Field Summary

static CmdUndoAssume

single

Constructor Summary

CmdUndoAssume()

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

single

public static CmdUndoAssume single

Constructor Detail

CmdUndoAssume

public CmdUndoAssume()

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.