daikon.simplify
Interface Cmd

All Known Implementing Classes:

CmdAssume, CmdCheck, CmdRaw, CmdUndoAssume

public interface Cmd

Method Summary

void	apply(Session s) Runs the command in the given session.
String	toString()

Method Detail

apply

void apply(Session s)

Runs the command in the given session.

toString

String toString()

Overrides:

toString in class Object

Returns:

a string for debugging only.