public class Plot extends Object
Modifier and Type | Field | Description |
---|---|---|
protected static String |
DEFAULT_DIV_NAME |
|
protected static String |
DEFAULT_OUTPUT_FILE |
|
protected static String |
DEFAULT_OUTPUT_FILE_NAME |
|
protected static String |
DEFAULT_OUTPUT_FOLDER |
Constructor | Description |
---|---|
Plot() |
Modifier and Type | Method | Description |
---|---|---|
protected static File |
defaultFile() |
|
protected static File |
randomFile() |
|
protected static String |
randomizedFileName() |
|
static void |
show(String html,
File outputFile) |
Opens the default browser on the given HTML page.
|
static void |
show(Figure figure) |
|
static void |
show(Figure figure,
File outputFile) |
|
static void |
show(Figure figure,
String divName) |
|
static void |
show(Figure figure,
String divName,
File outputFile) |
protected static final String DEFAULT_DIV_NAME
protected static final String DEFAULT_OUTPUT_FILE
protected static final String DEFAULT_OUTPUT_FILE_NAME
protected static final String DEFAULT_OUTPUT_FOLDER
public static void show(String html, File outputFile)
html
- An arbitrary HTML page, it doesn't even need plotsoutputFile
- The file where the page will be writtenpublic static void show(Figure figure)
protected static File defaultFile()
protected static File randomFile()
protected static String randomizedFileName()
Copyright © 2022. All rights reserved.