Uses of Class
de.upb.hni.vmagic.declaration.DisconnectionSpecification.SignalList

Packages that use DisconnectionSpecification.SignalList
de.upb.hni.vmagic.declaration Contains declaration meta classes. 
 

Uses of DisconnectionSpecification.SignalList in de.upb.hni.vmagic.declaration
 

Fields in de.upb.hni.vmagic.declaration declared as DisconnectionSpecification.SignalList
static DisconnectionSpecification.SignalList DisconnectionSpecification.SignalList.ALL
          ALL.
static DisconnectionSpecification.SignalList DisconnectionSpecification.SignalList.OTHERS
          OTHERS.
 

Methods in de.upb.hni.vmagic.declaration that return DisconnectionSpecification.SignalList
 DisconnectionSpecification.SignalList DisconnectionSpecification.getSignals()
          Returns the list of signals.
 

Methods in de.upb.hni.vmagic.declaration with parameters of type DisconnectionSpecification.SignalList
 void DisconnectionSpecification.setSignals(DisconnectionSpecification.SignalList signals)
          Sets the list of signals.
 

Constructors in de.upb.hni.vmagic.declaration with parameters of type DisconnectionSpecification.SignalList
DisconnectionSpecification(DisconnectionSpecification.SignalList signals, SubtypeIndication type, Expression after)
          Creates a disconnection specification.