net.sf.arise.gui
Interface Workarea

All Known Implementing Classes:

BaseWorkarea

public interface Workarea

Method Summary

void	addListener(WorkareaListener listener)
void	bind(java.lang.String name, java.lang.Object object, java.lang.Class clazz)
void	clearErrors() Clear error panel
void	clearInput() Clear expressions
void	clearValues() Clear values panel
void	close()
void	eval() Eval buffer
void	evalMarked() Eval marked text
Classpath	getClasspath() Current classpath, as computed at the last reset
java.awt.Component	getComponent() The Swing component which is the workarea
java.io.File	getFile() The file being edited
java.lang.Object	getIt()
java.lang.String	getLanguage() The language
java.lang.String	getName() The workarea name
java.lang.Throwable	getOops()
Workarea	getWorkareaParent()
boolean	hasRead()
boolean	hasWritten()
void	insertInputFrom(java.io.Reader reader)
void	insertInputFrom(java.io.Reader reader, boolean moveCaret)
void	inspectLatest() Inspect marked text
boolean	isRemote()
void	readInputFrom(java.lang.Object source, java.io.Reader reader)
void	readInputFrom(java.lang.Object source, java.io.Reader reader, boolean keepCaret)
void	removeListener(WorkareaListener listener)
void	reset() Reset current classpath
void	reset(Classpath classpath) Reset and change to classpath
void	setCustomFont(java.awt.Font font) Change font
void	setFile(java.io.File file) The file being edited
Workarea	spawn(java.lang.String name)
void	unbind(java.lang.String name)
void	waitForEval(long millis)
void	writeInputTo(java.lang.String name, java.io.Writer writer)

Method Detail

getComponent

public java.awt.Component getComponent()

The Swing component which is the workarea

setCustomFont

public void setCustomFont(java.awt.Font font)

Change font

getName

public java.lang.String getName()

The workarea name

setFile

public void setFile(java.io.File file)

The file being edited

getFile

public java.io.File getFile()

The file being edited

eval

public void eval()

Eval buffer

evalMarked

public void evalMarked()

Eval marked text

inspectLatest

public void inspectLatest()

Inspect marked text

clearInput

public void clearInput()

Clear expressions

clearErrors

public void clearErrors()

Clear error panel

clearValues

public void clearValues()

Clear values panel

isRemote

public boolean isRemote()

readInputFrom

public void readInputFrom(java.lang.Object source,
                          java.io.Reader reader)
                   throws java.io.IOException

java.io.IOException

readInputFrom

public void readInputFrom(java.lang.Object source,
                          java.io.Reader reader,
                          boolean keepCaret)
                   throws java.io.IOException

java.io.IOException

insertInputFrom

public void insertInputFrom(java.io.Reader reader)
                     throws java.io.IOException

java.io.IOException

insertInputFrom

public void insertInputFrom(java.io.Reader reader,
                            boolean moveCaret)
                     throws java.io.IOException

java.io.IOException

writeInputTo

public void writeInputTo(java.lang.String name,
                         java.io.Writer writer)
                  throws java.io.IOException

java.io.IOException

hasRead

public boolean hasRead()

hasWritten

public boolean hasWritten()

addListener

public void addListener(WorkareaListener listener)

removeListener

public void removeListener(WorkareaListener listener)

getWorkareaParent

public Workarea getWorkareaParent()

spawn

public Workarea spawn(java.lang.String name)
               throws java.lang.Exception

java.lang.Exception

getLanguage

public java.lang.String getLanguage()

The language

bind

public void bind(java.lang.String name,
                 java.lang.Object object,
                 java.lang.Class clazz)
          throws java.lang.Exception

java.lang.Exception

unbind

public void unbind(java.lang.String name)
            throws java.lang.Exception

java.lang.Exception

getClasspath

public Classpath getClasspath()

Current classpath, as computed at the last reset

reset

public void reset()
           throws java.lang.Exception

Reset current classpath

java.lang.Exception

reset

public void reset(Classpath classpath)
           throws java.lang.Exception

Reset and change to classpath

java.lang.Exception

waitForEval

public void waitForEval(long millis)
                 throws java.lang.InterruptedException

java.lang.InterruptedException

getIt

public java.lang.Object getIt()

getOops

public java.lang.Throwable getOops()

close

public void close()