/**
 * Copyright (c) 2013 Stefan Marr, stefan.marr@vub.ac.be
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 * THE SOFTWARE.
 */
package som.interpreter.nodes;

import som.interpreter.Types;
import som.vm.Universe;
import som.vmobjects.SAbstractObject;
import som.vmobjects.SObject;

import com.oracle.truffle.api.frame.VirtualFrame;


public abstract class FieldNode extends ContextualNode {

  protected final int fieldIndex;

  public FieldNode(final int fieldIndex, final int contextLevel) {
    super(contextLevel);
    this.fieldIndex = fieldIndex;
  }

  public static class FieldReadNode extends FieldNode {

    public FieldReadNode(final int fieldIndex, final int contextLevel) {
      super(fieldIndex, contextLevel);
    }

    @Override
    public SAbstractObject executeGeneric(final VirtualFrame frame) {
      SObject self = (SObject) determineOuterSelf(frame);
      return self.getField(fieldIndex);
    }
  }

  public static class FieldWriteNode extends FieldNode {

    @Child private ExpressionNode exp;

    public FieldWriteNode(final int fieldIndex,
        final int contextLevel,
        final ExpressionNode exp) {
      super(fieldIndex, contextLevel);
      this.exp = adoptChild(exp);
    }

    @Override
    public SAbstractObject executeGeneric(final VirtualFrame frame) {
      SAbstractObject value = Types.asAbstractObject(exp.executeGeneric(frame), Universe.current());
      SObject self = (SObject) determineOuterSelf(frame);

      self.setField(fieldIndex, value);
      return value;
    }
  }
}

@@ -1288,16 +1288,66 @@
 bject;%0A%0A
+import com.oracle.truffle.api.CompilerDirectives;%0A
 import c
@@ -1622,32 +1622,38 @@
   public static 
+final 
 class FieldReadN
@@ -1890,32 +1890,24 @@
     
-S
 Object 
-s
+rawS
 elf =
- (SObject)
  det
@@ -1926,24 +1926,106 @@
 elf(frame);%0A
+      SObject self = CompilerDirectives.unsafeCast(rawSelf, SObject.class, true);%0A
       return
@@ -2079,16 +2079,22 @@
  static 
+final 
 class Fi
@@ -2558,32 +2558,24 @@
     
-S
 Object 
-s
+rawS
 elf =
- (SObject)
  det
@@ -2597,16 +2597,98 @@
 (frame);
+%0A      SObject self = CompilerDirectives.unsafeCast(rawSelf, SObject.class, true);
 %0A%0A      

Make the cast of self to SObject in Field*Node an unsafe cast, we know it is always an SObject