daikon
Class Ppt

Object
  Ppt

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

PptSlice, PptTopLevel

public abstract class Ppt
extends Object
implements Serializable

See Also:

Serialized Form

Nested Class Summary

static class

Ppt.NameComparator

Field Summary

protected static List<Invariant>	emptyInvList
VarInfo[]	var_infos

Constructor Summary

protected

Ppt()

Method Summary

boolean	containsVar(VarInfo vi)
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()

Method Detail

name

public abstract String name()

trimToSize

public void trimToSize()

Trim the collections used in this Ppt.

varNames

public static String varNames(VarInfo[] infos)

Returns a string rep of the specified variable names

varNames

public String varNames()

Return a string representation of the variable names.

indexOf

public int indexOf(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

public VarInfo find_var_by_name(String varname)

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

containsVar

public boolean containsVar(VarInfo vi)