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

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

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

Methods in de.upb.hni.vmagic.declaration with parameters of type DisconnectionSpecification
protected  void DeclarationVisitor.visitDisconnectionSpecification(DisconnectionSpecification specification)
          Visits a disconnection specification.