1917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul/*
2917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Copyright (C) 2007 The Android Open Source Project
3917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul *
4917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Licensed under the Apache License, Version 2.0 (the "License");
5917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * you may not use this file except in compliance with the License.
6917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * You may obtain a copy of the License at
7917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul *
8917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul *      http://www.apache.org/licenses/LICENSE-2.0
9917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul *
10917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Unless required by applicable law or agreed to in writing, software
11917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * distributed under the License is distributed on an "AS IS" BASIS,
12917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * See the License for the specific language governing permissions and
14917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * limitations under the License.
15917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul */
16917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul
17917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgulpackage com.android.dexgen.rop.cst;
18917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul
19917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgulimport com.android.dexgen.rop.type.Type;
20917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul
21917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul/**
22917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Constant type to represent a known-{@code null} value.
23917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul */
24917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgulpublic final class CstKnownNull extends CstLiteralBits {
25917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    /** {@code non-null;} unique instance of this class */
26917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    public static final CstKnownNull THE_ONE = new CstKnownNull();
27917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul
28917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    /**
29917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul     * Constructs an instance. This class is not publicly instantiable. Use
30917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul     * {@link #THE_ONE}.
31917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul     */
32917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    private CstKnownNull() {
33917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul        // This space intentionally left blank.
34917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    }
35917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul
36917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    /** {@inheritDoc} */
37917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    @Override
38917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    public boolean equals(Object other) {
39917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul        return (other instanceof CstKnownNull);
40917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    }
41917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul
42917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    /** {@inheritDoc} */
43917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    @Override
44917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    public int hashCode() {
45917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul        return 0x4466757a;
46917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    }
47917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul
48917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    /** {@inheritDoc} */
49917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    @Override
50917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    protected int compareTo0(Constant other) {
51917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul        return 0;
52917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    }
53917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul
54917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    /** {@inheritDoc} */
55917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    @Override
56917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    public String toString() {
57917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul        return "known-null";
58917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    }
59917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul
60917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    /** {@inheritDoc} */
61917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    public Type getType() {
62917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul        return Type.KNOWN_NULL;
63917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    }
64917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul
65917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    /** {@inheritDoc} */
66917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    @Override
67917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    public String typeName() {
68917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul        return "known-null";
69917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    }
70917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul
71917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    /** {@inheritDoc} */
72917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    @Override
73917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    public boolean isCategory2() {
74917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul        return false;
75917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    }
76917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul
77917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    /** {@inheritDoc} */
78917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    public String toHuman() {
79917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul        return "null";
80917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    }
81917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul
82917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    /** {@inheritDoc} */
83917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    @Override
84917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    public boolean fitsInInt() {
85917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul        // See comment in getIntBits().
86917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul        return true;
87917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    }
88917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul
89917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    /**
90917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul     * {@inheritDoc}
91917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul     *
92917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul     * As "literal bits," a known-null is always represented as the
93917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul     * number zero.
94917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul     */
95917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    @Override
96917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    public int getIntBits() {
97917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul        return 0;
98917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    }
99917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul
100917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    /**
101917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul     * {@inheritDoc}
102917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul     *
103917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul     * As "literal bits," a known-null is always represented as the
104917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul     * number zero.
105917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul     */
106917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    @Override
107917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    public long getLongBits() {
108917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul        return 0;
109917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul    }
110917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul}
111