}
}
if (annotations.size() > 0)
{
CodeMetaclass cmc = (CodeMetaclass) annotations.elementAt(0);
PrintWriter output_file = null;
try
{
FileReader input_file = new FileReader(cmc.getFilename());
try
{
BufferedReader bufferedIs = new BufferedReader(input_file);
try
{
if (outputOption == null)
{
// TODO: close writers properly
output_file = new PrintWriter(System.out);
}
else
{
if (!outputOption.hasParameter())
{
throw new RuntimeException(
"Java Contract Suite: ERROR: output option (-o) requires filename (e.g. -oFile.java).");
}
String fon = "";
if (cmc instanceof TypeMetaclass)
{
String p = ((TypeMetaclass) cmc).getPackageName();
fon = outputOption.getOutputFileName(cmc.getFilename(), p);
}
if (!fileList.contains(fon))
{
fileList.addElement(fon);
}