Package daikon.chicory

Class DeclReader.DeclPpt

Object

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

Fields

Modifier and Type	Field	Description
String	name	Program point name.
HashMap<String,DeclReader.DeclVarInfo>	vars	Map from variable name to corresponding DeclVarInfo.

Constructor Summary

Constructors

Constructor	Description
DeclPpt(String name)	DeclPpt constructor.

Method Summary

Modifier and Type	Method	Description
@Nullable DeclReader.DeclVarInfo	find_var(String var_name)	Returns the DeclVarInfo named var_name or null if it doesn't exist.
String	get_name()	Returns the ppt name.
String	get_short_name()	Returns the name without the :::EXIT, :::ENTER, etc.
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

Program point name.

vars

public HashMap<String,DeclReader.DeclVarInfo> vars

Map from variable name to corresponding DeclVarInfo.

Constructor Detail

DeclPpt

public DeclPpt(String name)

DeclPpt constructor.

Parameters:

name - program point 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.

Parameters:

decl_file - where to read data from

Returns:

DeclVarInfo for the program point variable

Throws:

IOException - if there is trouble reading the file

find_var

public @Nullable DeclReader.DeclVarInfo find_var(String var_name)

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

Parameters:

var_name - a variable name

Returns:

DeclVarInfo for the given variable

get_name

public String get_name()

Returns the ppt name.

Returns:

the program point name

get_short_name

public String get_short_name()

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

Returns:

the program point name

toString

@SideEffectFree
public String toString(@GuardSatisfied DeclReader.DeclPpt this)

Overrides:

toString in class Object