de.upb.hni.vmagic
Class WaveformElement

java.lang.Object
  extended by de.upb.hni.vmagic.WaveformElement

public class WaveformElement
extends java.lang.Object

Waveform element.


Constructor Summary
WaveformElement(Expression value)
          Creates a waveform element.
WaveformElement(Expression value, Expression after)
          Creates a waveform element with a delay.
 
Method Summary
 Expression getAfter()
          Returns the delay of this waveform element.
 Expression getValue()
          Returns the value of this waveform element.
 void setAfter(Expression after)
          Sets the delay of this waveform element.
 void setValue(Expression value)
          Sets the value of this waveform element.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WaveformElement

public WaveformElement(Expression value)
Creates a waveform element.

Parameters:
value - the value

WaveformElement

public WaveformElement(Expression value,
                       Expression after)
Creates a waveform element with a delay.

Parameters:
value - the value
after - the delay
Method Detail

getAfter

public Expression getAfter()
Returns the delay of this waveform element.

Returns:
the delay

setAfter

public void setAfter(Expression after)
Sets the delay of this waveform element.

Parameters:
after - the delay

getValue

public Expression getValue()
Returns the value of this waveform element.

Returns:
the value

setValue

public void setValue(Expression value)
Sets the value of this waveform element.

Parameters:
value - the value