korat.instrumentation
Class Setter

java.lang.Object
  korat.instrumentation.Setter

public abstract class Setter
extends Object

Base class for all setters. Setters are used to set the field values for candidate structures. There is one setter per field. Most setters are implemented as anonymous classes, during instrumentation. There are set methods for all primitive types and one set method for reference types (including arrays). Each particular setter redefines one of set methods Setters are used instead of reflection mechanism which proved to be rather slow.

Author:

Sasa Misailovic

Constructor Summary

Setter()

Method Summary

void	set(boolean b)
void	set(byte b)
void	set(double d)
void	set(float f)
void	set(int i)
void	set(long l)
void	set(Object o)
void	set(short s)

Methods inherited from class java.lang.Object

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

Constructor Detail

Setter

public Setter()

Method Detail

set

public void set(boolean b)

set

public void set(byte b)

set

public void set(short s)

set

public void set(int i)

set

public void set(long l)

set

public void set(float f)

set

public void set(double d)

set

public void set(Object o)