daikon.inv
Class InvariantInfo

Object
  InvariantInfo

public class InvariantInfo
extends Object

Constructor Summary

InvariantInfo(String ppt, String vars, String className)

Method Summary

String	className()
String	ppt()
List<String>	var_permutations()
String	vars()

Methods inherited from class Object

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

Constructor Detail

InvariantInfo

public InvariantInfo(String ppt,
                     String vars,
                     String className)

Method Detail

ppt

public String ppt()

className

public String className()

vars

public String vars()

var_permutations

public List<String> var_permutations()

Returns:

a list of Strings of all permutations of the vars, or null if vars == null
e.g., if vars is "var1,var2,var3", this method will return ["var1,var2,var3", "var1,var3,var2", "var2,var1,var3"... etc.]