Object
- SplitterObject

All Implemented Interfaces:

Comparable<SplitterObject>
```
public class SplitterObject
extends Object
implements Comparable<SplitterObject>
```
A SplitterObject is the starting point for all the information we have about a splitting condition. It is created immediately when the condition is read from the .spinfo file, and later contains a reference to the compiled "Splitter" object.

Field Summary

Fields
Modifier and Type	Field	Description
`@Nullable String`	`csharpFormat`
`@Nullable String`	`daikonFormat`
`@Nullable String`	`dbcFormat`
`boolean`	`dummyDesired`
`@Nullable String`	`escFormat`
`@Nullable String`	`javaFormat`
`@Nullable String`	`jmlFormat`
`@Nullable String`	`simplifyFormat`

Constructor Summary

Constructors
Constructor Description

SplitterObject(String pptName, String condition, String directory)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`compareTo(SplitterObject o)`
`boolean`	`compiled()`	Returns true if the `.class` file exists for the Splitter represented by this SplitterObject, false otherwise.
`String`	`condition()`	Returns the condition represented by the Splitter.
`@BinaryName String`	`getClassName()`	Returns the className of the Splitter.
`String`	`getDirectory()`
`String`	`getError()`	Get the error message of this SplitterObject.
`String`	`getFullSourcePath()`	Returns the full source of the Splitter.
`int`	`getGUID()`	Return the unique ID of this splitterObject.
`String`	`getPptName()`	Returns the program point represented by this Splitter.
`@Nullable Splitter`	`getSplitter()`	Returns the Splitter that this SplitterObject represents, or null if splitterExists() == false.
`String`	`getTestString()`
`void`	`load()`	Sets the "splitter" field of this object to a newly-instantiated object.
`void`	`setClassName(@BinaryName String className)`	Set the className of this Splitter.
`void`	`setDirectory(String directory)`
`void`	`setError(String errorMessage)`	Set the error message of this this SplitterObject.
`void`	`setGUID(int ID)`	Set the unique ID of this splitterObject.
`void`	`setTestString(String testString)`
`boolean`	`splitterExists()`	Returns true if the Splitter object exists for this SplitterObject, i.e. whether it successfully loaded.
`String`	`toString()`

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

- Field Detail
  - dummyDesired
```
public boolean dummyDesired
```
  - daikonFormat
```
public @Nullable String daikonFormat
```
  - javaFormat
```
public @Nullable String javaFormat
```
  - escFormat
```
public @Nullable String escFormat
```
  - simplifyFormat
```
public @Nullable String simplifyFormat
```
  - jmlFormat
```
public @Nullable String jmlFormat
```
  - dbcFormat
```
public @Nullable String dbcFormat
```
  - csharpFormat
```
public @Nullable String csharpFormat
```
- Constructor Detail
  - SplitterObject
```
public SplitterObject(String pptName,
                      String condition,
                      String directory)
```
    Parameters:
    
    condition - the splitting condition of this splitter
    
    directory - the directory where the source of this splitter is located
- Method Detail
  - load
```
public void load()
```
    Sets the "splitter" field of this object to a newly-instantiated object.
  - splitterExists
```
public boolean splitterExists()
```
    Returns true if the Splitter object exists for this SplitterObject, i.e. whether it successfully loaded.
    
    Returns:
    
    true if the Splitter object exists for this SplitterObject, i.e. whether it successfully loaded
  - compiled
```
public boolean compiled()
```
    Returns true if the .class file exists for the Splitter represented by this SplitterObject, false otherwise.
    
    Returns:
    
    true if the .class file exists for the Splitter represented by this SplitterObject, false otherwise
  - getSplitter
```
public @Nullable Splitter getSplitter()
```
    Returns the Splitter that this SplitterObject represents, or null if splitterExists() == false.
    
    Returns:
    
    the Splitter that this SplitterObject represents, or null if splitterExists() == false
  - setError
```
public void setError(String errorMessage)
```
    Set the error message of this this SplitterObject. This indicates the status of the Splitter.
  - getError
```
public String getError()
```
    Get the error message of this SplitterObject.
  - setGUID
```
public void setGUID(int ID)
```
    Set the unique ID of this splitterObject.
  - getGUID
```
public int getGUID()
```
    Return the unique ID of this splitterObject.
  - getFullSourcePath
```
public String getFullSourcePath()
```
    Returns the full source of the Splitter.
    
    Returns:
    
    the full source of the Splitter
  - getPptName
```
public String getPptName()
```
    Returns the program point represented by this Splitter.
    
    Returns:
    
    the program point represented by this Splitter
  - setClassName
```
public void setClassName(@BinaryName String className)
```
    Set the className of this Splitter.
  - getClassName
```
public @BinaryName String getClassName()
```
    Returns the className of the Splitter.
    
    Returns:
    
    the className of the Splitter
  - setDirectory
```
public void setDirectory(String directory)
```
  - getDirectory
```
public String getDirectory()
```
  - condition
```
public String condition()
```
    Returns the condition represented by the Splitter.
    
    Returns:
    
    the condition represented by the Splitter
  - setTestString
```
public void setTestString(String testString)
```
  - getTestString
```
public String getTestString()
```
  - toString
```
@SideEffectFree
public String toString(@GuardSatisfied SplitterObject this)
```
    Overrides:
    
    toString in class Object
  - compareTo
```
@Pure
public int compareTo(@GuardSatisfied SplitterObject this,
                     SplitterObject o)
```
    Specified by:
    
    compareTo in interface Comparable<SplitterObject>

Class SplitterObject

Field Summary

Constructor Summary

Method Summary

Methods inherited from class Object

Field Detail

dummyDesired

daikonFormat

javaFormat

escFormat

simplifyFormat

jmlFormat

dbcFormat

csharpFormat

Constructor Detail

SplitterObject

Method Detail

load

splitterExists

compiled

getSplitter

setError

getError

setGUID

getGUID

getFullSourcePath

getPptName

setClassName

getClassName

setDirectory

getDirectory

condition

setTestString

getTestString

toString

compareTo