de.upb.hni.vmagic.concurrent
Class SelectedSignalAssignment.SelectedWaveform

java.lang.Object
  extended by de.upb.hni.vmagic.concurrent.SelectedSignalAssignment.SelectedWaveform
Enclosing class:
SelectedSignalAssignment

public static class SelectedSignalAssignment.SelectedWaveform
extends java.lang.Object

Selected waveform.


Constructor Summary
SelectedSignalAssignment.SelectedWaveform(Expression waveform, Choice... choices)
          Creates a selected waveform.
SelectedSignalAssignment.SelectedWaveform(Expression waveform, java.util.List<Choice> choices)
          Creates a selected waveform with a list of choices.
SelectedSignalAssignment.SelectedWaveform(java.util.List<WaveformElement> waveform, java.util.List<Choice> choices)
          Creates a selected waveform with a list of waveform element and choices.
 
Method Summary
 java.util.List<Choice> getChoices()
          Returns the choices.
 java.util.List<WaveformElement> getWaveform()
          Returns the waveform.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SelectedSignalAssignment.SelectedWaveform

public SelectedSignalAssignment.SelectedWaveform(Expression waveform,
                                                 Choice... choices)
Creates a selected waveform.

Parameters:
waveform - the waveform
choices - the choices

SelectedSignalAssignment.SelectedWaveform

public SelectedSignalAssignment.SelectedWaveform(Expression waveform,
                                                 java.util.List<Choice> choices)
Creates a selected waveform with a list of choices.

Parameters:
waveform - the waveform
choices - a list of choices

SelectedSignalAssignment.SelectedWaveform

public SelectedSignalAssignment.SelectedWaveform(java.util.List<WaveformElement> waveform,
                                                 java.util.List<Choice> choices)
Creates a selected waveform with a list of waveform element and choices.

Parameters:
waveform - a list of waveform elements
choices - a list of choices
Method Detail

getWaveform

public java.util.List<WaveformElement> getWaveform()
Returns the waveform.

Returns:
a modifiable list of waveform elements

getChoices

public java.util.List<Choice> getChoices()
Returns the choices.

Returns:
a modifiable list of choices