Cmd

All Known Implementing Classes:

CmdAssume, CmdCheck, CmdRaw, CmdUndoAssume
```
public interface Cmd
```

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`apply(@GuardedBy("<self>") Session s)`	Runs the command in the given session.
`String`	`toString()`	Returns a string for debugging only.

- Method Detail
  - apply
```
void apply(@GuardedBy("<self>") Session s)
```
    Runs the command in the given session.
    
    Parameters:
    
    s - a session in which to run this command
  - toString
```
@SideEffectFree
String toString(@GuardSatisfied Cmd this)
```
    Returns a string for debugging only.
    
    Overrides:
    
    toString in class Object
    
    Returns:
    
    a string for debugging only