TopValue.java revision 8a6199f0c36a778f22394364347a301b0b28e94b 
1/*
2 * ProGuard -- shrinking, optimization, obfuscation, and preverification
3 *             of Java bytecode.
4 *
5 * Copyright (c) 2002-2013 Eric Lafortune (eric@graphics.cornell.edu)
6 *
7 * This program is free software; you can redistribute it and/or modify it
8 * under the terms of the GNU General Public License as published by the Free
9 * Software Foundation; either version 2 of the License, or (at your option)
10 * any later version.
11 *
12 * This program is distributed in the hope that it will be useful, but WITHOUT
13 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
15 * more details.
16 *
17 * You should have received a copy of the GNU General Public License along
18 * with this program; if not, write to the Free Software Foundation, Inc.,
19 * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20 */
21package proguard.evaluation.value;
22
23/**
24 * This class represents a partially evaluated top value. A top value is the
25 * dummy value that takes up the extra space when storing a long value or a
26 * double value.
27 *
28 * @author Eric Lafortune
29 */
30public class TopValue extends Category1Value
31{
32    // Implementations for Value.
33
34    public boolean isSpecific()
35    {
36        return true;
37    }
38
39    public boolean isParticular()
40    {
41        return true;
42    }
43
44    public final Value generalize(Value other)
45    {
46        return this.getClass() == other.getClass() ? this : null;
47    }
48
49    public final int computationalType()
50    {
51        return TYPE_TOP;
52    }
53
54    public final String internalType()
55    {
56        return null;
57    }
58
59
60    // Implementations for Object.
61
62    public boolean equals(Object object)
63    {
64        return object != null &&
65               this.getClass() == object.getClass();
66    }
67
68
69    public int hashCode()
70    {
71        return this.getClass().hashCode();
72    }
73
74
75    public String toString()
76    {
77        return "T";
78    }
79}
80