com.articulate.sigma

Class Editor

java.lang.Object

com.articulate.sigma.Editor

public class Editor
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Editor()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	createFormPage(KB kb, java.lang.String term, Formula f) Create an HTML form for editing facts about a term.
static void	main(java.lang.String[] args) A test method.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Editor

public Editor()

Method Detail

createFormPage

public static java.lang.String createFormPage(KB kb,
                                              java.lang.String term,
                                              Formula f)

Create an HTML form for editing facts about a term.

main

public static void main(java.lang.String[] args)

A test method.