org.jmlspecs.checker
Class Main.JmlParseTask

java.lang.Object
  org.multijava.mjc.Main.Task
      org.multijava.mjc.Main.ParseTask
          org.jmlspecs.checker.Main.JmlParseTask

All Implemented Interfaces:

Comparable, Main.Trees

Enclosing class:

Main

public class Main.JmlParseTask

extends Main.ParseTask

This class parses a group of files, given by filenames as strings, and generates a forest of ASTs.

Field Summary
private  boolean	isRefinedCUnit

 

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

files, trees

 

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

 

Constructor Summary

Main.JmlParseTask(File fileName, boolean isRefinedCUnit, Main.ExpectedResult expected)           Constructs a new parse task for a refined file.

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

Main.JmlParseTask(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

 

Field Detail

isRefinedCUnit

private boolean isRefinedCUnit

Main.JmlParseTask

public Main.JmlParseTask(ArrayList infiles)

Main.JmlParseTask

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

Main.JmlParseTask

public Main.JmlParseTask(File fileName,
                         boolean isRefinedCUnit,
                         Main.ExpectedResult expected)

Constructs a new parse task for a refined file. The boolean flag indicates that this is a refined compilation unit. That information is passed to the parser and is used to control how the types defined in the file are registered in the environment.

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, or null if there was an error reading the file

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