From 2b7c9ea395aa15bf7d5107f3ee01e6526997fd6e Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 11 Feb 2004 15:20:45 +0000 Subject: [PATCH] * src/SpotWrapper.cc (SpotWrapper::SPOT_AND, SpotWrapper::SPOT_OR): Define as && and || as in Spin. * src/SpotWrapper.hh: Update by email. --- lbtt/ChangeLog | 6 ++++++ lbtt/src/SpotWrapper.cc | 8 ++++---- lbtt/src/SpotWrapper.h | 4 ++-- 3 files changed, 12 insertions(+), 6 deletions(-) diff --git a/lbtt/ChangeLog b/lbtt/ChangeLog index e71afb90e..4d7c937ca 100644 --- a/lbtt/ChangeLog +++ b/lbtt/ChangeLog @@ -1,3 +1,9 @@ +2004-02-11 Alexandre Duret-Lutz + + * src/SpotWrapper.cc (SpotWrapper::SPOT_AND, SpotWrapper::SPOT_OR): + Define as && and || as in Spin. + * src/SpotWrapper.hh: Update by email. + 2004-01-16 Alexandre Duret-Lutz * src/TestOperations.cc: Include sys/wait.h. diff --git a/lbtt/src/SpotWrapper.cc b/lbtt/src/SpotWrapper.cc index 8049802eb..2512dcd51 100644 --- a/lbtt/src/SpotWrapper.cc +++ b/lbtt/src/SpotWrapper.cc @@ -1,8 +1,8 @@ /* - * Copyright (C) 2003 + * Copyright (C) 2003, 2004 * Heikki Tauriainen * - * Derived from SpinWrapper.cc by Alexandre Duret-Lutz . + * Derived from SpinWrapper.cc by Alexandre Duret-Lutz . * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License @@ -40,8 +40,8 @@ * *****************************************************************************/ -const char SpotWrapper::SPOT_AND[] = "&"; -const char SpotWrapper::SPOT_OR[] = "|"; +const char SpotWrapper::SPOT_AND[] = "&&"; +const char SpotWrapper::SPOT_OR[] = "||"; const char SpotWrapper::SPOT_XOR[] = "^"; diff --git a/lbtt/src/SpotWrapper.h b/lbtt/src/SpotWrapper.h index 110a9213e..cccd36e06 100644 --- a/lbtt/src/SpotWrapper.h +++ b/lbtt/src/SpotWrapper.h @@ -1,8 +1,8 @@ /* - * Copyright (C) 2003 + * Copyright (C) 2003, 2004 * Heikki Tauriainen * - * Derived from SpinWrapper.h by Alexandre Duret-Lutz . + * Derived from SpinWrapper.h by Alexandre Duret-Lutz . * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License