de.uka.ilkd.key.testgen

Class Assignment

java.lang.Object

de.uka.ilkd.key.testgen.Assignment

public class Assignment
extends Object

This class creates either assignments or creates calls to setter methods to initiate fields.

Author:

gladisch, herda

Field Summary

Fields

Modifier and Type	Field and Description
protected Object	left
protected String	right
protected String	type

Constructor Summary

Constructors

Constructor and Description
Assignment(RefEx left, String right) The argument left of type RefEx must contains all needed information to invoke a setter method.
Assignment(String type, Object left, String right)
Assignment(String left, String right)

Method Summary

Modifier and Type	Method and Description
String	toString()
String	toString(boolean rfl)

Methods inherited from class java.lang.Object

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

Field Detail

type

protected final String type

left

protected final Object left

right

protected final String right

Constructor Detail

Assignment

public Assignment(String left,
                  String right)

Assignment

public Assignment(RefEx left,
                  String right)

The argument left of type RefEx must contains all needed information to invoke a setter method.

Assignment

public Assignment(String type,
                  Object left,
                  String right)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(boolean rfl)

Parameters:

rfl - If this argument is true, then an invokation of a setter method is created, otherwise an assignment is created.

Returns:

String representation of an assignment or a call to a setter method.