org.activemath.author.toc
Class TOCUtil

java.lang.Object
  extended by org.activemath.author.toc.TOCUtil

public class TOCUtil
extends Object


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

TOCUtil

public TOCUtil()
Method Detail

print

public static void print(org.jdom.Element printMe)
prints a jdom Element to stdout


typeFile

public static void typeFile(File inFile)
prints contents of a textfile to stdout

Parameters:
inFile - the file to read.

isNetscapeURL

public 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" )


getNetscapeURL

public 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


isAMURL

public static boolean isAMURL(String url)
checks whether the data inside URL is an activemath dictionary URL from which an mBase ID may be extracted.


getPageTitle

public static String getPageTitle(org.jdom.Element page)
returns the title of a page element


readAMurl

public static String readAMurl(String url)