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
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 |
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 |
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
GrapherServlet
public GrapherServlet()
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)