SpinfoFile

Object
- SpinfoFile

```
public class SpinfoFile
extends Object
```
SpinfoFile stores information parsed from a .spinfo file. The constructor parses the file; then clients can make calls to retrieve the parsed information.
This file uses the term "ppt section" and "replace section" to describe what is refered to as a "Program Point Section" and "replacement sections" in the Daikon User Manual, respectively. A "ppt statement" is a single line from a "ppt section".

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`StatementReplacer`	`getReplacer()`	Gets the StatementReplacer for the replace statements in the file parsed.
`SplitterObject[][]`	`getSplitterObjects()`	Gets the SplitterObjects for the file parsed.
`int`	`numSplittterObjects()`	Return the number of splitters (SplitterObject objects) represented by this file.
`static int`	`numSplittterObjects(List<SpinfoFile> spinfoFiles)`	Return the number of splitters (SplitterObject objects) represented by all the files in the list.
`void`	`parseFile(LineNumberReader spinfoFile)`	parseFile sets the member fields statementReplacer and splitterObjects, from the spinfoFile.

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - getReplacer
```
public StatementReplacer getReplacer()
```
    Gets the StatementReplacer for the replace statements in the file parsed.
    
    Returns:
    
    the Replacer for the replace statements in the file parsed
  - getSplitterObjects
```
public SplitterObject[][] getSplitterObjects()
```
    Gets the SplitterObjects for the file parsed. For each Ppt in the spinfo file, one array of SplitterObjects is created. This method returns an array of those arrays.
    
    Returns:
    
    the SplitterObjects for the file parsed
  - numSplittterObjects
```
public int numSplittterObjects()
```
    Return the number of splitters (SplitterObject objects) represented by this file.
  - numSplittterObjects
```
public static int numSplittterObjects(List<SpinfoFile> spinfoFiles)
```
    Return the number of splitters (SplitterObject objects) represented by all the files in the list.
  - parseFile
```
@RequiresNonNull("tempDir")
@EnsuresNonNull({"statementReplacer","splitterObjects"})
public void parseFile(@UnknownInitialization SpinfoFile this,
                      LineNumberReader spinfoFile)
               throws IOException
```
    parseFile sets the member fields statementReplacer and splitterObjects, from the spinfoFile.
    
    Parameters:
    
    spinfoFile - a LineNumberReader for the spinfo file being parsed
    
    Throws:
    
    IOException - if an I/O error occurs