Package daikon.chicory

Class ListInfo

Object

DaikonVariableInfo

ListInfo

All Implemented Interfaces:

Comparable<DaikonVariableInfo>, Iterable<DaikonVariableInfo>

public class ListInfo
extends DaikonVariableInfo

The ListInfo class is a subtype of DaikonVariableInfo used for variable types that implement java.util.List.

Field Summary

Fields inherited from class DaikonVariableInfo

children, class_suffix, class_suffix_relative_name, classClassName, compareInfoString, declShouldPrint, dkconfig_constant_infer, dtraceShouldPrint, dtraceShouldPrintChildren, isArray, isNonNullParamString, isNonNullString, isParamString, ppt_statics, repTypeName, std_visibility, stringClassName, typeName

Constructor Summary

Constructors

Constructor	Description
ListInfo(String theName, Class<? extends List<?>> theType)

Method Summary

Modifier and Type	Method	Description
VarKind	get_var_kind()	Lists are arrays from Daikon's point of view.
Object	getMyValFromParentVal(Object value)	Given a value corresponding to the parent of this, return the value of this.

Methods inherited from class DaikonVariableInfo

addChild, addChildNodes, addClassVars, addDeclVar, addParamDeclVar, addParameters, addPureMethodDecl, array_child, checkForDerivedVariables, checkForListDecl, checkForRuntimeClass, compareTo, declShouldPrint, dTraceShouldPrint, dTraceShouldPrintChildren, get_const_val, get_function_args, get_relative_name, get_var_flags, getCompareString, getDTraceValueString, getName, getRepName, getRepTypeName, getRepTypeNameOnly, getTypeName, getTypeNameOnly, getValueStringOfList, getValueStringOfObjectWithMod, implementsList, isArray, isFieldVisible, isHashcode, isHashcodeArray, isInt, isStatic, iterator, shouldAddRuntimeClass, stdClassName, systemClass, toString, tree_as_list, treeString

Methods inherited from class Object

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

Methods inherited from interface Iterable

forEach, spliterator

Constructor Detail

ListInfo

public ListInfo(String theName,
                Class<? extends List<?>> theType)

Method Detail

getMyValFromParentVal

public Object getMyValFromParentVal(Object value)

Description copied from class: DaikonVariableInfo

Given a value corresponding to the parent of this, return the value of this.

For instance, if the variable a has a field b, then calling getMyValFromParentVal(val_of_a) will return the value of a.b .

Specified by:

getMyValFromParentVal in class DaikonVariableInfo

Parameters:

value - the parent object. Can be null for static fields.

Returns:

the value for this, computed from parentVal

get_var_kind

public VarKind get_var_kind()

Lists are arrays from Daikon's point of view.

Specified by:

get_var_kind in class DaikonVariableInfo