daikon.chicory
Class DeclReader.DeclPpt

Object
  DeclReader.DeclPpt

Enclosing class:

DeclReader

public static class DeclReader.DeclPpt
extends Object

Information about the program point that is contained in the decl file. This consists of the ppt name and a list of the declared variables

Field Summary

String	name
HashMap<String,DeclReader.DeclVarInfo>	vars

Constructor Summary

DeclReader.DeclPpt(String name)

Method Summary

void	add_var_data(List<Object> var_data_list) Adds a record of data for this ppt.
DeclReader.DeclVarInfo	find_var(String var_name) Returns the DeclVarInfo named var_name or null if it doesn't exist
List<DeclReader.DeclVarInfo>	get_all_vars() Returns the list of variables in their standard order
String	get_name() Returns the ppt name
String	get_short_name() Returns the name without the :::EXIT, :::ENTER, etc
List<List<Object>>	get_var_data()
DeclReader.DeclVarInfo	read_var(EntryReader decl_file) Read a single variable declaration from decl_file.
String	toString()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

name

public String name

vars

public HashMap<String,DeclReader.DeclVarInfo> vars

Constructor Detail

DeclReader.DeclPpt

public DeclReader.DeclPpt(String name)

Method Detail

read_var

public DeclReader.DeclVarInfo read_var(EntryReader decl_file)
                                throws IOException

Read a single variable declaration from decl_file. The file must be positioned immediately before the variable name

Throws:

IOException

add_var_data

public void add_var_data(List<Object> var_data_list)

Adds a record of data for this ppt. The data must have one element for each variable in the ppt and be ordered in the same way

get_var_data

public List<List<Object>> get_var_data()

find_var

public DeclReader.DeclVarInfo find_var(String var_name)

Returns the DeclVarInfo named var_name or null if it doesn't exist

get_name

public String get_name()

Returns the ppt name

get_short_name

public String get_short_name()

Returns the name without the :::EXIT, :::ENTER, etc

toString

public String toString()

Overrides:

toString in class Object

get_all_vars

public List<DeclReader.DeclVarInfo> get_all_vars()

Returns the list of variables in their standard order