de.uka.ilkd.key.testgen

Class RefEx

java.lang.Object

de.uka.ilkd.key.testgen.RefEx

public class RefEx
extends java.lang.Object

Reference expression

Author:

gladisch

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	field
java.lang.String	fieldType
java.lang.String	rcObj
java.lang.String	rcObjType

Constructor Summary

Constructors

Constructor and Description
RefEx(java.lang.String rcObjType, java.lang.String rcObj, java.lang.String fieldType, java.lang.String field) Example: rcObj.field, where rcObjType is the type of rcObj.

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

rcObjType

public java.lang.String rcObjType

rcObj

public java.lang.String rcObj

fieldType

public java.lang.String fieldType

field

public java.lang.String field

Constructor Detail

RefEx

public RefEx(java.lang.String rcObjType,
             java.lang.String rcObj,
             java.lang.String fieldType,
             java.lang.String field)

Example: rcObj.field, where rcObjType is the type of rcObj. The prefix "rc" stands for receiver.

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object