Menu
▾
▴
[Scstudio-commits] SF.net SVN: scstudio:[938] trunk/doc/help
|
From: <koc...@us...> - 2010-09-16 12:14:16
|
Revision: 938
http://scstudio.svn.sourceforge.net/scstudio/?rev=938&view=rev
Author: kocianon
Date: 2010-09-16 12:14:08 +0000 (Thu, 16 Sep 2010)
Log Message:
-----------
converting to xhtml, changing filenames to be parsable by python ElementTree xml parser
Modified Paths:
--------------
trunk/doc/help/algorithms.html
trunk/doc/help/beautify/beautify.html
trunk/doc/help/frontend/shortcuts.html
trunk/doc/help/frontend.html
trunk/doc/help/index.html
trunk/doc/help/transformers.html
Added Paths:
-----------
trunk/doc/help/frontend/automatic_drawing.html
trunk/doc/help/frontend/message_snapping.html
trunk/doc/help/frontend/shape_selection.html
Removed Paths:
-------------
trunk/doc/help/frontend/automatic-drawing.html
trunk/doc/help/frontend/message-numbering.html
trunk/doc/help/frontend/message-snapping.html
trunk/doc/help/frontend/shape-selection.html
Modified: trunk/doc/help/algorithms.html
===================================================================
--- trunk/doc/help/algorithms.html 2010-09-16 12:05:28 UTC (rev 937)
+++ trunk/doc/help/algorithms.html 2010-09-16 12:14:08 UTC (rev 938)
@@ -1,26 +1,110 @@
-<html>
-<head>
-<link href="help.css" rel="stylesheet" type="text/css"/>
-</head>
+<?xml version="1.0" encoding="utf-8"?>
-<h1>Verification Algorithms</h1>
+<!DOCTYPE html
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" >
-The following verification algorithms are supported:
-<ul>
-<li><a href="acyclic/acyclic.html">Acyclic property</a></li>
-<li><a href="boundedness/boundedness.html">Universal Boundedness</a></li>
-<li><a href="deadlock/deadlock.html">Deadlock</a></li>
-<li><a href="fifo/fifo.html">FIFO</a></li>
-<li><a href="livelock/livelock.html">Livelock</a></li>
-<li><a href="localchoice/localchoice.html">Nonlocal Choice</a></li>
-<li><a href="race/race.html">Race Condition</a></li>
-<li><a href="realizability/realizability.html">Strong Realizability</a></li>
-<li><a href="recursivity/recursivity.html">Non-recursivity</li>
-<li><a href="time_consistency/time_consistency.html">Time Consistency</a></li>
-<li><a href="time_syntax/time_syntax.html">Correct Time Constraint Syntax</a></li>
-<li><a href="time_trace_race/time_race.html">Time Race</a></li>
-<li><a href="unique_instance/unique_instance.html">Unique Instance Names</a></li>
-</ul>
-
-</body>
+<html xmlns="http://www.w3.org/1999/xhtml">
+ <head>
+ <title>all</title>
+ <link href="help.css" rel="stylesheet" type="text/css" />
+ </head>
+ <body>
+ <h1>
+ Algorithms
+ </h1>
+ The following verification algorithms are supported:
+ <ul>
+ <li>
+ <a href="acyclic/acyclic.html">Acyclic property</a>
+ </li>
+ <li>
+ <a href="boundedness/boundedness.html">Universal Boundedness</a>
+ </li>
+ <li>
+ <a href="deadlock/deadlock.html">Deadlock</a>
+ </li>
+ <li>
+ <a href="fifo/fifo.html">FIFO</a>
+ </li>
+ <li>
+ <a href="livelock/livelock.html">Livelock</a>
+ </li>
+ <li>
+ <a href="localchoice/localchoice.html">Nonlocal Choice</a>
+ </li>
+ <li>
+ <a href="membership/membership.html">Membership</a>
+ </li>
+ <li>
+ <a href="race/race.html">Race Condition</a>
+ </li>
+ <li>
+ <a href="realizability/realizability.html">Strong Realizability</a>
+ </li>
+ <li>
+ <a href="recursivity/recursivity.html">Non-recursivity</a>
+ </li>
+ <li>
+ <a href="time_consistency/time_consistency.html">Time Consistency</a>
+ </li>
+ <li>
+ <a href="time_syntax/time_syntax.html">Correct Time Constraint Syntax</a>
+ </li>
+ <li>
+ <a href="time_trace_race/time_race.html">Time Race</a>
+ </li>
+ <li>
+ <a href="unique_instance/unique_instance.html">Unique instance names</a>
+ </li>
+ </ul>
+ <h1>
+ Transformers
+ </h1>
+ <ul>
+ <li>
+ <a href="beautify/beautify.html">Beautify</a>
+ </li>
+ <li>
+ <a href="time_tighten/time_tighten.html">Tighten Time</a>
+ </li>
+ </ul>
+ <h1>
+ Frontend
+ </h1>
+ <p>
+ Currently, the SCStudio frontend is accessible as a Microsoft Visio addon.
+ Thus, Microsoft Visio 2003 or 2007 must be installed prior to installing
+ SCStudio.
+ </p>
+ <p>
+ When an MSC document is opened, the Sequence Chart Studio toolbar and menu
+ Check are available:
+ </p>
+ <img class="big" src="frontend/pictures/frontend.png"
+ alt="SCStudio toolbar and menu in MS Visio" />
+ <p>
+ SCStudio functions extending Visio are divided into the following
+ categories:
+ </p>
+ <ul>
+ <li>
+ <a href="frontend/automatic-drawing.html">Automatic drawing</a>
+ </li>
+ <li>
+ <a href="frontend/message-numbering.html">Message numbering</a>
+ </li>
+ <li>
+ <a href="frontend/message-snapping.html">Message snapping</a>
+ </li>
+ <li>
+ <a href="frontend/shape-selection.html">Shape selection</a>
+ </li>
+ </ul>
+ <p>
+ Many SCStudio functions define their own keyboard accelerators. See the <a
+ href="frontend/shortcuts.html">keyboard accelerators</a> section to
+ list all of them.
+ </p>
+ </body>
</html>
Modified: trunk/doc/help/beautify/beautify.html
===================================================================
--- trunk/doc/help/beautify/beautify.html 2010-09-16 12:05:28 UTC (rev 937)
+++ trunk/doc/help/beautify/beautify.html 2010-09-16 12:14:08 UTC (rev 938)
@@ -17,7 +17,7 @@
</h2>
<p>
The main aim of this function is to redraw BMSC to be well-arranged. It
- is accessible via menu <code>Check → Drawing → Beautify</code>.
+ is accessible via menu <code>Check -> Drawing -> Beautify</code>.
</p>
<h3>
Example 1:
Deleted: trunk/doc/help/frontend/automatic-drawing.html
===================================================================
--- trunk/doc/help/frontend/automatic-drawing.html 2010-09-16 12:05:28 UTC (rev 937)
+++ trunk/doc/help/frontend/automatic-drawing.html 2010-09-16 12:14:08 UTC (rev 938)
@@ -1,73 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
-<html>
-<head>
-<title>Automatic Drawing – SCStudio frontend</title>
-<link href="../help.css" rel="stylesheet" type="text/css">
-</head>
-<body>
-<h1>Automatic drawing</h1>
-<p>With all required shapes available in the BMSC and HMSC stencils, it is possible
-to draw virtually any MSC diagram. In practice, there are many stereotypes, however.
-SCStudio helps the user draw some frequently used patterns by several automatic
-drawing functions.</p>
-
-<h2 id="add_instances">Add Instances</h2>
-<p>The first of them is the <code>Add Instances</code> function accessible via menu
-<code>Check → Drawing → Add Instances</code>, or <code>Ctrl+Alt+F</code>
-keyboard shortcut. It is available in the context (right-click) menu of the document, too.
-The function draws a given number of instances on the active
-page of the document, with constant or dynamic space between each two of them.</p>
-<p>When invoked, the following dialog appears:</p>
-<img class="big" src="pictures/add_instances_options.png" alt="Add Instances options dialog">
-<p>The first two fields set the number of instances to be drawn and their length.
-Next two fields set the starting point from which to start drawing. If the cursor
-was in the document drawing area in the time of Add Instances invocation (that is,
-the keyboard shortcut or context-menu was used), the start position fields are
-filled with the cursor position, i.e. drawing will start from the point where
-the cursor was.</p>
-<p>In the Options panel, if the Total width switch is chosen, all the instances
-will be drawn in the place of a width given, so the gaps between instances will be
-calculated to fit this area. On the contrary, the Spacing switch sets constant gaps
-between the instances not limiting the total width.</p>
-<p>All numbers in the dialog are in units of the current page of the document.</p>
-
-<h2 id="message_sequence">Message Sequence</h2>
-<p>The Message Sequence function draws a sequence of messages among selected instances.
-The basic usage is that when one instance sends a message, which is received and
-resent by several other instances and finally received by the last instance, as illustrated
-in the following picture.</p>
-<img src="pictures/message_sequence.png" alt="Message Sequence example">
-<p>The Message Sequence function is accessible via menu
-<code>Check → Drawing → Message Sequence</code>, or <code>Ctrl+Alt+S</code>
-keyboard shortcut or <code>Message Sequence</code> context-menu on instances.
-As for other automatic drawing functions, an options dialog is opened after Message Sequence invocation:</p>
-<img class="big" src="pictures/message_sequence_options.png" alt="Message Sequence options dialog">
-<p>The first option in the dialog determines the direction of the sequence. For each direction, a separate
-message label may be specified in the Left and Right Message Captions input boxes. Uni- and bidirectional
-message sequences are supported.</p>
-<p>Starting Y-position determines the instances, among which the sequence is to be drawn.
-The initial set of instances is taken according to current selection:
- <ul>
- <li>if there are no instances selected, all instances on the page are taken;</li>
- <li>if there is exactly one instance selected, then SCStudio waits for another instance
- to be selected;</li>
- <li>otherwise, all selected instances are taken into account.</li>
- </ul>
-From all of these instances, the leftmost and the rightmost instances are recognized as the
-first and last instance in the message sequence. Between these two, all other instances crossing
-an imaginary horizontal line at height equal to Starting Y-position are qualified for the message sequence.
-(During the options dialog, these two instances are marked with red color.)</p>
-<p>The Starting Y-position has a default value of mouse position, so the most comfortable way of invoking
-Message Sequence is using the context-menu on the first instance at the point where the sequence should start,
-followed by selecting the last instance, to which the sequence shall come.</p>
-</p>
-<p>The next two input boxes, Vertical space between messages and Vertical space between left and right sequence
-define the vertical space between to subsequent messages on the same instance.</p>
-<p>The last options group determines treatment of coregions found in the way of the message sequence.
-Such a situation may be forbidden (by the first choice in the dialog) or ignored (the second choice –
-the incident messages are simply attached to the coregion without any order), or the messages passing
-through a coregion may be ordered by ordering line or side-side ordering.</p>
-
-
-</body>
-</html>
Copied: trunk/doc/help/frontend/automatic_drawing.html (from rev 918, trunk/doc/help/frontend/automatic-drawing.html)
===================================================================
--- trunk/doc/help/frontend/automatic_drawing.html (rev 0)
+++ trunk/doc/help/frontend/automatic_drawing.html 2010-09-16 12:14:08 UTC (rev 938)
@@ -0,0 +1,126 @@
+<?xml version="1.0" encoding="utf-8"?>
+
+<!DOCTYPE html
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" >
+
+<html xmlns="http://www.w3.org/1999/xhtml">
+ <head>
+ <title>
+ Automatic Drawing - SCStudio frontend
+ </title>
+ <link href="../help.css" rel="stylesheet" type="text/css" />
+ </head>
+ <body>
+ <h1>
+ Automatic drawing
+ </h1>
+ <p>
+ With all required shapes available in the BMSC and HMSC stencils, it is
+ possible to draw virtually any MSC diagram. In practice, there are many
+ stereotypes, however. SCStudio helps the user draw some frequently used
+ patterns by several automatic drawing functions.
+ </p>
+ <h2 id="add_instances">
+ Add Instances
+ </h2>
+ <p>
+ The first of them is the <code>Add Instances</code> function
+ accessible via menu <code>Check → Drawing → Add Instances</code>,
+ or <code>Ctrl+Alt+F</code> keyboard shortcut. It is available in
+ the context (right-click) menu of the document, too. The function draws a
+ given number of instances on the active page of the document, with
+ constant or dynamic space between each two of them.
+ </p>
+ <p>
+ When invoked, the following dialog appears:
+ </p>
+ <img class="big" src="pictures/add_instances_options.png"
+ alt="Add Instances options dialog" />
+ <p>
+ The first two fields set the number of instances to be drawn and their
+ length. Next two fields set the starting point from which to start
+ drawing. If the cursor was in the document drawing area in the time of Add
+ Instances invocation (that is, the keyboard shortcut or context-menu was
+ used), the start position fields are filled with the cursor position, i.e.
+ drawing will start from the point where the cursor was.
+ </p>
+ <p>
+ In the Options panel, if the Total width switch is chosen, all the
+ instances will be drawn in the place of a width given, so the gaps between
+ instances will be calculated to fit this area. On the contrary, the
+ Spacing switch sets constant gaps between the instances not limiting the
+ total width.
+ </p>
+ <p>
+ All numbers in the dialog are in units of the current page of the
+ document.
+ </p>
+ <h2 id="message_sequence">
+ Message Sequence
+ </h2>
+ <p>
+ The Message Sequence function draws a sequence of messages among selected
+ instances. The basic usage is that when one instance sends a message,
+ which is received and resent by several other instances and finally
+ received by the last instance, as illustrated in the following picture.
+ </p>
+ <img src="pictures/message_sequence.png" alt="Message Sequence example" />
+ <p>
+ The Message Sequence function is accessible via menu <code>Check →
+ Drawing → Message Sequence</code>, or <code>Ctrl+Alt+S</code>
+ keyboard shortcut or <code>Message Sequence</code> context-menu
+ on instances. As for other automatic drawing functions, an options dialog
+ is opened after Message Sequence invocation:
+ </p>
+ <img class="big" src="pictures/message_sequence_options.png"
+ alt="Message Sequence options dialog" />
+ <p>
+ The first option in the dialog determines the direction of the sequence.
+ For each direction, a separate message label may be specified in the Left
+ and Right Message Captions input boxes. Uni- and bidirectional message
+ sequences are supported.
+ </p>
+ <p>
+ Starting Y-position determines the instances, among which the sequence is
+ to be drawn. The initial set of instances is taken according to current
+ selection:
+ </p>
+ <ul>
+ <li>
+ if there are no instances selected, all instances on the page are taken;
+ </li>
+ <li>
+ if there is exactly one instance selected, then SCStudio waits for
+ another instance to be selected;
+ </li>
+ <li>
+ otherwise, all selected instances are taken into account.
+ </li>
+ </ul>
+ From all of these instances, the leftmost and the rightmost instances are
+ recognized as the first and last instance in the message sequence. Between
+ these two, all other instances crossing an imaginary horizontal line at
+ height equal to Starting Y-position are qualified for the message sequence.
+ (During the options dialog, these two instances are marked with red color.)
+ <p>
+ The Starting Y-position has a default value of mouse position, so the most
+ comfortable way of invoking Message Sequence is using the context-menu on
+ the first instance at the point where the sequence should start, followed
+ by selecting the last instance, to which the sequence shall come.
+ </p>
+ <p>
+ The next two input boxes, Vertical space between messages and Vertical
+ space between left and right sequence define the vertical space between to
+ subsequent messages on the same instance.
+ </p>
+ <p>
+ The last options group determines treatment of coregions found in the way
+ of the message sequence. Such a situation may be forbidden (by the first
+ choice in the dialog) or ignored (the second choice - the incident
+ messages are simply attached to the coregion without any order), or the
+ messages passing through a coregion may be ordered by ordering line or
+ side-side ordering.
+ </p>
+ </body>
+</html>
Deleted: trunk/doc/help/frontend/message-numbering.html
===================================================================
--- trunk/doc/help/frontend/message-numbering.html 2010-09-16 12:05:28 UTC (rev 937)
+++ trunk/doc/help/frontend/message-numbering.html 2010-09-16 12:14:08 UTC (rev 938)
@@ -1,70 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
-<html>
-<head>
-<title>Message Numbering – SCStudio frontend</title>
-<link href="../help.css" rel="stylesheet" type="text/css">
-</head>
-<body>
-<h1>Message Numbering</h1>
-<p>Message numbering allows users to enumerate all types of message shapes (left, right, lost, found).<br>
-You can enumerate all messages on the active page (if no messages are selected) or the selection.<br>
-</p>
-
-<h2>Enable message numbering</h2>
-<p>By pressing Message numbering button <img src="pictures/icon_message_enumeration.png" alt="Message Numbering">, via menu <code>Check->Drawing->Message numbering->Message numbering</code> or by using hotkey <Code>Ctrl+Alt+E</Code> the dialog with options will be shown:</p>
-
-<p>
-<img src="pictures/message_numbering_options.png" alt="Message Numbering options dialog">
-</p>
-
-<p>You can choose:<br>
-- specific numbering type (numbers, letters, capital letters, romans)<br>
-- starting index (1-9999 for number, letters and capital letters and 1-3999 for romans)<br>
-- and additional string following the index such as ".", "-", … (max 4 chars). A space between the index and the message label is added automatically.<br>
-</p>
-
-<p>
-When the OK button is pressed, messages are numbered according to their positions on the page from left to right and then from top to bottom.<br>
-Already numbered messages will be overwritten by new numbering.
- </p>
-
-<h2>Disable message numbering</h2>
-<p>Numbering can be deleted by pressing Delete numbering button <img src="pictures/icon_message_enumeration_disable.png" alt="Disable message numbering"> on the toolbar, via menu <code>Check->Drawing->Message numbering->Delete numbering</code> or by using hotkey <Code>Ctrl+Alt+D.</Code></p>
-
-<p>
-Using <code>Delete numbering</code> on selection causes other messages indexes will be recomputed. <br>
-If no selection is used all numbering indexes will be deleted.
-</p>
-
-<h2>Numbering group selection</h2>
-<p>When a group of messages is numbered, user can select it by right-click on any of numbered messages from group and choose <code>Select numbering group</code> from context menu. Example is shown in the following picture:</p>
-
-<p>
-<img src="pictures/select_numbering_group.png" alt="Select numbering group">
-</p>
-
-<h2>Auto numbering</h2>
-<p>New messages can be automatically numbered after they are dropped on the page. Specific behavior can be set via menu <code>Check->Drawing->Settings</code>, tab Numbering. Following dialog will be shown:</p>
-
-<p>
-<img src="pictures/message_numbering_autoenum_options.png" alt="Auto numbering options">
-</p>
-
-<p>
-Options are:<br>
-</p>
-
-<p>
-<code>automatic numbering new messages</code><br>
- - sets whether auto numbering is enabled, otherwise all other options are disabled.<br><br>
-<code>as nearest message</code><br>
- - new messages will be numbered according to the group of the closest message on the active page. All message indexes in the current group will be recounted. If the closest message isn't numbered, new one won't be either. <br>
-<code>as nearest numbered message</code><br>
- - new messages will be numbered according to the closest <b>numbered</b> message on the active page. If there are no numbered messages on the active page you can choose between: <br><br>
- <code>don't number</code><br>
- - don't number new messages if there are no numbered messages on the page.<br>
- <code>use numbering style</code><br>
- - use specific numbering style if there are no numbered messages on the page.<br>
-</p>
-</body>
-</html>
\ No newline at end of file
Deleted: trunk/doc/help/frontend/message-snapping.html
===================================================================
--- trunk/doc/help/frontend/message-snapping.html 2010-09-16 12:05:28 UTC (rev 937)
+++ trunk/doc/help/frontend/message-snapping.html 2010-09-16 12:14:08 UTC (rev 938)
@@ -1,41 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
-<html>
-<head>
-<title>Message Snapping – SCStudio frontend</title>
-<link href="../help.css" rel="stylesheet" type="text/css">
-</head>
-<body>
-<h1>Message Snapping</h1>
-<p>When a message is dropped onto the drawing a user has to connect this message to the instances manually. If Message snapping is enabled then all new messages are automatically snapped to the nearest instances as soon as the user releases the mouse button. The nearest instances are taken from the mouse position.</p>
-
-<p>Snapping can be enabled via <code>Check -> Drawing -> Settings...</code>, tab Snap & Glue. Following dialog will be shown:</p>
-
-<p>
-<img src="pictures/message_snapping_options.png" alt="Message Snapping options dialog">
-</p>
-
-<p>
-Options are:<br>
-<code>Enable/disable message snapping</code><br>
- - sets whether message snapping is enabled, otherwise all other options are disabled.
-</p>
-
-<p>
-When the message is already dropped on the page, user can still use snapping. As the message is moved, it automatically snaps to the nearest instance(s) (if exists). Since the message can be oblique, three types of snapping are provided:<br><br>
-<code>straighten</code><br>
- - the message is straighten on the current location of the mouse cursor and snapped to instance(s).<br>
-<code>preserve vertical distance between send - receive</code><br>
- - endpoint(s) of the message are horizontally stretched and snapped to the nearest instance(s).<br>
-<code>preserve slope</code><br>
- - the message stays obliqued as it was. The endpoint(s) will be prolonged to the nearest instance(s).<br>
-</p>
-
-<h2>Multiple message snapping</h2>
-<i>Not implemented yet</i>
-
-<h2>Restrictions</h2>
-
-- Lost and Found messages are snapped only at one endpoint.<br>
-- Messages can be snapped only to the instances lines. Instance's head and end symbols are ignored.<br>
-
-
Copied: trunk/doc/help/frontend/message_snapping.html (from rev 918, trunk/doc/help/frontend/message-snapping.html)
===================================================================
--- trunk/doc/help/frontend/message_snapping.html (rev 0)
+++ trunk/doc/help/frontend/message_snapping.html 2010-09-16 12:14:08 UTC (rev 938)
@@ -0,0 +1,62 @@
+<?xml version="1.0" encoding="utf-8"?>
+
+<!DOCTYPE html
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" >
+
+<html xmlns="http://www.w3.org/1999/xhtml">
+ <head>
+ <title>
+ Message Snapping - SCStudio frontend
+ </title>
+ <link href="../help.css" rel="stylesheet" type="text/css" />
+ </head>
+ <body>
+ <h1>
+ Message Snapping
+ </h1>
+ <p>
+ When a message is dropped onto the drawing a user has to connect this
+ message to the instances manually. If Message snapping is enabled then all
+ new messages are automatically snapped to the nearest instances as soon as
+ the user releases the mouse button. The nearest instances are taken from
+ the mouse position.
+ </p>
+ <p>
+ Snapping can be enabled via <code>Check -> Drawing -> Settings...</code>,
+ tab Snap & Glue. Following dialog will be shown:
+ </p>
+ <p>
+ <img src="pictures/message_snapping_options.png"
+ alt="Message Snapping options dialog" />
+ </p>
+ <p>
+ Options are:<br /> <code>Enable/disable message snapping</code><br />
+    - sets whether message snapping is enabled, otherwise all
+ other options are disabled.
+ </p>
+ <p>
+ When the message is already dropped on the page, user can still use
+ snapping. As the message is moved, it automatically snaps to the nearest
+ instance(s) (if exists). Since the message can be oblique, three types of
+ snapping are provided:<br /><br /> <code>straighten</code><br />
+   - the message is straighten on the current location of the
+ mouse cursor and snapped to instance(s).<br /> <code>preserve
+ vertical distance between send - receive</code><br />
+   - endpoint(s) of the message are horizontally stretched and snapped
+ to the nearest instance(s).<br /> <code>preserve slope</code><br />
+   - the message stays obliqued as it was. The endpoint(s) will
+ be prolonged to the nearest instance(s).<br />
+ </p>
+ <h2>
+ Multiple message snapping
+ </h2>
+ <i>Not implemented yet</i>
+ <h2>
+ Restrictions
+ </h2>
+ - Lost and Found messages are snapped only at one endpoint.<br /> -
+ Messages can be snapped only to the instances lines. Instance's head and end
+ symbols are ignored.<br />
+ </body>
+</html>
Deleted: trunk/doc/help/frontend/shape-selection.html
===================================================================
--- trunk/doc/help/frontend/shape-selection.html 2010-09-16 12:05:28 UTC (rev 937)
+++ trunk/doc/help/frontend/shape-selection.html 2010-09-16 12:14:08 UTC (rev 938)
@@ -1,30 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
-<html>
-<head>
-<title>Shape Selection – SCStudio frontend</title>
-<link href="../help.css" rel="stylesheet" type="text/css">
-</head>
-<body>
-<h1>Shape Selection</h1>
-<p>On top of standard Visio functions for selecting shapes (such as <code>Ctrl+A</code>
-shortcut for selecting all shapes), SCStudio offers several useful selection functions.</p>
-<p>The first toolbar button
-<img src="pictures/icon_select_instances.png" alt="Select instances button">
-selects all instances in the current page of active document. The second button
-<img src="pictures/icon_select_messages.png" alt="Select messages button">
-selects all messages in the current page of active document. These functions are
-also available via menu
-<code>Check → Drawing → Select → All Instances</code>, or
-<code>All Messages</code>, respectively. Keyboard shortcuts are assigned to
-these functions, too: <code>Ctrl+Alt+I</code> for selecting all instances and
-<code>Ctrl+Alt+M</code> for selecting all messages.</p>
-<p>While holding <code>Ctrl</code> or <code>Shift</code>, the first two buttons
-alter their face and functionality, however:
-<img src="pictures/icon_select_add_instances.png" alt="Add instances to selection button">
-<img src="pictures/icon_select_add_messages.png" alt="Add messages to selection button">
-In that case, they <em>add</em> all
-instances (or messages) to the current selection instead of making a new
-selection.</p>
-
-</body>
-</html>
Copied: trunk/doc/help/frontend/shape_selection.html (from rev 918, trunk/doc/help/frontend/shape-selection.html)
===================================================================
--- trunk/doc/help/frontend/shape_selection.html (rev 0)
+++ trunk/doc/help/frontend/shape_selection.html 2010-09-16 12:14:08 UTC (rev 938)
@@ -0,0 +1,46 @@
+<?xml version="1.0" encoding="utf-8"?>
+
+<!DOCTYPE html
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" >
+
+<html xmlns="http://www.w3.org/1999/xhtml">
+ <head>
+ <title>
+ Shape Selection - SCStudio frontend
+ </title>
+ <link href="../help.css" rel="stylesheet" type="text/css" />
+ </head>
+ <body>
+ <h1>
+ Shape Selection
+ </h1>
+ <p>
+ On top of standard Visio functions for selecting shapes (such as <code>Ctrl+A</code>
+ shortcut for selecting all shapes), SCStudio offers several useful
+ selection functions.
+ </p>
+ <p>
+ The first toolbar button <img src="pictures/icon_select_instances.png"
+ alt="Select instances button" /> selects all instances in the current page
+ of active document. The second button <img
+ src="pictures/icon_select_messages.png" alt="Select messages button" />
+ selects all messages in the current page of active document. These
+ functions are also available via menu <code>Check → Drawing →
+ Select → All Instances</code>, or <code>All Messages</code>,
+ respectively. Keyboard shortcuts are assigned to these functions, too:
+ <code>Ctrl+Alt+I</code> for selecting all instances and <code>Ctrl+Alt+M</code>
+ for selecting all messages.
+ </p>
+ <p>
+ While holding <code>Ctrl</code> or <code>Shift</code>,
+ the first two buttons alter their face and functionality, however: <img
+ src="pictures/icon_select_add_instances.png"
+ alt="Add instances to selection button" /> <img
+ src="pictures/icon_select_add_messages.png"
+ alt="Add messages to selection button" /> In that case, they <em>add</em>
+ all instances (or messages) to the current selection instead of making a
+ new selection.
+ </p>
+ </body>
+</html>
Modified: trunk/doc/help/frontend/shortcuts.html
===================================================================
--- trunk/doc/help/frontend/shortcuts.html 2010-09-16 12:05:28 UTC (rev 937)
+++ trunk/doc/help/frontend/shortcuts.html 2010-09-16 12:14:08 UTC (rev 938)
@@ -1,21 +1,74 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
-<html>
-<head>
-<title>SCStudio Visio addon keyboard accelerators</title>
-<link href="../help.css" rel="stylesheet" type="text/css">
-</head>
-<body>
-<h1>Visio addon keyboard accelerators</h1>
-<p>The following keyboard accelerators are defined by SCStudio Visio addon:</p>
-<table>
-<col width="150"> <col>
-<tr><td><code>Ctrl+Alt+I</code></td><td><a href="shape-selection.html">Select all instances</a></td></tr>
-<tr><td><code>Ctrl+Alt+M</code></td><td><a href="shape-selection.html">Select all message</a></td></tr>
-<tr><td><code>Ctrl+Alt+F</code></td><td><a href="automatic-drawing.html#add_instances">Add instances</a></td></tr>
-<tr><td><code>Ctrl+Alt+S</code></td><td><a href="automatic-drawing.html#message_sequence">Message sequence</a></td></tr>
-<tr><td><code>Ctrl+Alt+E</code></td><td><a href="message-numbering.html">Message Numbering</a></td></tr>
-<tr><td><code>Ctrl+Alt+D</code></td><td><a href="message-numbering.html">Delete message numbering</a></td></tr>
-</table>
+<?xml version="1.0" encoding="utf-8"?>
-</body>
+<!DOCTYPE html
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" >
+
+<html xmlns="http://www.w3.org/1999/xhtml">
+ <head>
+ <title>
+ SCStudio Visio addon keyboard accelerators
+ </title>
+ <link href="../help.css" rel="stylesheet" type="text/css" />
+ </head>
+ <body>
+ <h1>
+ Visio addon keyboard accelerators
+ </h1>
+ <p>
+ The following keyboard accelerators are defined by SCStudio Visio addon:
+ </p>
+ <table>
+ <col width="150" />
+ <col />
+ <tr>
+ <td>
+ <code>Ctrl+Alt+I</code>
+ </td>
+ <td>
+ <a href="shape-selection.html">Select all instances</a>
+ </td>
+ </tr>
+ <tr>
+ <td>
+ <code>Ctrl+Alt+M</code>
+ </td>
+ <td>
+ <a href="shape-selection.html">Select all message</a>
+ </td>
+ </tr>
+ <tr>
+ <td>
+ <code>Ctrl+Alt+F</code>
+ </td>
+ <td>
+ <a href="automatic-drawing.html#add_instances">Add instances</a>
+ </td>
+ </tr>
+ <tr>
+ <td>
+ <code>Ctrl+Alt+S</code>
+ </td>
+ <td>
+ <a href="automatic-drawing.html#message_sequence">Message sequence</a>
+ </td>
+ </tr>
+ <tr>
+ <td>
+ <code>Ctrl+Alt+E</code>
+ </td>
+ <td>
+ <a href="message-numbering.html">Message Numbering</a>
+ </td>
+ </tr>
+ <tr>
+ <td>
+ <code>Ctrl+Alt+D</code>
+ </td>
+ <td>
+ <a href="message-numbering.html">Delete message numbering</a>
+ </td>
+ </tr>
+ </table>
+ </body>
</html>
Modified: trunk/doc/help/frontend.html
===================================================================
--- trunk/doc/help/frontend.html 2010-09-16 12:05:28 UTC (rev 937)
+++ trunk/doc/help/frontend.html 2010-09-16 12:14:08 UTC (rev 938)
@@ -1,29 +1,53 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
-<html>
-<head>
-<title>SCStudio frontend</title>
-<link href="help.css" rel="stylesheet" type="text/css">
-</head>
-<body>
-<h1>Frontend</h1>
-<p>Currently, the SCStudio frontend is accessible as a Microsoft Visio addon.
-Thus, Microsoft Visio 2003 or 2007 must be installed prior to installing
-SCStudio.</p>
-<p>When an MSC document is opened, the Sequence Chart Studio toolbar and menu Check
-are available:</p>
-<img class="big" src="frontend/pictures/frontend.png" alt="SCStudio toolbar and menu in MS Visio">
+<?xml version="1.0" encoding="utf-8"?>
-<p>SCStudio functions extending Visio are divided into the following categories:</p>
-<ul>
-<li><a href="frontend/shape-selection.html">Shape Selection</a></li>
-<li><a href="frontend/automatic-drawing.html">Automatic Drawing</a></li>
-<li><a href="frontend/message-numbering.html">Message Numbering</a></li>
-<li><a href="frontend/message-snapping.html">Message Snapping</a></li>
-</ul>
+<!DOCTYPE html
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" >
-<p>Many SCStudio functions define their own keyboard accelerators.
-See the <a href="frontend/shortcuts.html">Keyboard accelerators</a> section to
-list all of them.</p>
-
-</body>
+<html xmlns="http://www.w3.org/1999/xhtml">
+ <head>
+ <title>
+ SCStudio frontend
+ </title>
+ <link href="help.css" rel="stylesheet" type="text/css" />
+ </head>
+ <body>
+ <h1>
+ Frontend
+ </h1>
+ <p>
+ Currently, the SCStudio frontend is accessible as a Microsoft Visio addon.
+ Thus, Microsoft Visio 2003 or 2007 must be installed prior to installing
+ SCStudio.
+ </p>
+ <p>
+ When an MSC document is opened, the Sequence Chart Studio toolbar and menu
+ Check are available:
+ </p>
+ <img class="big" src="frontend/pictures/frontend.png"
+ alt="SCStudio toolbar and menu in MS Visio" />
+ <p>
+ SCStudio functions extending Visio are divided into the following
+ categories:
+ </p>
+ <ul>
+ <li>
+ <a href="frontend/shape-selection.html">Shape selection</a>
+ </li>
+ <li>
+ <a href="frontend/automatic-drawing.html">Automatic drawing</a>
+ </li>
+ <li>
+ <a href="frontend/message-numbering.html">Message numbering</a>
+ </li>
+ <li>
+ <a href="frontend/message-snapping.html">Message snapping</a>
+ </li>
+ </ul>
+ <p>
+ Many SCStudio functions define their own keyboard accelerators. See the <a
+ href="frontend/shortcuts.html">Keyboard accelerators</a> section to
+ list all of them.
+ </p>
+ </body>
</html>
Modified: trunk/doc/help/index.html
===================================================================
--- trunk/doc/help/index.html 2010-09-16 12:05:28 UTC (rev 937)
+++ trunk/doc/help/index.html 2010-09-16 12:14:08 UTC (rev 938)
@@ -1,45 +1,106 @@
-<html>
-<head>
-<link href="help.css" rel="stylesheet" type="text/css"/>
-</head>
+<?xml version="1.0" encoding="utf-8"?>
-<h1>Sequence Chart Studio</h1>
+<!DOCTYPE html
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" >
-<ul>
-<li><a href="frontend.html">Microsoft Visio Front-end</a>
- <ul>
- <li><a href="frontend/shape-selection.html">Shape Selection</a></li>
- <li><a href="frontend/automatic-drawing.html">Automatic Drawing</a></li>
- <li><a href="frontend/message-numbering.html">Message Numbering</a></li>
- <li><a href="frontend/message-snapping.html">Message Snapping</a></li>
- <li><a href="frontend/shortcuts.html">Keyboard Accelerators</a></li>
- </ul>
-</li>
-<li><a href="algorithms.html">Verification Algoritms</a>
- <ul>
- <li><a href="acyclic/acyclic.html">Acyclic property</a></li>
- <li><a href="boundedness/boundedness.html">Universal Boundedness</a></li>
- <li><a href="deadlock/deadlock.html">Deadlock</a></li>
- <li><a href="fifo/fifo.html">FIFO</a></li>
- <li><a href="livelock/livelock.html">Livelock</a></li>
- <li><a href="localchoice/localchoice.html">Nonlocal Choice</a></li>
- <li><a href="race/race.html">Race Condition</a></li>
- <li><a href="realizability/realizability.html">Strong Realizability</a></li>
- <li><a href="recursivity/recursivity.html">Non-recursivity</li>
- <li><a href="time_consistency/time_consistency.html">Time Consistency</a></li>
- <li><a href="time_syntax/time_syntax.html">Correct Time Constraint Syntax</a></li>
- <li><a href="time_trace_race/time_race.html">Time Race</a></li>
- <li><a href="unique_instance/unique_instance.html">Unique Instance Names</a></li>
-</ul>
-</li>
-<li><a href="membership/membership.html">Drawing Membership</a></li>
-<li><a href="montecarlo/montecarlo.html">Monte Carlo Simulation</a></li>
-<li><a href="transformers.html">Drawing Transformers</a></li>
- <ul>
- <li><a href="beautify/beautify.html">Beautify</a></li>
- <li><a href="time_tighten/time_tighten.html">Tighten Time</a></li>
- </ul>
-</ul>
-
-</body>
+<html xmlns="http://www.w3.org/1999/xhtml">
+ <head>
+ <link href="help.css" rel="stylesheet" type="text/css" />
+ <title>
+ Content
+ </title>
+ </head>
+ <body>
+ <h1>
+ Sequence Chart Studio
+ </h1>
+ <ul>
+ <li>
+ <a href="frontend.html">Microsoft Visio Front-end</a>
+ <ul>
+ <li>
+ <a href="frontend/shape-selection.html">Shape Selection</a>
+ </li>
+ <li>
+ <a href="frontend/automatic-drawing.html">Automatic Drawing</a>
+ </li>
+ <li>
+ <a href="frontend/message-numbering.html">Message Numbering</a>
+ </li>
+ <li>
+ <a href="frontend/message-snapping.html">Message Snapping</a>
+ </li>
+ <li>
+ <a href="frontend/shortcuts.html">Keyboard Accelerators</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ <a href="algorithms.html">Verification Algoritms</a>
+ <ul>
+ <li>
+ <a href="acyclic/acyclic.html">Acyclic property</a>
+ </li>
+ <li>
+ <a href="boundedness/boundedness.html">Universal Boundedness</a>
+ </li>
+ <li>
+ <a href="deadlock/deadlock.html">Deadlock</a>
+ </li>
+ <li>
+ <a href="fifo/fifo.html">FIFO</a>
+ </li>
+ <li>
+ <a href="livelock/livelock.html">Livelock</a>
+ </li>
+ <li>
+ <a href="localchoice/localchoice.html">Nonlocal Choice</a>
+ </li>
+ <li>
+ <a href="race/race.html">Race Condition</a>
+ </li>
+ <li>
+ <a href="realizability/realizability.html">Strong Realizability</a>
+ </li>
+ <li>
+ <a href="recursivity/recursivity.html">Non-recursivity</a>
+ </li>
+ <li>
+ <a href="time_consistency/time_consistency.html">Time Consistency</a>
+ </li>
+ <li>
+ <a href="time_syntax/time_syntax.html">Correct Time Constraint
+ Syntax</a>
+ </li>
+ <li>
+ <a href="time_trace_race/time_race.html">Time Race</a>
+ </li>
+ <li>
+ <a href="unique_instance/unique_instance.html">Unique Instance
+ Names</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ <a href="membership/membership.html">Drawing Membership</a>
+ </li>
+ <li>
+ <a href="montecarlo/montecarlo.html">Monte Carlo Simulation</a>
+ </li>
+ <li>
+ <a href="transformers.html">Drawing Transformers</a>
+ </li>
+ <li>
+ <ul>
+ <li>
+ <a href="beautify/beautify.html">Beautify</a>
+ </li>
+ <li>
+ <a href="time_tighten/time_tighten.html">Tighten Time</a>
+ </li>
+ </ul>
+ </li>
+ </ul>
+ </body>
</html>
Modified: trunk/doc/help/transformers.html
===================================================================
--- trunk/doc/help/transformers.html 2010-09-16 12:05:28 UTC (rev 937)
+++ trunk/doc/help/transformers.html 2010-09-16 12:14:08 UTC (rev 938)
@@ -1,13 +1,27 @@
-<html>
-<head>
-<link href="help.css" rel="stylesheet" type="text/css"/>
-</head>
+<?xml version="1.0" encoding="utf-8"?>
-<h1>Drawing Transformers</h1>
-<ul>
-<li><a href="beautify/beautify.html">Beautify</a></li>
-<li><a href="time_tighten/time_tighten.html">Tighten Time</a></li>
-</ul>
+<!DOCTYPE html
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" >
-</body>
+<html xmlns="http://www.w3.org/1999/xhtml">
+ <head>
+ <link href="help.css" rel="stylesheet" type="text/css" />
+ <title>
+ Transformers
+ </title>
+ </head>
+ <body>
+ <h1>
+ Drawing Transformers
+ </h1>
+ <ul>
+ <li>
+ <a href="beautify/beautify.html">Beautify</a>
+ </li>
+ <li>
+ <a href="time_tighten/time_tighten.html">Tighten Time</a>
+ </li>
+ </ul>
+ </body>
</html>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
