de.upb.hni.vmagic.declaration
Class DisconnectionSpecification

java.lang.Object
  extended by de.upb.hni.vmagic.VhdlElement
      extended by de.upb.hni.vmagic.declaration.DeclarativeItem
          extended by de.upb.hni.vmagic.declaration.DisconnectionSpecification
All Implemented Interfaces:
BlockDeclarativeItem, DeclarativeItemMarker, EntityDeclarativeItem, PackageDeclarativeItem

public class DisconnectionSpecification
extends DeclarativeItem
implements BlockDeclarativeItem, EntityDeclarativeItem, PackageDeclarativeItem

Disconnection specification.


Nested Class Summary
static class DisconnectionSpecification.SignalList
          Signal list for disconnection specification.
 
Constructor Summary
DisconnectionSpecification(DisconnectionSpecification.SignalList signals, SubtypeIndication type, Expression after)
          Creates a disconnection specification.
 
Method Summary
 Expression getAfter()
          Returns the disconnection delay.
 DisconnectionSpecification.SignalList getSignals()
          Returns the list of signals.
 SubtypeIndication getType()
          Returns the type of the signals.
 void setAfter(Expression after)
          Sets the disconnection delay.
 void setSignals(DisconnectionSpecification.SignalList signals)
          Sets the list of signals.
 void setType(SubtypeIndication type)
          Sets the type of the signals.
 
Methods inherited from class de.upb.hni.vmagic.VhdlElement
getParent, setParent
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DisconnectionSpecification

public DisconnectionSpecification(DisconnectionSpecification.SignalList signals,
                                  SubtypeIndication type,
                                  Expression after)
Creates a disconnection specification.

Parameters:
signals - a list of guarded signals
type - the type of the signals
after - the disconnection delay
Method Detail

getAfter

public Expression getAfter()
Returns the disconnection delay.

Returns:
the delay

setAfter

public void setAfter(Expression after)
Sets the disconnection delay.

Parameters:
after - the delay

getSignals

public DisconnectionSpecification.SignalList getSignals()
Returns the list of signals.

Returns:
a list of signals

setSignals

public void setSignals(DisconnectionSpecification.SignalList signals)
Sets the list of signals.

Parameters:
signals - a list of signals

getType

public SubtypeIndication getType()
Returns the type of the signals.

Returns:
the type

setType

public void setType(SubtypeIndication type)
Sets the type of the signals.

Parameters:
type - the type