Package org.checkerframework.afu.scenelib.tools

Class IndexFileMerger

java.lang.Object

org.checkerframework.afu.scenelib.tools.IndexFileMerger

public class IndexFileMerger
extends Object

Utility for merging index files, including multiple versions for the same class.

Constructor Summary

Constructors

Constructor	Description
IndexFileMerger()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Details

IndexFileMerger

public IndexFileMerger()

Method Details

main

public static void main(String[] args)