de.upb.hni.vmagic.concurrent
Class ConditionalSignalAssignment.ConditionalWaveformElement

java.lang.Object
  extended by de.upb.hni.vmagic.concurrent.ConditionalSignalAssignment.ConditionalWaveformElement
Enclosing class:
ConditionalSignalAssignment

public static class ConditionalSignalAssignment.ConditionalWaveformElement
extends java.lang.Object

Conditional waveform element.


Constructor Summary
ConditionalSignalAssignment.ConditionalWaveformElement(java.util.List<WaveformElement> waveform)
          Creates a conditional waveform element.
ConditionalSignalAssignment.ConditionalWaveformElement(java.util.List<WaveformElement> waveform, Expression condition)
          Creates a conditional waveform element with a condition.
 
Method Summary
 Expression getCondition()
          Returns the condition of this conditional waveform element.
 java.util.List<WaveformElement> getWaveform()
          Returns the list of waveform elements in this conditional waveform element.
 void setCondition(Expression condition)
          Sets the condition of this conditional waveform element.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ConditionalSignalAssignment.ConditionalWaveformElement

public ConditionalSignalAssignment.ConditionalWaveformElement(java.util.List<WaveformElement> waveform)
Creates a conditional waveform element.

Parameters:
waveform - the waveform

ConditionalSignalAssignment.ConditionalWaveformElement

public ConditionalSignalAssignment.ConditionalWaveformElement(java.util.List<WaveformElement> waveform,
                                                              Expression condition)
Creates a conditional waveform element with a condition.

Parameters:
waveform - the waveform
condition - the condition
Method Detail

getCondition

public Expression getCondition()
Returns the condition of this conditional waveform element.

Returns:
the condition

setCondition

public void setCondition(Expression condition)
Sets the condition of this conditional waveform element.

Parameters:
condition - the condition

getWaveform

public java.util.List<WaveformElement> getWaveform()
Returns the list of waveform elements in this conditional waveform element.

Returns:
the list of waveform elements