dfki.frodo.tools.rdf_schema_grapher.servlet
Class GrapherServlet

java.lang.Object
  |
  +--javax.servlet.GenericServlet
        |
        +--javax.servlet.http.HttpServlet
              |
              +--dfki.frodo.tools.rdf_schema_grapher.servlet.GrapherServlet

public class GrapherServlet
extends javax.servlet.http.HttpServlet

See Also:
RDFSchemaGrapher.Property, DotExecutor.Property, Serialized Form

Inner Class Summary
static class GrapherServlet.Test
           
 
Field Summary
static java.lang.String CACHE_SIZE
          size of the picture cache
static java.lang.String DOT_DIR
          dir to store the generated dot files
static java.lang.String INFO_DIR
          dir to store additional info of the generation tasks
static java.lang.String PICTURE_DIR
          dir to store the generated pics
static java.lang.String PICTURE_URL
          URL to access the generated pics through a HTTP server
static java.lang.String RDFS_DIR
          dir to store rdfs files
static java.lang.String RDFS_URL
          URL of the rdfs file to process
 
Constructor Summary
GrapherServlet()
           
 
Method Summary
 void doGet(javax.servlet.http.HttpServletRequest request, javax.servlet.http.HttpServletResponse response)
           
 void doPost(javax.servlet.http.HttpServletRequest request, javax.servlet.http.HttpServletResponse response)
           
 void init(javax.servlet.ServletConfig servletConfig)
           
 void initFromSystemProperties()
           
 void sendErrorMsg(javax.servlet.http.HttpServletResponse response, java.lang.String errorMsg)
           
 
Methods inherited from class javax.servlet.http.HttpServlet
doDelete, doOptions, doPut, doTrace, getLastModified, service, service
 
Methods inherited from class javax.servlet.GenericServlet
destroy, getInitParameter, getInitParameterNames, getServletConfig, getServletContext, getServletInfo, log
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

PICTURE_DIR

public static final java.lang.String PICTURE_DIR
dir to store the generated pics

RDFS_DIR

public static final java.lang.String RDFS_DIR
dir to store rdfs files

DOT_DIR

public static final java.lang.String DOT_DIR
dir to store the generated dot files

CACHE_SIZE

public static final java.lang.String CACHE_SIZE
size of the picture cache

PICTURE_URL

public static final java.lang.String PICTURE_URL
URL to access the generated pics through a HTTP server

INFO_DIR

public static final java.lang.String INFO_DIR
dir to store additional info of the generation tasks

RDFS_URL

public static final java.lang.String RDFS_URL
URL of the rdfs file to process
Constructor Detail

GrapherServlet

public GrapherServlet()
Method Detail

init

public void init(javax.servlet.ServletConfig servletConfig)
Overrides:
init in class javax.servlet.GenericServlet

initFromSystemProperties

public void initFromSystemProperties()

doGet

public void doGet(javax.servlet.http.HttpServletRequest request,
                  javax.servlet.http.HttpServletResponse response)
Overrides:
doGet in class javax.servlet.http.HttpServlet

doPost

public void doPost(javax.servlet.http.HttpServletRequest request,
                   javax.servlet.http.HttpServletResponse response)
Overrides:
doPost in class javax.servlet.http.HttpServlet

sendErrorMsg

public void sendErrorMsg(javax.servlet.http.HttpServletResponse response,
                         java.lang.String errorMsg)