/** * Create a new outgoing transition labeled <code>label</code> and return * the newly created target state for this transition. */ State newState(int label) { assert Arrays.binarySearch(labels, label) < 0 : "State already has transition labeled: " + label; labels = ArrayUtil.growExact(labels, labels.length + 1); states = ArrayUtil.growExact(states, states.length + 1); labels[labels.length - 1] = label; return states[states.length - 1] = new State(); }
/** * Create a new outgoing transition labeled <code>label</code> and return * the newly created target state for this transition. */ State newState(int label) { assert Arrays.binarySearch(labels, label) < 0 : "State already has transition labeled: " + label; labels = Arrays.copyOf(labels, labels.length + 1); states = Arrays.copyOf(states, states.length + 1); labels[labels.length - 1] = label; return states[states.length - 1] = new State(); }
/** * Create a new outgoing transition labeled <code>label</code> and return * the newly created target state for this transition. */ State newState(int label) { assert Arrays.binarySearch(labels, label) < 0 : "State already has transition labeled: " + label; labels = Arrays.copyOf(labels, labels.length + 1); states = Arrays.copyOf(states, states.length + 1); labels[labels.length - 1] = label; return states[states.length - 1] = new State(); }
/** * Create a new outgoing transition labeled <code>label</code> and return * the newly created target state for this transition. */ State newState(int label) { assert Arrays.binarySearch(labels, label) < 0 : "State already has transition labeled: " + label; labels = ArrayUtil.growExact(labels, labels.length + 1); states = ArrayUtil.growExact(states, states.length + 1); labels[labels.length - 1] = label; return states[states.length - 1] = new State(); }