public static class TaskManager.Task
extends java.lang.Object
Constructor and Description |
---|
Task(java.lang.String body,
java.lang.String filename,
long line_number) |
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) |
public Task(java.lang.String body, java.lang.String filename, long line_number) throws java.io.IOException
java.io.IOException
public static java.lang.String short_str(float f)
public java.lang.String toString_short_ascii()
public java.lang.String toString_short_html(double total)
public java.lang.String toString_milestone_html(double total)
public java.lang.String all_vals()