| /* | |
| * Copyright (c) 2015, 2019, Oracle and/or its affiliates. All rights reserved. | |
| * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. | |
| * | |
| * This code is free software; you can redistribute it and/or modify it | |
| * under the terms of the GNU General Public License version 2 only, as | |
| * published by the Free Software Foundation. | |
| * | |
| * This code 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 (a copy is included in the LICENSE file that | |
| * accompanied this code). | |
| * | |
| * You should have received a copy of the GNU General Public License version | |
| * 2 along with this work; if not, write to the Free Software Foundation, | |
| * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
| * | |
| * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA | |
| * or visit www.oracle.com if you need additional information or have any | |
| * questions. | |
| */ | |
| package $package; | |
| import java.io.IOException; | |
| import java.io.Serializable; | |
| import failureAtomicity.SerialRef; | |
| public class Bar extends Foo implements Serializable { | |
| private static final long serialVersionUID = -0L; | |
| public final long barPrim; | |
| public final String barRef; | |
| public final SerialRef ref; // So we can retrieve a reference to check | |
| public $zebra_type zebraBar; // ordered alphabetically, must be last | |
| public Bar(int fooPrim, String fooRef, $foo_zebra_type fooZebra, | |
| long barPrim, String barRef, $zebra_type zebra) { | |
| super(fooPrim, fooRef, fooZebra); | |
| this.barPrim = barPrim; | |
| this.barRef = barRef; | |
| this.zebraBar = zebra; | |
| this.ref = new SerialRef(this); | |
| } | |
| @Override | |
| public String toString() { | |
| return new StringBuilder() | |
| .append("$package.Bar[") | |
| .append("barPrim:").append(barPrim) | |
| .append(", barRef:").append(barRef) | |
| .append(", zebraBar:").append(zebraBar) | |
| .append(", " + super.toString()) | |
| .toString(); | |
| } | |
| //$has_readObject private void readObject(java.io.ObjectInputStream in) | |
| //$has_readObject throws IOException, ClassNotFoundException | |
| //$has_readObject { | |
| //$has_readObject in.defaultReadObject(); | |
| //$has_readObject } | |
| } |