edu.williams.cs.ljil.finitizer.ui
Class FSPViewFactory

java.lang.Object
  laser.littlejil.display.DefaultViewFactory
      edu.williams.cs.ljil.finitizer.ui.FSPViewFactory

All Implemented Interfaces:

laser.littlejil.display.ViewFactory

public class FSPViewFactory
extends laser.littlejil.display.DefaultViewFactory

Author:

lerner Creates views of components in a Little-JIL process.

Constructor Summary

FSPViewFactory(edu.williams.cs.ljil.finitizer.ui.DiagramEditingView v)

Method Summary

laser.littlejil.display.AbstractStepView	createAbstractStepView(laser.littlejil.AbstractStep step)
laser.littlejil.display.NullHandlerView	createNullHandlerView(laser.littlejil.AbstractStep step, laser.littlejil.display.StepView source, laser.littlejil.HandlerBinding binding)
laser.littlejil.display.PostItView	createPostItView(laser.littlejil.PostIt note)
laser.littlejil.display.ReferenceView	createReferenceView(laser.littlejil.Reference step)
laser.littlejil.display.StepView	createStepView(laser.littlejil.Step step)
laser.littlejil.display.SubstepConnector	createSubstepConnector(laser.littlejil.display.StepView source, laser.littlejil.display.AbstractStepView target, laser.littlejil.SubstepBinding binding)

Methods inherited from class laser.littlejil.display.DefaultViewFactory

createHandlerConnector, createNullHandlerView, createReactionConnector

Methods inherited from class java.lang.Object

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

Constructor Detail

FSPViewFactory

public FSPViewFactory(edu.williams.cs.ljil.finitizer.ui.DiagramEditingView v)

Method Detail

createReferenceView

public laser.littlejil.display.ReferenceView createReferenceView(laser.littlejil.Reference step)

Specified by:

createReferenceView in interface laser.littlejil.display.ViewFactory

Overrides:

createReferenceView in class laser.littlejil.display.DefaultViewFactory

createStepView

public laser.littlejil.display.StepView createStepView(laser.littlejil.Step step)

Specified by:

createStepView in interface laser.littlejil.display.ViewFactory

Overrides:

createStepView in class laser.littlejil.display.DefaultViewFactory

createNullHandlerView

public laser.littlejil.display.NullHandlerView createNullHandlerView(laser.littlejil.AbstractStep step,
                                                                     laser.littlejil.display.StepView source,
                                                                     laser.littlejil.HandlerBinding binding)

createPostItView

public laser.littlejil.display.PostItView createPostItView(laser.littlejil.PostIt note)

Specified by:

createPostItView in interface laser.littlejil.display.ViewFactory

Overrides:

createPostItView in class laser.littlejil.display.DefaultViewFactory

createSubstepConnector

public laser.littlejil.display.SubstepConnector createSubstepConnector(laser.littlejil.display.StepView source,
                                                                       laser.littlejil.display.AbstractStepView target,
                                                                       laser.littlejil.SubstepBinding binding)

Specified by:

createSubstepConnector in interface laser.littlejil.display.ViewFactory

Overrides:

createSubstepConnector in class laser.littlejil.display.DefaultViewFactory

createAbstractStepView

public laser.littlejil.display.AbstractStepView createAbstractStepView(laser.littlejil.AbstractStep step)

Parameters:

step -

v -

Returns: