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