jack.plugin.source
Class LoadAndLink

java.lang.Object
  jack.plugin.RunnableWithError
      jack.plugin.Generator
          jack.plugin.source.LoadAndLink

All Implemented Interfaces:

org.eclipse.jface.operation.IRunnableWithProgress

public class LoadAndLink

extends Generator

Action that loads end links a JML file.

Author:

L. Burdy

Field Summary

Fields inherited from class jack.plugin.Generator

ECLIPSE_RESOURCE_KEY, PROBLEM_MARKER_TYPE

Constructor Summary

LoadAndLink(org.eclipse.jdt.core.ICompilationUnit compilation_units)

Methods inherited from class jack.plugin.Generator

loadDefaultClasses, run

Methods inherited from class jack.plugin.RunnableWithError

getErrorDescription, getErrorDetails, hasDetails, hasSucceeded

Methods inherited from class java.lang.Object

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

Constructor Detail

LoadAndLink

public LoadAndLink(org.eclipse.jdt.core.ICompilationUnit compilation_units)