#!vsl

// $Id: flowplus,v 1.1.1.1 1995/05/01 15:48:49 zeller Exp $ 
// Tester flowplus.vsl

// $Log: flowplus,v $
# Revision 1.1.1.1  1995/05/01  15:48:49  zeller
# DDD 0.9 distribution
#
// Revision 9.3  1993/06/25  12:03:02  zeller
// Fix: Kommentare Log-Datei angepasst
//
// Revision 9.2  1993/05/22  20:22:30  zeller
// %Q% added by apply-q-flag.sh 1.5
//
// Revision 9.1  1991/07/08  06:01:25  zeller
// Installierte Version
// 
// Revision 8.1  1991/07/06  15:04:25  zeller
// Installierte Version
// 
// Revision 1.3  1991/06/07  14:15:28  zeller
// ID eingefuehrt
// 
// Revision 1.2  1991/06/07  14:14:46  zeller
// Unbenutzte Variablen in "_" umbenannt
// 
// Revision 1.1  1991/05/25  12:39:32  zeller
// Initial revision
// 

#include <flowplus.vsl>

stat = statFlow("a := b");

b((box, _...)) = box;

goto1 = gotoFlow("1");
goto2 = gotoFlow("2");
goto3 = gotoFlow("3");

label1 = labelFlow("1");
label2 = labelFlow("2");
label3 = labelFlow("3");

ok(_...) -> outputFlow(fragFlow(
  stat, 
  goto1, 
  label2,
  stat, 
  label1, 
  stat,
  goto3,
  label3,
  goto1
  ));
