public class AnnotationSetsView.SetHandler extends Object
Modifier and Type | Method and Description |
---|---|
void |
cleanup() |
AnnotationSetsView.TypeHandler |
getTypeHandler(String type) |
boolean |
isExpanded() |
AnnotationSetsView.TypeHandler |
newType(String type)
Notifies this set handler that a new type of annotations has been created
|
void |
removeType(AnnotationSetsView.TypeHandler tHandler) |
void |
removeType(String type) |
void |
setExpanded(boolean expanded) |
public void cleanup()
public AnnotationSetsView.TypeHandler newType(String type)
type
- the new type of annotationspublic void removeType(AnnotationSetsView.TypeHandler tHandler)
public void removeType(String type)
public AnnotationSetsView.TypeHandler getTypeHandler(String type)
public void setExpanded(boolean expanded)
public boolean isExpanded()
Copyright © 2024 GATE. All rights reserved.