public class CETree
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
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) |
javax.swing.JTree |
getTreeComponent() |
static boolean |
hasArrayFields(java.lang.String sortName) |
public CETree(Model model)
public javax.swing.JTree getTreeComponent()
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)
public static java.lang.String computeLocationSetName(LocationSet ls)
public static java.util.List<java.lang.String> computeLocationSetProperties(LocationSet ls)
public static java.lang.String computeSequenceName(Sequence s)
public static java.util.List<java.lang.String> computeSequenceProperties(Sequence s)
Copyright © 2003-2019 The KeY-Project.