@Test public void testGetNameWithLabel () { String LABEL = "a label"; State state = new State (STATE_NAME, null); state.mLabel = LABEL; assertTrue (state.getName ().startsWith (LABEL)); }
String getName () { return mLabel.isEmpty () ? mName : mLabel + " (" + mName + ")"; }
State { String getName () { return mLabel.isEmpty () ? mName : mLabel + " (" + mName + ")"; } }
State { String getName () { return mLabel.isEmpty () ? mName : mLabel + " (" + mName + ")"; } State(String name, DirectedGraph graph); }
State { String getName () { return mLabel.isEmpty () ? mName : mLabel + " (" + mName + ")"; } State(String name, DirectedGraph graph);  }
State { String getName () { return mLabel.isEmpty () ? mName : mLabel + " (" + mName + ")"; } State(String name, DirectedGraph graph);   }