nashorn/src/jdk/nashorn/internal/ir/AccessNode.java
author attila
Wed, 26 Feb 2014 13:17:57 +0100
changeset 24719 f726e9d67629
parent 20928 3ff39d5c8c08
child 24720 75f8388b79df
permissions -rw-r--r--
8035820: Optimistic recompilation Reviewed-by: hannesw, jlaskey, sundar Contributed-by: attila.szegedi@oracle.com, marcus.lagergren@oracle.com
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     1
/*
16151
97c1e756ae1e 8005663: Update copyright year to 2013
jlaskey
parents: 16147
diff changeset
     2
 * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved.
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     4
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    10
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    15
 * accompanied this code).
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    16
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    20
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    23
 * questions.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    24
 */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    25
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    26
package jdk.nashorn.internal.ir;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    27
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    28
import static jdk.nashorn.internal.codegen.ObjectClassGenerator.DEBUG_FIELDS;
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    29
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    30
import jdk.nashorn.internal.codegen.ObjectClassGenerator;
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    31
import jdk.nashorn.internal.codegen.types.Type;
17233
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
    32
import jdk.nashorn.internal.ir.annotations.Immutable;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    33
import jdk.nashorn.internal.ir.visitor.NodeVisitor;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    34
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    35
/**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    36
 * IR representation of a property access (period operator.)
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    37
 */
17233
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
    38
@Immutable
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
    39
public final class AccessNode extends BaseNode {
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    40
    /** Property ident. */
17233
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
    41
    private final IdentNode property;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    42
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    43
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    44
     * Constructor
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    45
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    46
     * @param token     token
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    47
     * @param finish    finish
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    48
     * @param base      base node
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    49
     * @param property  property
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    50
     */
18867
bc91e3fcc5ba 8013925: Remove symbol fields from nodes that don't need them
attila
parents: 17769
diff changeset
    51
    public AccessNode(final long token, final int finish, final Expression base, final IdentNode property) {
20928
3ff39d5c8c08 8026137: Fix Issues with Binary Evaluation Order
lagergren
parents: 18867
diff changeset
    52
        super(token, finish, base, false);
16530
201d682e75f4 8010652: Eliminate non-child references in Block/FunctionNode, and make few node types immutable
attila
parents: 16240
diff changeset
    53
        this.property = property.setIsPropertyName();
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    54
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    55
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    56
    private AccessNode(final AccessNode accessNode, final Expression base, final IdentNode property, final boolean isFunction, final Type optimisticType, final boolean isOptimistic, final int id) {
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    57
        super(accessNode, base, isFunction, optimisticType, isOptimistic, id);
17233
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
    58
        this.property = property;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    59
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    60
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    61
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    62
     * Assist in IR navigation.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    63
     * @param visitor IR navigating visitor.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    64
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    65
    @Override
17769
14ea7feaf658 8012522: Clean up lexical contexts - split out stack based functionality in CodeGenerator and generify NodeVisitors based on their LexicalContext type to avoid casts
lagergren
parents: 17525
diff changeset
    66
    public Node accept(final NodeVisitor<? extends LexicalContext> visitor) {
17233
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
    67
        if (visitor.enterAccessNode(this)) {
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
    68
            return visitor.leaveAccessNode(
18867
bc91e3fcc5ba 8013925: Remove symbol fields from nodes that don't need them
attila
parents: 17769
diff changeset
    69
                setBase((Expression)base.accept(visitor)).
17233
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
    70
                setProperty((IdentNode)property.accept(visitor)));
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    71
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    72
        return this;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    73
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    74
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    75
    @Override
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    76
    public void toString(final StringBuilder sb) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    77
        final boolean needsParen = tokenType().needsParens(getBase().tokenType(), true);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    78
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    79
        Node.optimisticType(this, sb);
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    80
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    81
        if (needsParen) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    82
            sb.append('(');
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    83
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    84
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    85
        base.toString(sb);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    86
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    87
        if (needsParen) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    88
            sb.append(')');
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    89
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    90
        sb.append('.');
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    91
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    92
        sb.append(property.getName());
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    93
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    94
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    95
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    96
     * Get the property
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    97
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    98
     * @return the property IdentNode
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    99
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   100
    public IdentNode getProperty() {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   101
        return property;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   102
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   103
18867
bc91e3fcc5ba 8013925: Remove symbol fields from nodes that don't need them
attila
parents: 17769
diff changeset
   104
    private AccessNode setBase(final Expression base) {
17233
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
   105
        if (this.base == base) {
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
   106
            return this;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   107
        }
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   108
        return new AccessNode(this, base, property, isFunction(), optimisticType, isOptimistic, programPoint);
17233
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
   109
    }
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
   110
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
   111
    private AccessNode setProperty(final IdentNode property) {
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
   112
        if (this.property == property) {
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
   113
            return this;
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
   114
        }
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   115
        return new AccessNode(this, base, property, isFunction(), optimisticType, isOptimistic, programPoint);
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   116
    }
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   117
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   118
    @Override
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   119
    public AccessNode setType(final TemporarySymbols ts, final Type optimisticType) {
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   120
        if (this.optimisticType == optimisticType) {
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   121
            return this;
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   122
        }
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   123
        if (DEBUG_FIELDS && getSymbol() != null && !Type.areEquivalent(getSymbol().getSymbolType(), optimisticType)) {
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   124
            ObjectClassGenerator.LOG.info(getClass().getName(), " ", this, " => ", optimisticType, " instead of ", getType());
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   125
        }
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   126
        return new AccessNode(this, base, property, isFunction(), optimisticType, isOptimistic, programPoint);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   127
    }
17233
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
   128
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
   129
    @Override
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   130
    public AccessNode setProgramPoint(int programPoint) {
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   131
        if (this.programPoint == programPoint) {
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   132
            return this;
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   133
        }
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   134
        return new AccessNode(this, base, property, isFunction(), optimisticType, isOptimistic, programPoint);
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   135
    }
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   136
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   137
    @Override
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   138
    public AccessNode setIsFunction() {
17233
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
   139
        if (isFunction()) {
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
   140
            return this;
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
   141
        }
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   142
        return new AccessNode(this, base, property, true, optimisticType, isOptimistic, programPoint);
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   143
    }
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   144
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   145
    @Override
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   146
    public AccessNode setIsOptimistic(final boolean isOptimistic) {
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   147
        if (this.isOptimistic == isOptimistic) {
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   148
            return this;
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   149
        }
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   150
        return new AccessNode(this, base, property, isFunction(), optimisticType, isOptimistic, programPoint);
17233
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
   151
    }
72ccf78a8216 8010701: Immutable nodes - final iteration
lagergren
parents: 16530
diff changeset
   152
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   153
}