Source

```
public class Source
extends java.lang.Object
```
utility class to access arbitrary source files by line number sources can be files inside of root directories, or can be entries in jars

Fields
Modifier and Type	Field and Description
`protected java.lang.String`	`fname`
`protected java.lang.String[]`	`lines`
`protected gov.nasa.jpf.util.Source.SourceRoot`	`root`

Constructors
Modifier	Constructor and Description
`protected`	`Source(gov.nasa.jpf.util.Source.SourceRoot root, java.lang.String fname)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`java.lang.String`	`getLine(int i)` this is our sole purpose in life - answer line strings line index is 1-based
`int`	`getLineCount()`
`java.lang.String`	`getPath()`
`static Source`	`getSource(java.lang.String relPathName)`
`static void`	`init(Config config)`
`protected void`	`loadLines(java.io.InputStream is)`

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

protected gov.nasa.jpf.util.Source.SourceRoot root

protected Source(gov.nasa.jpf.util.Source.SourceRoot root,
                 java.lang.String fname)

public static void init(Config config)

public static Source getSource(java.lang.String relPathName)

protected void loadLines(java.io.InputStream is)
                  throws java.io.IOException

getLine
```
public java.lang.String getLine(int i)
```
this is our sole purpose in life - answer line strings line index is 1-based

Class Source