Main.JspBinaryPrinterTask (JML and MultiJava documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.jmlspec
Class Main.JspBinaryPrinterTask

java.lang.Object
  org.multijava.mjc.Main.Task
      org.jmlspecs.jmlspec.Main.JspBinaryPrinterTask

All Implemented Interfaces:: Comparable

Enclosing class:: Main

public class Main.JspBinaryPrinterTask
extends Main.Task

Field Summary

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

Constructor Summary

Main.JspBinaryPrinterTask()

Method Summary

void execute()

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

public Main.JspBinaryPrinterTask()

Method Detail

execute

public void execute()

Description copied from class: Main.Task

Executes the task represented by this.


 requires !completed;
 ensures completed;