Class InducedRefinementsParser

java.lang.Object

liquidjava.infer.InducedRefinementsParser

public class InducedRefinementsParser
extends Object

Constructor Summary

Constructors

Constructor	Description
InducedRefinementsParser()

Method Summary

Modifier and Type	Method	Description
static List<String>	parseRefinements(String file)

Methods inherited from class java.lang.Object

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

Constructor Details

InducedRefinementsParser

public InducedRefinementsParser()

Method Details

parseRefinements

public static List<String> parseRefinements(String file)
                                     throws IOException

Throws:

IOException