Member.java revision 734
7db630a55be9d955c8ac125da609b304cbcc6010vboxsync * Copyright (c) 2010, Oracle and/or its affiliates. All rights reserved.
7db630a55be9d955c8ac125da609b304cbcc6010vboxsync * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
7db630a55be9d955c8ac125da609b304cbcc6010vboxsync * This code is free software; you can redistribute it and/or modify it
7db630a55be9d955c8ac125da609b304cbcc6010vboxsync * under the terms of the GNU General Public License version 2 only, as
1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsync * published by the Free Software Foundation.
a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync * This code is distributed in the hope that it will be useful, but WITHOUT
a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync * version 2 for more details (a copy is included in the LICENSE file that
a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync * accompanied this code).
a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync * You should have received a copy of the GNU General Public License version
a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync * 2 along with this work; if not, write to the Free Software Foundation,
a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync * or visit www.oracle.com if you need additional information or have any
a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync * questions.
1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsync * Annotation used by ModelChecker to mark a member that is to be checked