edu.cmu.cs.able.AcmeStudioBridge
Interface BridgeControl

All Superinterfaces:
java.rmi.Remote
All Known Implementing Classes:
Bridge

public interface BridgeControl
extends java.rmi.Remote


Method Summary
 void beginChanges()
           
 void createGauge(GaugeID gaugeID, StringPairVector setupParams, StringPairVector mappings)
          Tells the bridge to create a gauge and start listening to it.
 void deleteGauge(GaugeID gauge)
          Tells the bridge to remove a gauge (delete it and stop listening to it).
 void endChanges()
           
 void loadAcmeFile(java.lang.String filename)
          Loads a particular Acme description into the bridge.
 void loadIntoAcmeStudio(boolean load)
           
 

Method Detail

loadAcmeFile

public void loadAcmeFile(java.lang.String filename)
                  throws java.rmi.RemoteException
Loads a particular Acme description into the bridge.
Parameters:
filename - The full path of the file containing the Acme description.
Throws:
java.rmi.RemoteException -  

loadIntoAcmeStudio

public void loadIntoAcmeStudio(boolean load)
                        throws java.rmi.RemoteException

createGauge

public void createGauge(GaugeID gaugeID,
                        StringPairVector setupParams,
                        StringPairVector mappings)
                 throws java.rmi.RemoteException
Tells the bridge to create a gauge and start listening to it. This gauge should be attached to the description that was loaded into the file.
Parameters:
gaugeID - The ID of the gauge to create.
setupParams - The parameters to set up the gauge.
mappings - The mappings to connect the gauge to the model.
Throws:
java.rmi.RemoteException -  

deleteGauge

public void deleteGauge(GaugeID gauge)
                 throws java.rmi.RemoteException
Tells the bridge to remove a gauge (delete it and stop listening to it).
Parameters:
gauge - The ID of the gauge to delete.
Throws:
java.rmi.RemoteException -  

beginChanges

public void beginChanges()
                  throws java.rmi.RemoteException

endChanges

public void endChanges()
                throws java.rmi.RemoteException