daikon.simplify
Class CmdRaw

Object
  CmdRaw

All Implemented Interfaces:

Cmd

public class CmdRaw
extends Object
implements Cmd

A Raw command provides no additional structure, allowing arbitrary commands (as long as they have no ouput) to be sent to the prover. It will not block.

Field Summary

String

cmd

Constructor Summary

CmdRaw(String cmd)

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

cmd

public final String cmd

Constructor Detail

CmdRaw

public CmdRaw(String cmd)

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.