|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.activemath.author.toc.TOCUtil
public class TOCUtil
| Constructor Summary | |
|---|---|
TOCUtil()
|
|
| Method Summary | |
|---|---|
static String |
getNetscapeURL(File inFile)
extracts a URL from a netscape URL temp-file returns null if there's no URL to be found inside the file |
static String |
getPageTitle(org.jdom.Element page)
returns the title of a page element |
static boolean |
isAMURL(String url)
checks whether the data inside URL
is an activemath dictionary URL from which an mBase ID may be extracted. |
static boolean |
isNetscapeURL(File inFile)
checks if the given argument is a netscape temp-file that contains some URL ( preassumes that such files contain the line "#NetscapeURL" ) |
static void |
print(org.jdom.Element printMe)
prints a jdom Element to stdout |
static String |
readAMurl(String url)
|
static void |
typeFile(File inFile)
prints contents of a textfile to stdout |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public TOCUtil()
| Method Detail |
|---|
public static void print(org.jdom.Element printMe)
public static void typeFile(File inFile)
inFile - the file to read.public static boolean isNetscapeURL(File inFile)
public static String getNetscapeURL(File inFile)
public static boolean isAMURL(String url)
URL
is an activemath dictionary URL from which an mBase ID may be extracted.
public static String getPageTitle(org.jdom.Element page)
public static String readAMurl(String url)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||