gov.nasa.jpf.jvm.bytecode

Class PutHelper

java.lang.Object

gov.nasa.jpf.jvm.bytecode.PutHelper

public class PutHelper
extends java.lang.Object

helper class to factor out common PUT code <2do> This is going to be moved into a Java 8 interface with default methods

Constructor Summary

Constructors

Constructor and Description
PutHelper()

Method Summary

Modifier and Type	Method and Description
protected static boolean	hasNewValue(ThreadInfo ti, StackFrame frame, ElementInfo eiFieldOwner, FieldInfo fi)
protected static long	setField(ThreadInfo ti, StackFrame frame, ElementInfo eiFieldOwner, FieldInfo fi)
protected static int	setReferenceField(ThreadInfo ti, StackFrame frame, ElementInfo eiFieldOwner, FieldInfo fi)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PutHelper

public PutHelper()

Method Detail

hasNewValue

protected static boolean hasNewValue(ThreadInfo ti,
                                     StackFrame frame,
                                     ElementInfo eiFieldOwner,
                                     FieldInfo fi)

setReferenceField

protected static int setReferenceField(ThreadInfo ti,
                                       StackFrame frame,
                                       ElementInfo eiFieldOwner,
                                       FieldInfo fi)

setField

protected static long setField(ThreadInfo ti,
                               StackFrame frame,
                               ElementInfo eiFieldOwner,
                               FieldInfo fi)