1 23 package com.tc.jrexx.set; 24 25 28 public class SAutomatonData extends XML { 29 32 public static class State extends XML { 33 36 public static class Transition extends XML { 37 public com.tc.jrexx.automaton.IProperties properties; 38 public String charSet; 39 public int toStateNumber; 40 41 public Transition( 42 com.tc.jrexx.automaton.IProperties properties, 43 String charSet, 44 int toStateNumber 45 ) { 46 this.properties = properties; 47 this.charSet = charSet; 48 this.toStateNumber = toStateNumber; 49 } 50 } 51 public int number; 52 public boolean isFinal; 53 public Transition[] transitions; 54 boolean transitionsAreDeterministic; 55 56 public State( 57 int number, 58 SAutomatonData.State.Transition[] transitions, 59 boolean transitionsAreDeterministic 60 ) { 61 this(number,false,transitions,transitionsAreDeterministic); 62 } 63 64 public State( 65 int number, 66 boolean isFinal, 67 SAutomatonData.State.Transition[] transitions, 68 boolean transitionsAreDeterministic 69 ) { 70 this.number = number; 71 this.isFinal = isFinal; 72 this.transitions = transitions; 73 this.transitionsAreDeterministic = transitionsAreDeterministic; 74 } 75 } 76 public State[] states; 77 public Integer startStateNumber; 78 public boolean isDeterministic; 79 80 81 public SAutomatonData( 82 SAutomatonData.State[] states, 83 Integer startStateNumber, 84 boolean isDeterministic 85 ) { 86 this.states = states; 87 this.startStateNumber = startStateNumber; 88 this.isDeterministic = isDeterministic; 89 } 90 } 91 | Popular Tags |