Error: Macro BackLinksMenu(None) failed

compressed data is corrupt

Error: Macro TicketQuery(summary=FRAME_Z_ORDER_R0, format=table, col=summary|owner|status|type|component|priority|effort|importance, rows=description|analysis_owners|analysis_reviewers|analysis_score|design_owners|design_reviewers|design_score|implementation_owners|implementation_reviewers|implementation_score|test_owners|test_reviewers|test_score|) failed

current transaction is aborted, commands ignored until end of transaction block

Analysis

Overview

Z-order of frames is an ordering of overlapping frames, so that one frame can hide part or all of another. When two frames overlap, their z-order determines which one appears on top of the other. The frame with higher z-order appears on the top. When a frame is created its z-order is the highest among the frames in the page. Two frames can't have the same z-order. When focus is requested to a frame, the frame appears on the top of the others but its z-order in the model doesn't change. When the same frame lose focus, it appears on the appropriate layer. The way to change the z-order is with the appropriate halo buttons (at least this is for now). If a frame has z-order equal to 4 and its z-order is increased to 5, then the frame which had z-order 5 before that will become with z-order 4.

Task requirements

• The frame should have z-order and to be displayed according to it.
• The frame should provide halo buttons to increase and decrease the z-order of the frame.
• The z-order of the frame should follow the concept given in the overview of the task.

Task result

• The result of the task should be source code.

Implementation idea

• Create z-order property in the model of the frame where the frame will keep its z-order.
• Use JLayerPane and the setLayer() method to visualize the different z-orders of the frames.

Related

How to demo

• Create two frames.
• Assert that the second frame has higher z-order.
• Increase the z-order of the first created frame.
• Assert that the first created frame has higher z-order than the second one.
• Decrease the z-order of the first created frame.
• Assert that the second created frame has higher z-order than the first one.
• Create some more frame.
• Assert that the given rules are valid for more that two frames.

Design

• The z-order of a frame is its index in the frames list. This guarantees:
  • Each new frame automatically gets higher z-order than all other.
  • No two frames have the same z-order.

• In class org.sophie2.base.model.book.Frame:
  • auto property zOrder of type Integer
    • Integer compute() method: gets the index of current frame in the list of frames in current page
    • void doSet(Integer value) method: moves current frame to the position with the given index.\

• In class org.sophie2.main.view.FrameView
  • Prop<Integer> visibleLayer() with internal class which extends AutoProperty<Integer>
    • compute() method: if the frame is the currently selected frame, give it maximum value

• In class org.sophie2.main.view.logic.FrameLogic:
  • public void userZOrderDown(final FrameView frameView)
    • creates new AutoChange which decreases the property Frame.zOrder
  • userZOrderUp - analogically

• class org.sophie2.main.view.halos.menus.frame.ZOrderDownButton extends ClickHaloButton
  • set icon "zOrderDown.png"
  • void userClick() calls userZOrderDown in FrameLogic
• class ZOrderUpButton - analogically

• In class org.sophie2.main.view.halos.menus.frame.FrameHaloMenu's constructor
  • add ZOrderDownButton and ZOrderUpButton

• In class org.sophie2.main.view.PageView
  • Prop<JDesktopPane> swingPanel(), which is a ResourceProperty
    • ...

Implementation

^{(Implementation results should be described and linked here (from the wiki or the repository))}

Testing

Comments

^{(Write comments for this or later revisions here.)}