| de.uka.ilkd.key.casetool.together.patterns.HelperClasses.MyPatternBase.MyPatternBase de.uka.ilkd.key.casetool.together.patterns.HelperClasses.MyPatternBase.MyClassPatternBase
All known Subclasses: de.uka.ilkd.key.casetool.together.patterns.HelperClasses.MyParser.MyParser, de.uka.ilkd.key.casetool.together.keydebugclassloader.KeyPattern,
getSelectedClass | public SciClass getSelectedClass()(Code) | | |
Fields inherited from de.uka.ilkd.key.casetool.together.patterns.HelperClasses.MyPatternBase.MyPatternBase | protected static IdeInspector myIdeInspector(Code)(Java Doc) protected static PropertyMap myProperties(Code)(Java Doc)
|
Methods inherited from de.uka.ilkd.key.casetool.together.patterns.HelperClasses.MyPatternBase.MyPatternBase | protected void addBooleanFieldItem(String name, boolean initialValue)(Code)(Java Doc) protected void addBooleanFieldItem(String name, boolean initialValue, MyCondition condition)(Code)(Java Doc) protected void addClassPropertyItem(String name, boolean allowInterface, boolean multiple)(Code)(Java Doc) protected void addComboboxFieldItem(String name, Vector values, String defaultValue)(Code)(Java Doc) public void addPropertyMapListener(String name, PropertyMapListener listener)(Code)(Java Doc) protected void addStringFieldItem(String name)(Code)(Java Doc) protected void addStringFieldItem(String name, MyCondition condition)(Code)(Java Doc) protected void addToPropertiesVector(Vector v)(Code)(Java Doc) protected void applyOCLConstraints(Vector additionalProps, Vector constraintVector, Vector mappingVector, Vector placeVector)(Code)(Java Doc) protected void applyOCLSchemeAdjustments(Vector additionalProps, Vector constraintVector)(Code)(Java Doc) protected void applyOCLSchemes()(Code)(Java Doc) protected String checkStringValue(String value, boolean isClassName) throws MyPatternBaseException(Code)(Java Doc) protected String classNameShouldBeCorrect(String propertyName) throws MyPatternBaseException(Code)(Java Doc) public void copySpecFromTo(SciClass sc, String tm, SciClass tc)(Code)(Java Doc) protected Vector extractParameter(String paraList)(Code)(Java Doc) public SciAttribute getSelectedAttribute()(Code)(Java Doc) public SciClass getSelectedClass()(Code)(Java Doc) public SciOperation getSelectedMethod()(Code)(Java Doc) protected void initPattern()(Code)(Java Doc) protected void initializeInspector()(Code)(Java Doc) protected boolean isBooleanFieldSelected(String name)(Code)(Java Doc) public boolean isItemShown(String name)(Code)(Java Doc) public boolean isMultiple(String item)(Code)(Java Doc) protected boolean removeFromPropertiesVector(String s)(Code)(Java Doc) public void setMultiple(String item, boolean on)(Code)(Java Doc) protected void setPageName(String name)(Code)(Java Doc) protected void setUIBuilder(PatternUIBuilder builder)(Code)(Java Doc) public void showItem(String name, boolean show)(Code)(Java Doc) public void showItem(String name, boolean show, MyCondition condition)(Code)(Java Doc) public void showItemVector(Vector v, String oclScheme, boolean show)(Code)(Java Doc)
|
|
|