|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.upb.hni.vmagic.concurrent.ConditionalSignalAssignment.ConditionalWaveformElement
public static class ConditionalSignalAssignment.ConditionalWaveformElement
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 |
---|
public ConditionalSignalAssignment.ConditionalWaveformElement(java.util.List<WaveformElement> waveform)
waveform
- the waveformpublic ConditionalSignalAssignment.ConditionalWaveformElement(java.util.List<WaveformElement> waveform, Expression condition)
waveform
- the waveformcondition
- the conditionMethod Detail |
---|
public Expression getCondition()
public void setCondition(Expression condition)
condition
- the conditionpublic java.util.List<WaveformElement> getWaveform()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |