public class CETree extends Object
Modifier and Type | Class and Description |
---|---|
private class |
CETree.CEMouseAdapter |
Modifier and Type | Field and Description |
---|---|
private static Comparator<? super Pair<? super String,? super String>> |
IGNORECASE_COMPARATOR
A comparator that sort ignoRiNG cASe.
|
private Model |
model
The SMT model.
|
private JTree |
tree
The JTree to be shown.
|
private static final Comparator<? super Pair<? super String,? super String>> IGNORECASE_COMPARATOR
private JTree tree
private Model model
public CETree(Model model)
private void initTree()
public JTree getTreeComponent()
private DefaultMutableTreeNode constructTree()
private void fillHeaps(DefaultMutableTreeNode heaps)
private void addObjectProperties(ObjectVal ov, DefaultMutableTreeNode object)
ov
- object
- public static boolean hasArrayFields(String sortName)
public static List<Pair<String,String>> computeObjectProperties(ObjectVal ov, String sortName)
private void fillLocsets(DefaultMutableTreeNode locsets)
public static String computeLocationSetName(LocationSet ls)
private void addLocSetProperties(LocationSet ls, DefaultMutableTreeNode locset)
ls
- locset
- public static List<String> computeLocationSetProperties(LocationSet ls)
private void fillSequences(DefaultMutableTreeNode sequences)
private void addSequenceProperties(Sequence s, DefaultMutableTreeNode sequence)
s
- sequence
- private void fillConstants(DefaultMutableTreeNode constants)