Package daikon.chicory

Class DeclReader.DeclVarInfo

Object

DeclVarInfo

Enclosing class:

DeclReader

public static class DeclReader.DeclVarInfo
extends Object

Information about variables within a program point.

Field Summary

Fields

Modifier and Type	Field	Description
String	comparability
int	index
String	name
String	rep_type
String	type

Constructor Summary

Constructors

Constructor	Description
DeclVarInfo(String name, String type, String rep_type, String comparability, int index)

Method Summary

Modifier and Type	Method	Description
String	get_comparability()	Returns the comparability value from the decl file.
String	get_name()	Returns the variable's name.
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

DeclVarInfo

public 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.

Returns:

the variable's name

get_comparability

public String get_comparability()

Returns the comparability value from the decl file.

Returns:

the comparability value

toString

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

Overrides:

toString in class Object