Mercurial > hg > truffle

comparison graal/com.oracle.max.cri/src/com/sun/cri/ci/CiAssumptions.java @ 4142:bc8527f3071c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Adjust code base to new level of warnings.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Sun, 18 Dec 2011 05:24:06 +0100
parents e233f5660da4
children
comparison
equal deleted inserted replaced
4141:04d21be7a24f 4142:bc8527f3071c
32 * Recorded assumption can be visited for subsequent processing using 32 * Recorded assumption can be visited for subsequent processing using
33 * an implementation of the {@link CiAssumptionProcessor} interface. 33 * an implementation of the {@link CiAssumptionProcessor} interface.
34 */ 34 */
35 public final class CiAssumptions implements Serializable, Iterable<CiAssumptions.Assumption> { 35 public final class CiAssumptions implements Serializable, Iterable<CiAssumptions.Assumption> {
36 36
37 /**
38 *
39 */
40 private static final long serialVersionUID = 5152062717588239131L;
41
37 public abstract static class Assumption implements Serializable { 42 public abstract static class Assumption implements Serializable {
43
44 /**
45 *
46 */
47 private static final long serialVersionUID = -1936652569665112915L;
38 } 48 }
39 49
40 /** 50 /**
41 * An assumption about a unique subtype of a given type. 51 * An assumption about a unique subtype of a given type.
42 */ 52 */
43 public static final class ConcreteSubtype extends Assumption { 53 public static final class ConcreteSubtype extends Assumption {
54 /**
55 *
56 */
57 private static final long serialVersionUID = -1457173265437676252L;
58
44 /** 59 /**
45 * Type the assumption is made about. 60 * Type the assumption is made about.
46 */ 61 */
47 public final RiResolvedType context; 62 public final RiResolvedType context;
48 63
77 92
78 /** 93 /**
79 * An assumption about a unique implementation of a virtual method. 94 * An assumption about a unique implementation of a virtual method.
80 */ 95 */
81 public static final class ConcreteMethod extends Assumption { 96 public static final class ConcreteMethod extends Assumption {
97
98 /**
99 *
100 */
101 private static final long serialVersionUID = -7636746737947390059L;
82 102
83 /** 103 /**
84 * A virtual (or interface) method whose unique implementation for the receiver type 104 * A virtual (or interface) method whose unique implementation for the receiver type
85 * in {@link #context} is {@link #impl}. 105 * in {@link #context} is {@link #impl}.
86 */ 106 */
160 * Records an assumption that the specified type has no finalizable subclasses. 180 * Records an assumption that the specified type has no finalizable subclasses.
161 * 181 *
162 * @param receiverType the type that is assumed to have no finalizable subclasses 182 * @param receiverType the type that is assumed to have no finalizable subclasses
163 * @return {@code true} if the assumption was recorded and can be assumed; {@code false} otherwise 183 * @return {@code true} if the assumption was recorded and can be assumed; {@code false} otherwise
164 */ 184 */
185 @SuppressWarnings("static-method")
165 public boolean recordNoFinalizableSubclassAssumption(RiResolvedType receiverType) { 186 public boolean recordNoFinalizableSubclassAssumption(RiResolvedType receiverType) {
187 // TODO(tw): Record that assumption correctly.
166 return false; 188 return false;
167 } 189 }
168 190
169 /** 191 /**
170 * Records that {@code subtype} is the only concrete subtype in the class hierarchy below {@code context}. 192 * Records that {@code subtype} is the only concrete subtype in the class hierarchy below {@code context}.