DeclReader

Object
- DeclReader

```
public class DeclReader
extends Object
```
Reads declaration files and provides methods to access the information within them. A declaration file consists of a number of program points and the variables for each program point.

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description
`static class`	`DeclReader.DeclPpt`	Information about the program point that is contained in the decl file.
`static class`	`DeclReader.DeclVarInfo`	Information about variables within a program point.

Field Summary

Fields
Modifier and Type Field Description

HashMap<String,DeclReader.DeclPpt> ppts
Map from ppt name to corresponding DeclPpt.

Constructor Summary

Constructors
Constructor Description

DeclReader()
Create a new DeclReader.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`@Nullable DeclReader.DeclPpt`	`find_ppt(String ppt_name)`
`void`	`read(File pathname)`	Read declarations from the specified pathname.
`protected DeclReader.DeclPpt`	`read_decl(EntryReader decl_file)`	Reads a single program point declaration from decl_file.

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

- Field Detail
  - ppts
```
public HashMap<String,DeclReader.DeclPpt> ppts
```
    Map from ppt name to corresponding DeclPpt.
- Constructor Detail
  - DeclReader
```
public DeclReader()
```
    Create a new DeclReader.
- Method Detail
  - read
```
public void read(File pathname)
          throws IOException
```
    Read declarations from the specified pathname.
    
    Parameters:
    
    pathname - a File for reading data
    
    Throws:
    
    IOException - if there is trouble reading the file
  - read_decl
```
protected DeclReader.DeclPpt read_decl(EntryReader decl_file)
                                throws IOException
```
    Reads a single program point declaration from decl_file.
    
    Parameters:
    
    decl_file - EntryReader for reading data
    
    Returns:
    
    the program point declaration
    
    Throws:
    
    IOException - if there is trouble reading the file
  - find_ppt
```
public @Nullable DeclReader.DeclPpt find_ppt(String ppt_name)
```