prolog.ui
Class FactDbRenderer

java.lang.Object
  |
  +--prolog.ui.FactDbRenderer

All Implemented Interfaces:

IFactDbListener, IQueryListListener, IStatementMapListener

public class FactDbRenderer

extends java.lang.Object

implements IFactDbListener, IStatementMapListener, IQueryListListener

Field Summary

protected javax.swing.JComponent	container
protected IFactDb	db
protected QueryList	queryList
protected java.awt.Rectangle	rect
protected FactListRenderer	renderer
protected StatementMap	statementMap
protected ISymbolTable	symbolTable

Constructor Summary

FactDbRenderer()

Method Summary

javax.swing.JComponent	getContainer()
IFactDb	getDb()
int	getHeight()
java.awt.Rectangle	getPosition()
java.awt.Dimension	getPreferredSize()
QueryList	getQueryList()
StatementMap	getStatementMap()
int	getWidth()
void	onFactDbChanged() invoked when fact db completely changes
void	onFactListAdded(IFactList l) invoked when a fact list was added to the fact db
void	onQueriesChanged() invoked when query list content changed
void	onRelationAdded(IRelation r, int name) invoked when a simple relation was added
void	onStatementsChanged() invoked when content in statementmap changed
void	paint(java.awt.Graphics2D g)
void	repaint()
void	setContainer(javax.swing.JComponent c)
void	setDb(IFactDb db)
void	setPosition(java.awt.Rectangle r)
void	setQueryList(QueryList list)
void	setStatementMap(StatementMap map)
void	setSymbolTable(ISymbolTable t)

Methods inherited from class java.lang.Object

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

Field Detail

renderer

protected FactListRenderer renderer

container

protected javax.swing.JComponent container

db

protected IFactDb db

symbolTable

protected ISymbolTable symbolTable

statementMap

protected StatementMap statementMap

queryList

protected QueryList queryList

rect

protected java.awt.Rectangle rect

Constructor Detail

FactDbRenderer

public FactDbRenderer()

Method Detail

onFactDbChanged

public void onFactDbChanged()

Description copied from interface: IFactDbListener

invoked when fact db completely changes

Specified by:

onFactDbChanged in interface IFactDbListener

onFactListAdded

public void onFactListAdded(IFactList l)

Description copied from interface: IFactDbListener

invoked when a fact list was added to the fact db

Specified by:

onFactListAdded in interface IFactDbListener

onRelationAdded

public void onRelationAdded(IRelation r,
                            int name)

Description copied from interface: IFactDbListener

invoked when a simple relation was added

Specified by:

onRelationAdded in interface IFactDbListener

onStatementsChanged

public void onStatementsChanged()

Description copied from interface: IStatementMapListener

invoked when content in statementmap changed

Specified by:

onStatementsChanged in interface IStatementMapListener

onQueriesChanged

public void onQueriesChanged()

Description copied from interface: IQueryListListener

invoked when query list content changed

Specified by:

onQueriesChanged in interface IQueryListListener

setQueryList

public void setQueryList(QueryList list)

getQueryList

public QueryList getQueryList()

setStatementMap

public void setStatementMap(StatementMap map)

getStatementMap

public StatementMap getStatementMap()

setPosition

public void setPosition(java.awt.Rectangle r)

getPosition

public java.awt.Rectangle getPosition()

setContainer

public void setContainer(javax.swing.JComponent c)

getContainer

public javax.swing.JComponent getContainer()

repaint

public void repaint()

setSymbolTable

public void setSymbolTable(ISymbolTable t)

setDb

public void setDb(IFactDb db)

getDb

public IFactDb getDb()

paint

public void paint(java.awt.Graphics2D g)

getWidth

public int getWidth()

getHeight

public int getHeight()

getPreferredSize

public java.awt.Dimension getPreferredSize()