org.jmlspecs.jmlspec
Class Main.JspParseTask

java.lang.Object
  org.multijava.mjc.Main.Task
      org.multijava.mjc.Main.ParseTask
          org.jmlspecs.jmlspec.Main.JspParseTask

All Implemented Interfaces:

Comparable, Main.Trees

Enclosing class:

Main

public class Main.JspParseTask

extends Main.ParseTask

A task for generating specification skeletons.

Field Summary
protected  ArrayList	additionalFiles

 

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

files, trees

 

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

 

Constructor Summary

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

additionalFiles

protected ArrayList additionalFiles

Main.JspParseTask

public Main.JspParseTask(ArrayList infiles)

parseFile

protected JCompilationUnitType parseFile(File file)

Description copied from class: Main.ParseTask

Parses the given file and returns an AST representing it.

Overrides:

parseFile in class Main.ParseTask