2016-03-06 16:47:34 +00:00
|
|
|
/* ========================================================================
|
|
|
|
* PlantUML : a free UML diagram generator
|
|
|
|
* ========================================================================
|
|
|
|
*
|
|
|
|
* Project Info: http://plantuml.com
|
|
|
|
*
|
2017-03-15 19:13:31 +00:00
|
|
|
* If you like this project or if you find it useful, you can support us at:
|
|
|
|
*
|
|
|
|
* http://plantuml.com/patreon (only 1$ per month!)
|
|
|
|
* http://plantuml.com/paypal
|
|
|
|
*
|
2016-03-06 16:47:34 +00:00
|
|
|
* This file is part of Smetana.
|
|
|
|
* Smetana is a partial translation of Graphviz/Dot sources from C to Java.
|
|
|
|
*
|
2019-01-16 18:34:41 +00:00
|
|
|
* (C) Copyright 2009-2020, Arnaud Roques
|
2016-03-06 16:47:34 +00:00
|
|
|
*
|
|
|
|
* This translation is distributed under the same Licence as the original C program.
|
|
|
|
*
|
|
|
|
* THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS ECLIPSE PUBLIC
|
|
|
|
* LICENSE ("AGREEMENT"). [Eclipse Public License - v 1.0]
|
|
|
|
*
|
|
|
|
* ANY USE, REPRODUCTION OR DISTRIBUTION OF THE PROGRAM CONSTITUTES
|
|
|
|
* RECIPIENT'S ACCEPTANCE OF THIS AGREEMENT.
|
|
|
|
*
|
|
|
|
* You may obtain a copy of the License at
|
|
|
|
*
|
|
|
|
* http://www.eclipse.org/legal/epl-v10.html
|
|
|
|
*
|
|
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
|
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
* See the License for the specific language governing permissions and
|
|
|
|
* limitations under the License.
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
|
|
|
package smetana.core;
|
|
|
|
|
2020-11-21 17:33:24 +00:00
|
|
|
import static smetana.core.Macro.UNSUPPORTED;
|
|
|
|
|
2016-03-06 16:47:34 +00:00
|
|
|
public class jmp_buf {
|
|
|
|
|
|
|
|
private boolean hasBeenCalled;
|
|
|
|
|
2020-11-21 17:33:24 +00:00
|
|
|
private boolean hasBeenCalled() {
|
|
|
|
UNSUPPORTED("hasBeenCalled");
|
2016-03-06 16:47:34 +00:00
|
|
|
return hasBeenCalled;
|
|
|
|
}
|
|
|
|
|
|
|
|
public void saveCallingEnvironment() {
|
2016-04-04 19:05:10 +00:00
|
|
|
// System.err.println("jmp_buf::saveCallingEnvironment");
|
2016-03-06 16:47:34 +00:00
|
|
|
hasBeenCalled = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|