View Javadoc

1   /********************************************************************************
2    *
3    *	Copyright (C) 2008 Fujitsu Services Ltd.
4    *
5    *	Author: Nick Battle
6    *
7    *	This file is part of VDMJ.
8    *	
9    *	VDMJ is free software: you can redistribute it and/or modify
10   *	it under the terms of the GNU General Public License as published by
11   *	the Free Software Foundation, either version 3 of the License, or
12   *	(at your option) any later version.
13   *	
14   *	VDMJ is distributed in the hope that it will be useful,
15   *	but WITHOUT ANY WARRANTY; without even the implied warranty of
16   *	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
17   *	GNU General Public License for more details.
18   *	
19   *	You should have received a copy of the GNU General Public License
20   *	along with VDMJ.  If not, see <http://www.gnu.org/licenses/>.
21   *
22   ******************************************************************************/
23  
24  package org.overturetool.vdmj.runtime;
25  
26  import org.overturetool.vdmj.lex.LexLocation;
27  import org.overturetool.vdmj.values.Value;
28  
29  @SuppressWarnings("serial")
30  public class ExitException extends ContextException
31  {
32  	public final Value value;
33  
34  	public ExitException(Value value, LexLocation location, Context ctxt)
35  	{
36  		super(4129, "Exit " + value.toString(), location, ctxt);
37  		this.value = value;
38  	}
39  }