Package daikon

Class Ppt

Object

Ppt

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

PptSlice, PptTopLevel

@UsesObjectEquals
public abstract class Ppt
extends Object
implements Serializable

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Ppt.NameComparator

Field Summary

Fields

Modifier and Type	Field	Description
protected static List<Invariant>	emptyInvList
VarInfo[]	var_infos

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Ppt(VarInfo[] var_infos)

Method Summary

Modifier and Type	Method	Description
boolean	containsVar(VarInfo vi)
@Nullable VarInfo	find_var_by_name(String varname)	Returns the VarInfo with the specified name.
int	indexOf(String varname)	Returns the varinfo_index of the variable whose name is varname.
abstract String	name()
void	trimToSize()	Trim the collections used in this Ppt.
String	varNames()	Return a string representation of the variable names.
static String	varNames(VarInfo[] infos)	Returns a string rep of the specified variable names.

Methods inherited from class Object

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

Field Detail

var_infos

public VarInfo[] var_infos

emptyInvList

protected static final List<Invariant> emptyInvList

Constructor Detail

Ppt

protected Ppt(VarInfo[] var_infos)

Method Detail

name

public abstract String name(@GuardSatisfied @UnknownInitialization(PptTopLevel.class) Ppt this)

trimToSize

public void trimToSize()

Trim the collections used in this Ppt.

varNames

@SideEffectFree
public static String varNames(VarInfo[] infos)

Returns a string rep of the specified variable names.

varNames

@SideEffectFree
public String varNames(@GuardSatisfied @UnknownInitialization(Ppt.class) Ppt this)

Return a string representation of the variable names.

indexOf

@Pure
public int indexOf(@UnknownInitialization(Ppt.class) Ppt this,
                   String varname)

Returns the varinfo_index of the variable whose name is varname. Returns -1 if there is no such variable.

find_var_by_name

@Pure
public @Nullable VarInfo find_var_by_name(@UnknownInitialization(Ppt.class) Ppt this,
                                          String varname)

Returns the VarInfo with the specified name. Null if the name is not found.

containsVar

public boolean containsVar(VarInfo vi)