plume

Class TaskManager.Task

java.lang.Object

plume.TaskManager.Task

Enclosing class:

TaskManager

public static class TaskManager.Task
extends java.lang.Object

Information about a single task.

Constructor Summary

Constructors

Constructor and Description
Task(java.lang.String body, java.lang.String filename, long line_number)

Method Summary

Modifier and Type	Method and Description
java.lang.String	all_vals()
static java.lang.String	short_str(float f)
java.lang.String	toString_milestone_html(double total)
java.lang.String	toString_short_ascii()
java.lang.String	toString_short_html(double total)

Methods inherited from class java.lang.Object

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

Constructor Detail

Task

public Task(java.lang.String body,
            java.lang.String filename,
            long line_number)
     throws java.io.IOException

Throws:

java.io.IOException

Method Detail

short_str

public static java.lang.String short_str(float f)

toString_short_ascii

public java.lang.String toString_short_ascii()

toString_short_html

public java.lang.String toString_short_html(double total)

toString_milestone_html

public java.lang.String toString_milestone_html(double total)

all_vals

public java.lang.String all_vals()