org.jmlspecs.jmlrac
Class Main.JavaParseTask

java.lang.Object
  org.multijava.mjc.Main.Task
      org.multijava.mjc.Main.ParseTask
          org.jmlspecs.jmlrac.Main.JavaParseTask

All Implemented Interfaces:

Comparable, Main.Trees

Enclosing class:

Main

public class Main.JavaParseTask

extends Main.ParseTask

A parser class for the seconding round compilation. We use a modified version of MJC parser (instead of the JML parser) for the second round compilation. This class parses a group of files, given by filenames as strings, and generates a forest of ASTs.

Field Summary

 

Fields inherited from class org.multijava.mjc.Main.ParseTask

files, trees

 

Fields inherited from class org.multijava.mjc.Main.Task

 

Constructor Summary

Main.JavaParseTask(File fileName, Main.ExpectedResult expected)

Main.JavaParseTask(ArrayList infiles)

 

Method Summary
protected  JCompilationUnitType	parseFile(File file)           Parses the given file and returns an AST representing it.

 

Methods inherited from class org.multijava.mjc.Main.ParseTask

execute, trees

 

Methods inherited from class org.multijava.mjc.Main.Task

compareTo, priority, sequenceID, setToMainSequenceID

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

Main.JavaParseTask

public Main.JavaParseTask(ArrayList infiles)

Main.JavaParseTask

public Main.JavaParseTask(File fileName,
                          Main.ExpectedResult expected)

parseFile

protected JCompilationUnitType parseFile(File file)

Parses the given file and returns an AST representing it.

Overrides:

parseFile in class Main.ParseTask

Parameters:

file - the file to be parsed

Returns:

the compilation unit defined by this file

 also
   requires file!=null && file.exists();