blob: a849fc0959f52999b38f7c7345df8c9ef7e9caa8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
/*
* Licensed to the Apache Software Foundation (ASF) under one or more
* contributor license agreements. See the NOTICE file distributed with
* this work for additional information regarding copyright ownership.
* The ASF licenses this file to You under the Apache License, Version 2.0
* (the "License"); you may not use this file except in compliance with
* the License. You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* 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 org.apache.bcel.verifier.structurals;
import org.apache.bcel.Const;
import org.apache.bcel.Constants;
import org.apache.bcel.generic.ObjectType;
import org.apache.bcel.generic.ReferenceType;
/**
* This class represents an uninitialized object type; see The Java
* Virtual Machine Specification, Second Edition, page 147: 4.9.4 for
* more details.
*
* @version $Id$
*/
public class UninitializedObjectType extends ReferenceType implements Constants {
/** The "initialized" version. */
private final ObjectType initialized;
/** Creates a new instance. */
public UninitializedObjectType(final ObjectType t) {
super(Const.T_UNKNOWN, "<UNINITIALIZED OBJECT OF TYPE '"+t.getClassName()+"'>");
initialized = t;
}
/**
* Returns the ObjectType of the same class as the one of the uninitialized object
* represented by this UninitializedObjectType instance.
*/
public ObjectType getInitialized() {
return initialized;
}
/** @return a hash code value for the object.
*/
@Override
public int hashCode() { return initialized.hashCode(); }
/**
* Returns true on equality of this and o.
* Equality means the ObjectType instances of "initialized"
* equal one another in this and the o instance.
*
*/
@Override
public boolean equals(final Object o) {
if (! (o instanceof UninitializedObjectType)) {
return false;
}
return initialized.equals(((UninitializedObjectType)o).initialized);
}
}
|