1 /* 2 * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. 8 * 9 * This code is distributed in the hope that it will be useful, but WITHOUT 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 12 * version 2 for more details (a copy is included in the LICENSE file that 13 * accompanied this code). 14 * 15 * You should have received a copy of the GNU General Public License version 16 * 2 along with this work; if not, write to the Free Software Foundation, 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 18 * 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 20 * or visit www.oracle.com if you need additional information or have any 21 * questions. 22 */ 23 24 package $package; 25 26 import java.io.IOException; 27 import java.io.Serializable; 28 import failureAtomicity.SerialRef; 29 30 public class Bar extends Foo implements Serializable { 31 static final long serialVersionUID = -0L; 32 33 public final long barPrim; 34 public final String barRef; 35 36 public final SerialRef ref; // So we can retrieve a reference to check 37 public $zebra_type zebraBar; // ordered alphabetically, must be last 38 39 public Bar(int fooPrim, String fooRef, $foo_zebra_type fooZebra, 40 long barPrim, String barRef, $zebra_type zebra) { 41 super(fooPrim, fooRef, fooZebra); 42 this.barPrim = barPrim; 43 this.barRef = barRef; 44 this.zebraBar = zebra; 45 this.ref = new SerialRef(this); 46 } 47 48 @Override 49 public String toString() { 50 return new StringBuilder() 51 .append("$package.Bar[") 52 .append("barPrim:").append(barPrim) 53 .append(", barRef:").append(barRef) 54 .append(", zebraBar:").append(zebraBar) 55 .append(", " + super.toString()) 56 .toString(); 57 } 58 59 //$has_readObject private void readObject(java.io.ObjectInputStream in) 60 //$has_readObject throws IOException, ClassNotFoundException 61 //$has_readObject { 62 //$has_readObject in.defaultReadObject(); 63 //$has_readObject } 64 }