Package dk.brics.automaton

Examples of dk.brics.automaton.RegExp

56
57
58
59
60
61
62
63
64
65
66
                                String url = ((StringConstant)expr.getArg(0)).value;
                                url_map.put(value, url);
                            }
                            if (expr.getMethod().getSignature().equals("<dk.brics.string.runtime.Strings: void bind(java.lang.String,java.lang.String)>")) {
                                String name = getName(expr);
                                RegExp re = getRegExp(expr);
                                regexp_bind.put(name, re);
                            }
                            if (expr.getMethod().getSignature().equals("<dk.brics.string.runtime.Strings: void bind(java.lang.String,java.net.URL)>")) {
                                String name = getName(expr);
                                URL url = getConstantURL(expr.getArg(1));
View Full Code Here
107
108
109
110
111
112
113
114
115
116
        }
    }

    private RegExp getRegExp(InvokeExpr expr) {
        if (expr.getArg(1) instanceof StringConstant) {
            return new RegExp(((StringConstant) expr.getArg(1)).value);
        } else {
            throw new InvalidRuntimeUseException("Non-constant regexp");
        }
    }
View Full Code Here
293
294
295
296
297
298
299
300
301
302
303
        String type = at.getType().trim();
        if (type.equals("Ldk/brics/string/annotation/Type;") && at.getNumElems() == 1) {
            // XXX why are we trimming the regexp here?? Although rare, it is perfectly sane for a string-type
            // to end with blanks. E.g @Type("Hello ") would become @Type("Hello").
          String pattern = ((AnnotationStringElem)at.getElemAt(0)).getValue().trim();
          Automaton a = (new RegExp(pattern)).toAutomaton(bindings);
          automatonDescriptionMap.put(a, pattern);
          return a;
        }
        if (type.equals("Ldk/brics/string/annotation/LoadType;") && at.getNumElems() == 1) {
          String path = ((AnnotationStringElem)at.getElemAt(0)).getValue().trim();
View Full Code Here
176
177
178
179
180
181
182
183
184
185
        }
    }

    RegExp getRegExp(InvokeExpr expr) {
        if (expr.getArg(1) instanceof StringConstant) {
            return new RegExp(((StringConstant) expr.getArg(1)).value);
        } else {
            throw new InvalidRuntimeUseException("Non-constant regexp");
        }
    }
View Full Code Here
40
41
42
43
44
45
46
47
     * @throws IllegalArgumentException If the regular expression is invalid.
     */
    public Xeger(String regex, Random random) {
        assert regex != null;
        assert random != null;
        this.automaton = new RegExp(regex).toAutomaton();
        this.random = random;
    }
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
62
 
  /**
   * Builds the transition table data.
   */
  public void build() {
    RegExp regexp = new RegExp(this.expression);
    Automaton automata = regexp.toAutomaton(true);
    numOfStates = automata.getNumberOfStates();
    //System.out.println("Number of states " + numOfStates);
   
    State[] states = new State[numOfStates];
    automata.getStates().toArray(states);
View Full Code Here
TOP

Related Classes of dk.brics.automaton.RegExp

  • bgu.bio.ds.automata.TransitionTable
  • com.google.gerrit.server.project.RefControl
  • com.google.gerrit.server.query.change.RegexBranchPredicate
  • com.google.gerrit.server.query.change.RegexFilePredicate
  • com.google.gerrit.server.query.change.RegexProjectPredicate
  • com.google.gerrit.server.query.change.RegexRefPredicate
  • com.google.gerrit.server.query.change.RegexTopicPredicate
  • dk.brics.string.annotation.AnnotationAnalyzer
  • dk.brics.string.BindingAutomatonProvider
  • dk.brics.string.RuntimeResolver
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.