interagents
Class userLab

java.lang.Object
  |
  +--interagents.EuLab
        |
        +--interagents.userLab

public class userLab

extends EuLab

A EuLab is click consistent when

• There is no duplication among clickable objects
• There is no overlapping of clickable objects

It is shadow consistent when

• For every non-full object in the lab, the corresponding full object is also in the lab.

It is target consistent when

• For every target object in the lab, a corresponding clickable object is also in the lab.

Field Summary

boolean	alwaysDefaultOperations
fundamentals.mouseVector	clickedAt
fundamentals.EuHint	lastHint
interagents.ObjectWithStatus	orientationBP
interagents.ObjectWithStatus	proximityBP
interagents.UndoStack	rs The stack used for redo operations.
interagents.EuLab	secondary
int	showConstructionLevel
java.lang.StringBuffer	typein
interagents.UndoStack	us The stack used for undo operations.

Fields inherited from class interagents.EuLab

DRAW_ALL, DRAW_MINIMAL, drawTargets, id, info, maxConstructionLevel, objs, pspostamble, pspreamble, segment, traceTree, traceTreeGlobals

Constructor Summary

userLab(interagents.EuLab other, int clearing)

userLab(int clearing)

userLab(int colorScheme, int clearing)

userLab(fundamentals.mouseInfo info, int clearing)

Method Summary

void	addArchive(java.util.Random croupier, librarian.EuLibrarian librarian)
void	addArchive(java.util.Random croupier, librarian.EuLibrarian librarian, boolean bar)
void	addEditOperations()
void	addEditOperations(boolean bar)
void	addMainOperations(java.util.Random croupier)
void	addMenuBar()
void	addValidOperations(java.awt.PopupMenu menu, java.applet.Applet container, java.awt.event.ActionListener listener) Compute a list of operations that can be performed on the current selection.
void	addZoomOperations()
void	addZoomOperations(boolean bar)
boolean	currentlySelected(interagents.ObjectWithStatus ows)
void	deleteAllObjects()
void	deselectAll() Deselect all selected objects.
void	deselectConditional(boolean nonradii)
void	draw(java.awt.Graphics g, int level)
void	draw(java.awt.Graphics g, fundamentals.mouseInfo info, int level) level currently ignored
java.lang.String	getMessage()
operations.Operation	getOperation(java.lang.String classname) Get an operation.
void	illustrateException(exceptions.UserException ue)
void	initFromLea(librarian.EuCorder lea, java.util.Random croupier, int dataline)
boolean	isClean()
boolean	isMessageLab()
interagents.ObjectWithStatus	mouseVicinity(int x, int y)
interagents.ObjectWithStatus	mouseVicinity(int x, int y, fundamentals.mouseInfo info)
operations.Operation	perform(java.lang.String s) Perform the operation with the specified name.
void	register(operations.Operation op) Register a possible operation.
void	rejectUserOperations()
void	removeElement(interagents.ObjectWithStatus ows)
void	select(interagents.finalWrapper sel)
void	selectError(interagents.finalWrapper sel)
void	selectRadius(interagents.ObjectWithStatus ows)
void	showTraceTreeGlobals()
java.lang.String	toPs()
void	trigSelect(interagents.ObjectWithStatus os, fundamentals.EuVector ev)
void	trigTargets()
void	unSelectRadius()
void	updateMessage()
java.util.Vector	validDefaultOperations() Compute a list of operations that can be performed on the current selection and can be used as default operations.

Methods inherited from class interagents.EuLab

add, addPossiblyKnown, clear, collect, collect, confusionDistance, count, dump, elements, get, initTraceTree, isTargetConsistent, lookup, lookup, lookup, lookup, lookupIndex, lookupIndex, lookupObject, lookupSolutionObject, setSegment, takeRandom, takeRandom

Methods inherited from class java.lang.Object

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

Field Detail

clickedAt

public fundamentals.mouseVector clickedAt

us

public interagents.UndoStack us

The stack used for undo operations.

rs

public interagents.UndoStack rs

The stack used for redo operations.

secondary

public interagents.EuLab secondary

showConstructionLevel

public int showConstructionLevel

alwaysDefaultOperations

public boolean alwaysDefaultOperations

lastHint

public fundamentals.EuHint lastHint

proximityBP

public interagents.ObjectWithStatus proximityBP

orientationBP

public interagents.ObjectWithStatus orientationBP

typein

public java.lang.StringBuffer typein

Constructor Detail

userLab

public userLab(fundamentals.mouseInfo info,
               int clearing)

userLab

public userLab(int clearing)

userLab

public userLab(int colorScheme,
               int clearing)

userLab

public userLab(interagents.EuLab other,
               int clearing)

Method Detail

select

public void select(interagents.finalWrapper sel)

selectError

public void selectError(interagents.finalWrapper sel)

illustrateException

public void illustrateException(exceptions.UserException ue)

isClean

public boolean isClean()

draw

public void draw(java.awt.Graphics g,
                 fundamentals.mouseInfo info,
                 int level)
          throws InternalException,
                 DesignException,
                 UserException

Description copied from class: EuLab

level currently ignored

Overrides:

draw in class EuLab

InternalException

DesignException

UserException

draw

public void draw(java.awt.Graphics g,
                 int level)
          throws InternalException,
                 DesignException,
                 UserException

Overrides:

draw in class EuLab

InternalException

DesignException

UserException

toPs

public java.lang.String toPs()
                      throws InternalException,
                             DesignException,
                             UserException

Overrides:

toPs in class EuLab

InternalException

DesignException

UserException

trigTargets

public void trigTargets()

mouseVicinity

public interagents.ObjectWithStatus mouseVicinity(int x,
                                                  int y,
                                                  fundamentals.mouseInfo info)
                                           throws LeaException

LeaException

mouseVicinity

public interagents.ObjectWithStatus mouseVicinity(int x,
                                                  int y)
                                           throws LeaException

LeaException

trigSelect

public void trigSelect(interagents.ObjectWithStatus os,
                       fundamentals.EuVector ev)
                throws LeaException

LeaException

deselectAll

public void deselectAll()

Deselect all selected objects. (NOT INCLUDING RADII)

deselectConditional

public void deselectConditional(boolean nonradii)

updateMessage

public void updateMessage()

register

public void register(operations.Operation op)

Register a possible operation. We'll then be able to check if an operation can be performed when we've selected some objects.

getOperation

public operations.Operation getOperation(java.lang.String classname)

Get an operation. We pass the classname of the operation and return the corresponding register()ed operation or null, if such an operation is not registered.

addValidOperations

public void addValidOperations(java.awt.PopupMenu menu,
                               java.applet.Applet container,
                               java.awt.event.ActionListener listener)

Compute a list of operations that can be performed on the current selection.

validDefaultOperations

public java.util.Vector validDefaultOperations()

Compute a list of operations that can be performed on the current selection and can be used as default operations.

perform

public operations.Operation perform(java.lang.String s)
                             throws LeaException

Perform the operation with the specified name.

LeaException

selectRadius

public void selectRadius(interagents.ObjectWithStatus ows)

unSelectRadius

public void unSelectRadius()

addMainOperations

public void addMainOperations(java.util.Random croupier)

initFromLea

public void initFromLea(librarian.EuCorder lea,
                        java.util.Random croupier,
                        int dataline)
                 throws LeaException

LeaException

addArchive

public void addArchive(java.util.Random croupier,
                       librarian.EuLibrarian librarian)
                throws LeaException

LeaException

addArchive

public void addArchive(java.util.Random croupier,
                       librarian.EuLibrarian librarian,
                       boolean bar)
                throws LeaException

LeaException

addEditOperations

public void addEditOperations()

addEditOperations

public void addEditOperations(boolean bar)

addZoomOperations

public void addZoomOperations()

addZoomOperations

public void addZoomOperations(boolean bar)

addMenuBar

public void addMenuBar()

isMessageLab

public boolean isMessageLab()

deleteAllObjects

public void deleteAllObjects()

getMessage

public java.lang.String getMessage()

currentlySelected

public boolean currentlySelected(interagents.ObjectWithStatus ows)

rejectUserOperations

public void rejectUserOperations()

removeElement

public void removeElement(interagents.ObjectWithStatus ows)

Overrides:

removeElement in class EuLab

showTraceTreeGlobals

public void showTraceTreeGlobals()