jack.plugin
Class Generator

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

All Implemented Interfaces:

org.eclipse.jface.operation.IRunnableWithProgress

Direct Known Subclasses:

LoadAndLink, PoGenerator

public abstract class Generator

extends RunnableWithError

implements org.eclipse.jface.operation.IRunnableWithProgress

This class loads and links a JML file.

Author:

A. Requet, L. Burdy

Field Summary

static java.lang.String	ECLIPSE_RESOURCE_KEY The key that is used for storing the eclipse resource corresponding to the jml file.
static java.lang.String	PROBLEM_MARKER_TYPE The type of markers that are used by Jack.

Constructor Summary

Generator(org.eclipse.jdt.core.ICompilationUnit c, java.lang.String task)

Generator(java.util.Iterator compilation_units)
Create a new Generator allowing to load and link given compilation units.

Method Summary

boolean	loadDefaultClasses() Loads the default classes.
void	run(org.eclipse.core.runtime.IProgressMonitor monitor) Loads, links and type checks the given compilation units then call the coreRun method.

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

Field Detail

ECLIPSE_RESOURCE_KEY

public static final java.lang.String ECLIPSE_RESOURCE_KEY

The key that is used for storing the eclipse resource corresponding to the jml file.

See Also:

Constant Field Values

PROBLEM_MARKER_TYPE

public static final java.lang.String PROBLEM_MARKER_TYPE

The type of markers that are used by Jack.

See Also:

Constant Field Values

Constructor Detail

Generator

public Generator(java.util.Iterator compilation_units)

Create a new Generator allowing to load and link given compilation units.

Parameters:

compilation_units - the compilations units that have to loaded and linked.

Generator

public Generator(org.eclipse.jdt.core.ICompilationUnit c,
                 java.lang.String task)

Method Detail

loadDefaultClasses

public boolean loadDefaultClasses()

Loads the default classes.

Returns:

true in case of success, false otherwise.

run

public void run(org.eclipse.core.runtime.IProgressMonitor monitor)

Loads, links and type checks the given compilation units then call the coreRun method.

Specified by:

run in interface org.eclipse.jface.operation.IRunnableWithProgress