patterntesting.runtime.log.seq-head.template Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of patterntesting-rt Show documentation
Show all versions of patterntesting-rt Show documentation
PatternTesting Runtime (patterntesting-rt) is the runtime component for
the PatternTesting framework. It provides the annotations and base classes
for the PatternTesting testing framework (e.g. patterntesting-check,
patterntesting-concurrent or patterntesting-exception) but can be also
used standalone for classpath monitoring or profiling.
It uses AOP and AspectJ to perform this feat.
#
# Sequence Diagram
# ================
#
# To convert this pic file into another format (e.g. PostScript) use the
# pic2plot command from the GNU Plotutils:
#
# pic2plot -Tps file.pic > file.ps
#
# NOTE: The encoding if this file is ISO-8859-1.
# see also www.gnu.org/software/plotutils/manual/en/html_node/index.html
#
.PS
# copy "sequence.pic";
#
# Pic macros for drawing UML sequence diagrams
#
# (C) Copyright 2004-2005 Diomidis Spinellis.
#
# Permission to use, copy, and distribute this software and its
# documentation for any purpose and without fee is hereby granted,
# provided that the above copyright notice appear in all copies and that
# both that copyright notice and this permission notice appear in
# supporting documentation.
#
# THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR IMPLIED
# WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF
# MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE.
#
# Default parameters (can be redefined)
# Spacing between messages
spacing = 0.25;
# Active box width
awid = .1;
# Box height
boxht = 0.3;
# Commend folding
corner_fold=awid
# Comment distance
define comment_default_move {up 0.25 right 0.25};
# Comment height
comment_default_ht=0.5;
# Comment width
comment_default_wid=1;
# Underline object name
underline=1;
# Create a new object(name,label)
define object {
$1: box $2; move;
# Could also underline text with \mk\ul\ul\ul...\rt
if (underline) then {
line from $1.w + (.1, -.07) to $1.e + (-.1, -.07);
}
move to $1.e;
move right;
# Active is the level of activations of the object
# 0 : inactive : draw thin line swimlane
# 1 : active : draw thick swimlane
# > 1: nested : draw nested swimlane
active_$1 = 0;
lifestart_$1 = $1.s.y;
}
# Create a new external actor(name,label)
define actor {
$1: [
XSEQC: circle rad 0.06;
XSEQL: line from XSEQC.s down .12;
line from XSEQL.start - (.15,.02) to XSEQL.start + (.15,-.02);
XSEQL1: line from XSEQL.end left .08 down .15;
XSEQL2: line from XSEQL.end right .08 down .15;
line at XSEQC.n invis "" "" "" $2;
]
move to $1.e;
move right;
active_$1 = 0;
lifestart_$1 = $1.s.y - .05;
}
# Create a new placeholder object(name)
define placeholder_object {
$1: box invisible;
move;
move to $1.e;
move right;
active_$1 = 0;
lifestart_$1 = $1.s.y;
}
define pobject {
placeholder_object($1);
}
define extend_lifeline {
if (active_$1 > 0) then {
# draw the left edges of the boxes
move to ($1.x - awid/2, Here.y);
for level = 1 to active_$1 do {
line from (Here.x, lifestart_$1) to Here;
move right awid/2
}
# draw the right edge of the innermost box
move right awid/2;
line from (Here.x, lifestart_$1) to Here;
} else {
line from ($1.x, lifestart_$1) to ($1.x, Here.y) dashed;
}
lifestart_$1 = Here.y;
}
# complete(name)
# Complete the lifeline of the object with the given name
define complete {
extend_lifeline($1)
if (active_$1) then {
# draw bottom of all active boxes
line right ((active_$1 + 1) * awid/2) from ($1.x - awid/2, Here.y);
}
}
# Draw a message(from_object,to_object,label)
define message {
down;
move spacing;
# Adjust so that lines and arrows do not fall into the
# active box. Should be .5, but the arrow heads tend to
# overshoot.
if ($1.x <= $2.x) then {
off_from = awid * .6;
off_to = -awid * .6;
} else {
off_from = -awid * .6;
off_to = awid * .6;
}
# add half a box width for each level of nesting
if (active_$1 > 1) then {
off_from = off_from + (active_$1 - 1) * awid/2;
}
# add half a box width for each level of nesting
if (active_$2 > 1) then {
off_to = off_to + (active_$2 - 1) * awid/2;
}
if ($1.x == $2.x) then {
arrow from ($1.x + off_from, Here.y) right then down .25 then left $3 ljust " " " " " " ;
} else {
arrow from ($1.x + off_from, Here.y) to ($2.x + off_to, Here.y) $3 " ";
}
}
# Display a lifeline constraint(object,label)
define lifeline_constraint {
off_from = awid;
# add half a box width for each level of nesting
if (active_$1 > 1) then {
off_from = off_from + (active_$1 - 1) * awid/2;
}
box at ($1.x + off_from, Here.y) invis $2 ljust " " ;
}
define lconstraint {
lifeline_constraint($1,$2);
}
# Display an object constraint(label)
# for the last object drawn
define object_constraint {
{ box invis with .s at last box .nw $1 ljust; }
}
define oconstraint {
object_constraint($1);
}
# Draw a creation message(from_object,to_object,object_label)
define create_message {
down;
move spacing;
if ($1.x <= $2.x) then {
off_from = awid * .6;
off_to = -boxwid * .51;
} else {
off_from = -awid * .6;
off_to = boxwid * .51;
}
# add half a box width for each level of nesting
if (active_$1 > 1) then {
off_from = off_from + (active_$1 - 1) * awid/2;
}
# See comment in destroy_message
XSEQA: arrow from ($1.x + off_from, Here.y) to ($2.x + off_to, Here.y) "?create?" " ";
if ($1.x <= $2.x) then {
{ XSEQB: box $3 with .w at XSEQA.end; }
} else {
{ XSEQB: box $3 with .e at XSEQA.end; }
}
{
line from XSEQB.w + (.1, -.07) to XSEQB.e + (-.1, -.07);
}
lifestart_$2 = XSEQB.s.y;
move (spacing + boxht) / 2;
}
define cmessage {
create_message($1,$2,$3);
}
# Draw an X for a given object
define drawx {
{
line from($1.x - awid, lifestart_$1 - awid) to ($1.x + awid, lifestart_$1 + awid);
line from($1.x - awid, lifestart_$1 + awid) to ($1.x + awid, lifestart_$1 - awid);
}
}
# Draw a destroy message(from_object,to_object)
define destroy_message {
down;
move spacing;
# The troff code is \(Fo \(Fc
# The groff code is also \[Fo] \[Fc]
# The pic2plot code is \Fo \Fc
# See http://www.delorie.com/gnu/docs/plotutils/plotutils_71.html
# To stay compatible with all we have to hardcode the characters
message($1,$2,"?destroy?");
complete($2);
drawx($2);
}
define dmessage {
destroy_message($1,$2);
}
# An object deletes itself: delete(object)
define delete {
complete($1);
lifestart_$1 = lifestart_$1 - awid;
drawx($1);
}
# Draw a message return(from_object,to_object,label)
define return_message {
down;
move spacing;
# See comment in message
if ($1.x <= $2.x) then {
off_from = awid * .6;
off_to = -awid * .6;
} else {
off_from = -awid * .6;
off_to = awid * .6;
}
# add half a box width for each level of nesting
if (active_$1 > 1) then {
off_from = off_from + (active_$1 - 1) * awid/2;
}
# add half a box width for each level of nesting
if (active_$2 > 1) then {
off_to = off_to + (active_$2 - 1) * awid/2;
}
arrow from ($1.x + off_from, Here.y) to ($2.x + off_to, Here.y) dashed $3 " ";
}
define rmessage {
return_message($1,$2,$3);
}
# Object becomes active
# Can be nested to show recursion
define active {
extend_lifeline($1);
# draw top of new active box
line right awid from ($1.x + (active_$1 - 1) * awid/2, Here.y);
active_$1 = active_$1 + 1;
}
# Object becomes inactive
# Can be nested to show recursion
define inactive {
extend_lifeline($1);
active_$1 = active_$1 - 1;
# draw bottom of innermost active box
line right awid from ($1.x + (active_$1 - 1) * awid/2, Here.y);
}
# Time step
# Useful at the beginning and the end
# to show object states
define step {
down;
move spacing;
}
# Switch to asynchronous messages
define async {
arrowhead = 0;
arrowwid = arrowwid * 2;
}
# Switch to synchronous messages
define sync {
arrowhead = 1;
arrowwid = arrowwid / 2;
}
# same as lifeline_constraint, but Text and empty string are exchanged.
define lconstraint_below{
off_from = awid;
# add half a box width for each level of nesting
if (active_$1 > 1) then {
off_from = off_from + (active_$1 - 1) * awid/2;
}
box at ($1.x + off_from, Here.y) invis "" $2 ljust;
}
# begin_frame(left_object,name,label_text);
define begin_frame {
# The lifeline will be cut here
extend_lifeline($1);
# draw the frame-label
$2: box $3 invis with .n at ($1.x, Here.y);
d = $2.e.y - $2.se.y;
line from $2.ne to $2.e then down d left d then to $2.sw;
# continue the lifeline below the frame-label
move to $2.s;
lifestart_$1 = Here.y;
}
# end_frame(right_object,name);
define end_frame {
# dummy-box for the lower right corner:
box invis "" with .s at ($1.x, Here.y);
# draw the frame
frame_wid = last box.se.x - $2.nw.x
frame_ht = - last box.se.y + $2.nw.y
box with .nw at $2.nw wid frame_wid ht frame_ht;
# restore Here.y
move to last box.s;
}
# comment(object,[name],[line_movement], [box_size] text);
define comment {
old_y = Here.y
# draw the first connecting line, at which's end the box wil be positioned
move to ($1.x, Here.y)
if "$3" == "" then {
line comment_default_move() dashed;
} else {
line $3 dashed;
}
# draw the box, use comment_default_xx if no explicit
# size is given together with the text in parameter 4
old_boxht=boxht;
old_boxwid=boxwid;
boxht=comment_default_ht;
boxwid=comment_default_wid;
if "$2" == "" then {
box invis $4;
} else {
$2: box invis $4;
}
boxht=old_boxht;
boxwid=old_boxwid;
# draw the frame of the comment
line from last box.nw \
to last box.ne - (corner_fold, 0) \
then to last box.ne - (0, corner_fold) \
then to last box.se \
then to last box.sw \
then to last box.nw ;
line from last box.ne - (corner_fold, 0) \
to last box.ne - (corner_fold, corner_fold) \
then to last box.ne - (0, corner_fold) ;
# restore Here.y
move to ($1.x, old_y)
}
# connect_to_comment(object,name);
define connect_to_comment {
old_y = Here.y
# start at the object
move to ($1.x, Here.y)
# find the best connection-point of the comment to use as line-end
if $1.x < $2.w.x then {
line to $2.w dashed;
} else {
if $1.x > $2.e.x then {
line to $2.e dashed;
} else {
if Here.y < $2.s.y then {
line to $2.s dashed;
} else {
if Here.y > $2.n.y then {
line to $2.n dashed;
}
}
}
}
# restore Here.y
move to ($1.x, old_y)
}
# ------------------------- Begin of Sequence Diagram -------------------------
# Define the objects