Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.grinvin.io.InvariantValuesLoader
public class InvariantValuesLoader
extends java.lang.Object
Constructor Summary | |
|
Method Summary | |
void |
|
public void load(InputStream input) throws IOFormatException
Load the invariant values from the given InputStream
- Parameters:
input
- the InputStream