daikon.split
Class ContextSplitterFactory.PptNameAndSplitters

Object
  ContextSplitterFactory.PptNameAndSplitters

Enclosing class:

ContextSplitterFactory

public static final class ContextSplitterFactory.PptNameAndSplitters
extends Object

Simple record type to store a PptName and Splitter array.

Field Summary

String	ppt_name
Splitter[]	splitters

Constructor Summary

ContextSplitterFactory.PptNameAndSplitters(String ppt_name, Splitter[] splitters)

Method Summary

String

toString()

Methods inherited from class Object

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

Field Detail

ppt_name

public final String ppt_name

splitters

public final Splitter[] splitters

Constructor Detail

ContextSplitterFactory.PptNameAndSplitters

public ContextSplitterFactory.PptNameAndSplitters(String ppt_name,
                                                  Splitter[] splitters)

Method Detail

toString

public String toString()

Overrides:

toString in class Object