Uses of Interface
de.cau.cs.kieler.quartz.editor.quartz.ControlList

Packages that use ControlList
de.cau.cs.kieler.quartz.editor.quartz   
de.cau.cs.kieler.quartz.editor.quartz.impl   
de.cau.cs.kieler.quartz.editor.quartz.util   
 

Uses of ControlList in de.cau.cs.kieler.quartz.editor.quartz
 

Subinterfaces of ControlList in de.cau.cs.kieler.quartz.editor.quartz
 interface QNameList
          A representation of the model object 'QName List'.
 

Methods in de.cau.cs.kieler.quartz.editor.quartz that return ControlList
 ControlList QuartzFactory.createControlList()
          Returns a new object of class 'Control List'.
 

Methods in de.cau.cs.kieler.quartz.editor.quartz that return types with arguments of type ControlList
 EList<ControlList> ProofGoalList.getCtr()
          Returns the value of the 'Ctr' containment reference list.
 EList<ControlList> ProofGoalList.getCtrl()
          Returns the value of the 'Ctrl' containment reference list.
 

Uses of ControlList in de.cau.cs.kieler.quartz.editor.quartz.impl
 

Classes in de.cau.cs.kieler.quartz.editor.quartz.impl that implement ControlList
 class ControlListImpl
          An implementation of the model object 'Control List'.
 class QNameListImpl
          An implementation of the model object 'QName List'.
 

Fields in de.cau.cs.kieler.quartz.editor.quartz.impl with type parameters of type ControlList
protected  EList<ControlList> ProofGoalListImpl.ctr
          The cached value of the 'Ctr' containment reference list.
protected  EList<ControlList> ProofGoalListImpl.ctrl
          The cached value of the 'Ctrl' containment reference list.
 

Methods in de.cau.cs.kieler.quartz.editor.quartz.impl that return ControlList
 ControlList QuartzFactoryImpl.createControlList()
           
 

Methods in de.cau.cs.kieler.quartz.editor.quartz.impl that return types with arguments of type ControlList
 EList<ControlList> ProofGoalListImpl.getCtr()
           
 EList<ControlList> ProofGoalListImpl.getCtrl()
           
 

Uses of ControlList in de.cau.cs.kieler.quartz.editor.quartz.util
 

Methods in de.cau.cs.kieler.quartz.editor.quartz.util with parameters of type ControlList
 T QuartzSwitch.caseControlList(ControlList object)
          Returns the result of interpreting the object as an instance of 'Control List'.