Mercurial > hg > truffle

annotate truffle/com.oracle.truffle.sl/src/com/oracle/truffle/sl/nodes/access/SLWritePropertyCacheNode.java @ 22003:5bc7f7b867ab

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Making debugger always on for each TruffleVM execution. Introducing EventConsumer to process such debugger events. Requesting each RootNode to be associated with a TruffleLanguage, so debugger can find out proper context for each Node where executions gets suspended.
author Jaroslav Tulach <jaroslav.tulach@oracle.com>
date Sat, 18 Jul 2015 18:03:36 +0200
parents c07e64ecb528
children 503529c65456
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1 /*
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
2 * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved.
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
4 *
21997
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
5 * The Universal Permissive License (UPL), Version 1.0
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
6 *
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
7 * Subject to the condition set forth below, permission is hereby granted to any
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
8 * person obtaining a copy of this software, associated documentation and/or
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
9 * data (collectively the "Software"), free of charge and under any and all
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
10 * copyright rights in the Software, and any and all patent rights owned or
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
11 * freely licensable by each licensor hereunder covering either (i) the
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
12 * unmodified Software as contributed to or provided by such licensor, or (ii)
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
13 * the Larger Works (as defined below), to deal in both
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
14 *
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
15 * (a) the Software, and
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
16 *
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
17 * (b) any piece of software and/or hardware listed in the lrgrwrks.txt file if
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
18 * one is included with the Software each a "Larger Work" to which the Software
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
19 * is contributed by such licensors),
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
20 *
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
21 * without restriction, including without limitation the rights to copy, create
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
22 * derivative works of, display, perform, and distribute the Software and make,
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
23 * use, sell, offer for sale, import, export, have made, and have sold the
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
24 * Software and the Larger Work(s), and to sublicense the foregoing rights on
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
25 * either these or other terms.
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
26 *
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
27 * This license is subject to the following condition:
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
28 *
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
29 * The above copyright notice and either this complete permission notice or at a
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
30 * minimum a reference to the UPL must be included in all copies or substantial
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
31 * portions of the Software.
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
32 *
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
33 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
34 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
35 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
36 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
37 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
38 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
c07e64ecb528 Update SL copyright headers to use UPL
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents: 21951
diff changeset
39 * SOFTWARE.
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
40 */
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
41 package com.oracle.truffle.sl.nodes.access;
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
42
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
43 import com.oracle.truffle.api.*;
21554
b1530a6cce8c renamed com.oracle.graal.[debug|options|hotspotvmconfig]* modules to com.oracle.jvmci.[debug|options|hotspotvmconfig]* modules (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents: 20955
diff changeset
44 import com.oracle.truffle.api.CompilerDirectives.TruffleBoundary;
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
45 import com.oracle.truffle.api.dsl.*;
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
46 import com.oracle.truffle.api.nodes.*;
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
47 import com.oracle.truffle.api.object.*;
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
48
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
49 public abstract class SLWritePropertyCacheNode extends Node {
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
50
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
51 protected final String propertyName;
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
52
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
53 public SLWritePropertyCacheNode(String propertyName) {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
54 this.propertyName = propertyName;
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
55 }
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
56
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
57 public abstract void executeObject(DynamicObject receiver, Object value);
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
58
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
59 @Specialization(guards = "location.isValid(receiver, value)", assumptions = "location.getAssumptions()")
22003
5bc7f7b867ab Making debugger always on for each TruffleVM execution. Introducing EventConsumer to process such debugger events. Requesting each RootNode to be associated with a TruffleLanguage, so debugger can find out proper context for each Node where executions gets suspended.
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21997
diff changeset
60 public void writeCached(DynamicObject receiver, Object value, //
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
61 @Cached("createCachedWrite(receiver, value)") CachedWriteLocation location) {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
62 if (location.writeUnchecked(receiver, value)) {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
63 // write successful
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
64 } else {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
65 executeObject(receiver, value);
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
66 }
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
67 }
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
68
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
69 @Specialization(contains = "writeCached")
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
70 @TruffleBoundary
22003
5bc7f7b867ab Making debugger always on for each TruffleVM execution. Introducing EventConsumer to process such debugger events. Requesting each RootNode to be associated with a TruffleLanguage, so debugger can find out proper context for each Node where executions gets suspended.
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21997
diff changeset
71 public void writeGeneric(DynamicObject receiver, Object value, //
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
72 @Cached("new(createCachedWrite(receiver, value))") LRUCachedWriteLocation lru) {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
73 CachedWriteLocation location = lru.location;
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
74 if (!location.isValid(receiver, value) || !location.areAssumptionsValid()) {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
75 location = createCachedWrite(receiver, value);
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
76 lru.location = location;
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
77 }
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
78 if (location.writeUnchecked(receiver, value)) {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
79 // write successful
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
80 } else {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
81 executeObject(receiver, value);
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
82 }
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
83 }
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
84
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
85 protected CachedWriteLocation createCachedWrite(DynamicObject receiver, Object value) {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
86 while (receiver.updateShape()) {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
87 // multiple shape updates might be needed.
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
88 }
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
89
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
90 Shape oldShape = receiver.getShape();
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
91 Shape newShape;
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
92 Property property = oldShape.getProperty(propertyName);
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
93
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
94 if (property != null && property.getLocation().canSet(receiver, value)) {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
95 newShape = oldShape;
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
96 } else {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
97 receiver.define(propertyName, value, 0);
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
98 newShape = receiver.getShape();
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
99 property = newShape.getProperty(propertyName);
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
100 }
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
101
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
102 if (!oldShape.check(receiver)) {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
103 return createCachedWrite(receiver, value);
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
104 }
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
105
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
106 return new CachedWriteLocation(oldShape, newShape, property.getLocation());
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
107
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
108 }
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
109
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
110 protected static final class CachedWriteLocation {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
111
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
112 private final Shape oldShape;
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
113 private final Shape newShape;
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
114 private final Location location;
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
115 private final Assumption validLocation = Truffle.getRuntime().createAssumption();
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
116
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
117 public CachedWriteLocation(Shape oldShape, Shape newShape, Location location) {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
118 this.oldShape = oldShape;
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
119 this.newShape = newShape;
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
120 this.location = location;
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
121 }
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
122
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
123 public boolean areAssumptionsValid() {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
124 return validLocation.isValid() && oldShape.getValidAssumption().isValid() && newShape.getValidAssumption().isValid();
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
125 }
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
126
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
127 public Assumption[] getAssumptions() {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
128 return new Assumption[]{oldShape.getValidAssumption(), newShape.getValidAssumption(), validLocation};
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
129 }
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
130
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
131 public boolean isValid(DynamicObject receiver, Object value) {
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
132 return oldShape.check(receiver) && location.canSet(receiver, value);
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
133 }
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
134
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
135 public boolean writeUnchecked(DynamicObject receiver, Object value) {
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
136 try {
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
137 if (oldShape == newShape) {
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
138 location.set(receiver, value, oldShape);
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
139 } else {
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
140 location.set(receiver, value, oldShape, newShape);
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
141 }
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
142 return true;
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
143 } catch (IncompatibleLocationException | FinalLocationException e) {
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
144 validLocation.invalidate();
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
145 return false;
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
146 }
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
147 }
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
148 }
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
149
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
150 protected static final class LRUCachedWriteLocation {
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
151
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
152 private CachedWriteLocation location;
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
153
20955
f7bc60c3a8f6 SL: use DSL for property writes.
Christian Humer <christian.humer@gmail.com>
parents: 18412
diff changeset
154 public LRUCachedWriteLocation(CachedWriteLocation location) {
18412
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
155 this.location = location;
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
156 }
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
157
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
158 }
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
159
997bc9764a9a SL: use the truffle object storage model to represent SL objects
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
160 }