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 output) to be sent to the prover. It will not block.

Field Summary

Fields
Modifier and Type Field Description

String cmd

Constructor Summary

Constructors
Constructor Description

CmdRaw(String cmd)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`apply(@GuardedBy("<self>") Session s)`	For documentation, read the class overview.
`String`	`toString()`	Returns a string for debugging only.

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(@GuardedBy("<self>") Session s)
```
    For documentation, read the class overview.
    
    Specified by:
    
    apply in interface Cmd
    
    Parameters:
    
    s - a session in which to run this command
  - toString
```
@SideEffectFree
public String toString(@GuardSatisfied CmdRaw this)
```
    Description copied from interface: Cmd
    
    Returns a string for debugging only.
    
    Specified by:
    
    toString in interface Cmd
    
    Overrides:
    
    toString in class Object
    
    Returns:
    
    a string for debugging only