Changeset 666 for trunk/quest-ui-swt


Ignore:
Timestamp:
08/28/12 13:46:52 (12 years ago)
Author:
sherbold
Message:
Location:
trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/GuiModelTabComposite.java

    r658 r666  
    8585    public void updateModelList() { 
    8686        guiModelList.removeAll(); 
    87         for (String modelName : GlobalDataContainer.getInstance().getAllGUIModelNames()) { 
    88             guiModelList.add(modelName); 
     87        for(String key : GlobalDataContainer.getInstance().getAllKeys()) { 
     88            if( GlobalDataContainer.getInstance().getData(key) instanceof GUIModel ) { 
     89                guiModelList.add(key); 
     90            } 
    8991        } 
    9092    } 
  • trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/ModelsTabComposite.java

    r655 r666  
    150150    public void updateModelList() { 
    151151        modelList.removeAll(); 
    152         for (String sequencesName : GlobalDataContainer.getInstance().getAllModelNames()) { 
    153             modelList.add(sequencesName); 
     152        for(String key : GlobalDataContainer.getInstance().getAllKeys()) { 
     153            if( GlobalDataContainer.getInstance().getData(key) instanceof IStochasticProcess ) { 
     154                modelList.add(key); 
     155            } 
    154156        } 
    155157    } 
  • trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/SequencesTabComposite.java

    r655 r666  
    1313import org.eclipse.swt.events.SelectionEvent; 
    1414 
     15import de.ugoe.cs.quest.SequenceInstanceOf; 
    1516import de.ugoe.cs.quest.ui.GlobalDataContainer; 
    1617import de.ugoe.cs.util.console.CommandExecuter; 
     
    129130    public void updateSequenceList() { 
    130131        sequenceList.removeAll(); 
    131         for (String sequencesName : GlobalDataContainer.getInstance().getAllSequencesNames()) { 
    132             sequenceList.add(sequencesName); 
     132        for(String key : GlobalDataContainer.getInstance().getAllKeys()) { 
     133            if( SequenceInstanceOf.isCollectionOfSequences(GlobalDataContainer.getInstance().getData(key)) ) { 
     134                sequenceList.add(key); 
     135            } 
    133136        } 
    134137    } 
Note: See TracChangeset for help on using the changeset viewer.