edu.utep.cs.utjml.compiler
Class Main.UtJmlParseTask

java.lang.Object
  org.multijava.mjc.Main.Task
      org.multijava.mjc.Main.ParseTask
          org.jmlspecs.checker.Main.JmlParseTask
              edu.utep.cs.utjml.compiler.Main.UtJmlParseTask

All Implemented Interfaces:

Comparable, Main.Trees

Enclosing class:

Main

public class Main.UtJmlParseTask
extends Main.JmlParseTask

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

Constructor Summary

Main.UtJmlParseTask(ArrayList infiles)

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

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

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.UtJmlParseTask

public Main.UtJmlParseTask(ArrayList infiles)

Main.UtJmlParseTask

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

Main.UtJmlParseTask

public Main.UtJmlParseTask(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.

Method Detail

parseFile

protected JCompilationUnitType parseFile(File file)

Parses the given file and returns an AST representing it.

Overrides:

parseFile in class Main.JmlParseTask

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();