daikon.chicory
Class DeclReader.DeclVarInfo

Object
  DeclReader.DeclVarInfo

Enclosing class:

DeclReader

public static class DeclReader.DeclVarInfo
extends Object

Information about variables within a program point

Field Summary

String	comparability
int	index
String	name
String	rep_type
String	type

Constructor Summary

DeclReader.DeclVarInfo(String name, String type, String rep_type, String comparability, int index)

Method Summary

String	get_basic_comparability()
String	get_comparability() Returns the comparability string from the decl file
String	get_name() Returns the variable's name
String	get_rep_type() Returns the representation type of the variable as specified in the decl file.
String	get_type_name() Returns the type name.
String	get_type() Returns the variable's declared type as specified in the decl file b.
boolean	is_double()
boolean	is_int()
boolean	is_string_array()
boolean	is_string()
Object	read_data(EntryReader reader) Reads a single value for this variable and returns it.
void	set_comparability(String comparability)
String	toString()

Methods inherited from class Object

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

Field Detail

name

public String name

type

public String type

rep_type

public String rep_type

comparability

public String comparability

index

public int index

Constructor Detail

DeclReader.DeclVarInfo

public DeclReader.DeclVarInfo(String name,
                              String type,
                              String rep_type,
                              String comparability,
                              int index)

Method Detail

get_name

public String get_name()

Returns the variable's name

get_type

public String get_type()

Returns the variable's declared type as specified in the decl file b.

get_type_name

public String get_type_name()

Returns the type name. get_type() returns the entire entry including auxiliary information.

get_rep_type

public String get_rep_type()

Returns the representation type of the variable as specified in the decl file. The static value (if any) is discarded.

is_double

public boolean is_double()

is_string

public boolean is_string()

is_string_array

public boolean is_string_array()

is_int

public boolean is_int()

get_comparability

public String get_comparability()

Returns the comparability string from the decl file

get_basic_comparability

public String get_basic_comparability()

set_comparability

public void set_comparability(String comparability)

toString

public String toString()

Overrides:

toString in class Object

read_data

public Object read_data(EntryReader reader)
                 throws IOException

Reads a single value for this variable and returns it. The result is null exactly if the value is nonsensical. The return value is interned.

Throws:

IOException