edu.mit.sketch.language.circuitTutor.reasoner
Interface AnalysisController

All Known Implementing Classes:

CircuitAnalysisController

public interface AnalysisController

Author:

changshe

Method Summary

boolean	checkInput()
java.lang.String	explainBadInput()
CircuitComponent	getCircuit()
java.util.List<CircuitComponent>	getComponentDefs()
InferenceDisplayController	getDisplayController()
java.lang.String	getMode()
ShapeCollection	getShapes()
void	reset()
void	run()
void	setDisplayController(InferenceDisplayController ctl)
void	setMode(java.lang.String newMode)
void	setShapes(ShapeCollection shapes)
void	setVisibleRelations(java.util.List<Relation> rels)

Method Detail

run

void run()

reset

void reset()

getMode

java.lang.String getMode()

setMode

void setMode(java.lang.String newMode)

checkInput

boolean checkInput()

Returns:

whether the input to the reasoner is complete for the mode as specified by getMode()

explainBadInput

java.lang.String explainBadInput()

Returns:

String explaining to the user what input is missing or incorrectly formed

getCircuit

CircuitComponent getCircuit()

setVisibleRelations

void setVisibleRelations(java.util.List<Relation> rels)

getDisplayController

InferenceDisplayController getDisplayController()

Returns:

a display control interface that contains methods including pause/continue, fwd/back, set/get speed

setDisplayController

void setDisplayController(InferenceDisplayController ctl)

getShapes

ShapeCollection getShapes()

setShapes

void setShapes(ShapeCollection shapes)

getComponentDefs

java.util.List<CircuitComponent> getComponentDefs()

Returns:

the component defs