anvil
Class Tool

java.lang.Object
  |
  +--anvil.Tool

public class Tool
extends java.lang.Object

Contains static helper functions that do not depend in any way on other Anvil components.


Method Summary
static java.lang.String arrayToString(java.lang.String[] st)
           
static java.io.File cutExtension(java.io.File f)
          Returns file without extension but with full path.
static java.io.File ensureExtension(java.io.File file, java.lang.String ext)
          Makes sure that file end with certain extension.
static java.lang.String getExtension(java.io.File f)
          Extracts and returns extension from filename.
static java.lang.String getTimeString(javax.media.Time tt)
          Returns a string for the time object in the form "hh:mm:ss".
static java.util.List intersect(java.util.List l1, java.util.List l2)
          Returns intersection of two lists.
static java.util.List parseCommaList(java.lang.String st)
           
static java.lang.String toXml(java.lang.String s)
          Translates special characters to XML form.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

parseCommaList

public static java.util.List parseCommaList(java.lang.String st)

arrayToString

public static java.lang.String arrayToString(java.lang.String[] st)

intersect

public static java.util.List intersect(java.util.List l1,
                                       java.util.List l2)
Returns intersection of two lists.


getTimeString

public static java.lang.String getTimeString(javax.media.Time tt)
Returns a string for the time object in the form "hh:mm:ss".


ensureExtension

public static java.io.File ensureExtension(java.io.File file,
                                           java.lang.String ext)
Makes sure that file end with certain extension.


toXml

public static java.lang.String toXml(java.lang.String s)
Translates special characters to XML form.


getExtension

public static java.lang.String getExtension(java.io.File f)
Extracts and returns extension from filename.


cutExtension

public static java.io.File cutExtension(java.io.File f)
Returns file without extension but with full path.