| package org.eclipse.stem.ui.grapheditor; | |
| public class GraphDefs { | |
| public static double R = 100000; | |
| final static int UNDEFINED = -1 , | |
| MIGRATION_EDGE = 0, | |
| CONTAINMENT_EDGE = 1, | |
| COMMON_BORDER_EDGE = 2, | |
| AREA_LABEL = 2, | |
| POPULATION_LABEL = 3, | |
| NODE_TITLE=4, | |
| NODE_URI=5, | |
| NODE_LABEL=6, | |
| EDGE_TITLE=7, | |
| EDGE_AURI=8, | |
| EDGE_BURI=9, | |
| EDGE_LABEL_VALUE=10, | |
| EDGE_POPULATION=11; | |
| } |