Browse Source

Tidyup of graph XML input/output (part 2).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@82 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 19 years ago
parent
commit
a0426c08f4
  1. 38
      prism/src/chart/ChartException.java

38
prism/src/chart/ChartException.java

@ -0,0 +1,38 @@
//==============================================================================
//
// Copyright (c) 2002-2006, Dave Parker
//
// This file is part of PRISM.
//
// PRISM is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 2 of the License, or
// (at your option) any later version.
//
// PRISM 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 for more details.
//
// You should have received a copy of the GNU General Public License
// along with PRISM; if not, write to the Free Software Foundation,
// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
//
//==============================================================================
package chart;
public class ChartException extends Exception
{
public ChartException(String s)
{
super(s);
}
public String toString()
{
return "Error: " + getMessage() + ".";
}
}
//------------------------------------------------------------------------------
Loading…
Cancel
Save