jpov
Class Icons

java.lang.Object
  jpov.Icons

public class Icons

extends java.lang.Object

Eclipse-specific part of jpov viewer.

Author:

A. Requet

Field Summary

static org.eclipse.swt.graphics.Image	ASSERT Image corresponding to the assert icon.
static org.eclipse.swt.graphics.Image	CHECKED Image corresponding to the checked icon.
static org.eclipse.jface.resource.ImageDescriptor	COMPILED_DESCRIPTOR
static org.eclipse.swt.graphics.Image	ENSURES Image corresponding to the ensures icon.
static org.eclipse.swt.graphics.Image	EXSURES Image corresponding to the exsures icon.
static org.eclipse.jface.resource.ImageDescriptor	FILTER_DESCRIPTOR
static org.eclipse.swt.graphics.Image	INVARIANT Image corresponding to the invariant icon.
static org.eclipse.swt.graphics.Image	LOCALES Image corresponding to the local icon for hypothesis.
static org.eclipse.swt.graphics.Image	LOOP_EXSURES Image corresponding to the loop exsures icon.
static org.eclipse.swt.graphics.Image	LOOP_INVARIANT Image corresponding to the loop invariant icon.
static org.eclipse.jface.resource.ImageDescriptor	PRINTER_DESCRIPTOR
static org.eclipse.swt.graphics.Image	PROVED Image corresponding to the proved icon.
static int	PROVED_IMAGES_COUNT The number of image giving the informations concerning the proof rate of a node
static org.eclipse.swt.graphics.Image[]	provedImages The array containing the images that give informations concerning the proof rate of a node
static org.eclipse.jface.resource.ImageDescriptor	REMOVE_ALL_TASKS_DESCRIPTOR
static org.eclipse.jface.resource.ImageDescriptor	REMOVE_TASK_DESCRIPTOR
static org.eclipse.swt.graphics.Image	REQUIRES Image corresponding to the requires icon.
static org.eclipse.swt.graphics.Image	TASK_FINISHED
static org.eclipse.swt.graphics.Image	TASK_RUNNING
static org.eclipse.swt.graphics.Image	TASK_WAITING
static org.eclipse.swt.graphics.Image	UNPROVED Image corresponding to the unproved icon.

Constructor Summary

Icons()

Method Summary

static void

initImages(java.net.URL images_location) load the images PROVED, UNPROVED, PROVE and SAVE

Methods inherited from class java.lang.Object

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

Field Detail

CHECKED

public static org.eclipse.swt.graphics.Image CHECKED

Image corresponding to the checked icon.

PROVED

public static org.eclipse.swt.graphics.Image PROVED

Image corresponding to the proved icon.

UNPROVED

public static org.eclipse.swt.graphics.Image UNPROVED

Image corresponding to the unproved icon.

INVARIANT

public static org.eclipse.swt.graphics.Image INVARIANT

Image corresponding to the invariant icon.

LOCALES

public static org.eclipse.swt.graphics.Image LOCALES

Image corresponding to the local icon for hypothesis.

ENSURES

public static org.eclipse.swt.graphics.Image ENSURES

Image corresponding to the ensures icon.

EXSURES

public static org.eclipse.swt.graphics.Image EXSURES

Image corresponding to the exsures icon.

ASSERT

public static org.eclipse.swt.graphics.Image ASSERT

Image corresponding to the assert icon.

REQUIRES

public static org.eclipse.swt.graphics.Image REQUIRES

Image corresponding to the requires icon.

LOOP_INVARIANT

public static org.eclipse.swt.graphics.Image LOOP_INVARIANT

Image corresponding to the loop invariant icon.

LOOP_EXSURES

public static org.eclipse.swt.graphics.Image LOOP_EXSURES

Image corresponding to the loop exsures icon.

PROVED_IMAGES_COUNT

public static final int PROVED_IMAGES_COUNT

The number of image giving the informations concerning the proof rate of a node

See Also:

Constant Field Values

provedImages

public static org.eclipse.swt.graphics.Image[] provedImages

The array containing the images that give informations concerning the proof rate of a node

TASK_RUNNING

public static org.eclipse.swt.graphics.Image TASK_RUNNING

TASK_WAITING

public static org.eclipse.swt.graphics.Image TASK_WAITING

TASK_FINISHED

public static org.eclipse.swt.graphics.Image TASK_FINISHED

COMPILED_DESCRIPTOR

public static org.eclipse.jface.resource.ImageDescriptor COMPILED_DESCRIPTOR

FILTER_DESCRIPTOR

public static org.eclipse.jface.resource.ImageDescriptor FILTER_DESCRIPTOR

PRINTER_DESCRIPTOR

public static org.eclipse.jface.resource.ImageDescriptor PRINTER_DESCRIPTOR

REMOVE_TASK_DESCRIPTOR

public static org.eclipse.jface.resource.ImageDescriptor REMOVE_TASK_DESCRIPTOR

REMOVE_ALL_TASKS_DESCRIPTOR

public static org.eclipse.jface.resource.ImageDescriptor REMOVE_ALL_TASKS_DESCRIPTOR

Constructor Detail

Icons

public Icons()

Method Detail

initImages

public static void initImages(java.net.URL images_location)

load the images PROVED, UNPROVED, PROVE and SAVE

Parameters:

images_location - an URL corresponding to the directory where the images are located.