public class ChoiceInformation
extends java.lang.Object
Notion: A choice, e.g. permission:on
contains a category permission
and an option on
.
Constructor and Description |
---|
ChoiceInformation() |
ChoiceInformation(Namespace<Choice> choices) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Choice> |
getActivatedChoices() |
java.util.HashSet<java.lang.String> |
getActivatedChoicesCategories() |
Namespace<Choice> |
getChoices() |
java.util.Map<java.lang.String,java.lang.String> |
getDefaultOptions() |
java.util.Map<java.lang.String,java.util.Set<java.lang.String>> |
getFoundChoicesAndOptions() |
void |
setDefaultOption(java.lang.String category,
java.lang.String choice) |
public java.util.Map<java.lang.String,java.util.Set<java.lang.String>> getFoundChoicesAndOptions()
public java.util.HashSet<java.lang.String> getActivatedChoicesCategories()
public java.util.Set<Choice> getActivatedChoices()
public void setDefaultOption(java.lang.String category, java.lang.String choice)
public java.util.Map<java.lang.String,java.lang.String> getDefaultOptions()
Copyright © 2003-2019 The KeY-Project.