note description: "An unknown Eiffel test catalog instruction" legal: "See notice at end of class." status: "See notice at end of class."; date: "93/08/30" class EW_UNKNOWN_CAT_INST inherit EW_CATALOG_INSTRUCTION; feature execute (tcf: EW_TEST_CATALOG_FILE) -- Execute instruction from information in `tcf'. -- Set `execute_ok' to indicate whether -- execution was successful. do failure_explanation := {STRING_32} "unknown test catalog instruction %"" + tcf.command + "%"" execute_ok := False end note copyright: "[ Copyright (c) 1984-2007, University of Southern California and contributors. All rights reserved. ]" license: "Your use of this work is governed under the terms of the GNU General Public License version 2" copying: "[ This file is part of the EiffelWeasel Eiffel Regression Tester. The EiffelWeasel Eiffel Regression Tester is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License version 2 as published by the Free Software Foundation. The EiffelWeasel Eiffel Regression Tester is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License version 2 for more details. You should have received a copy of the GNU General Public License version 2 along with the EiffelWeasel Eiffel Regression Tester if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA ]" end