Package dk.brics.automaton

Examples of dk.brics.automaton.Automaton

27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
     * @param a input automaton
     * @return resulting automaton
     */
    @Override
    public Automaton op(Automaton a) {
        Automaton b = a.clone();
        State initial = new State();
        State accept = new State();
        accept.setAccept(true);
        Set<StatePair> epsilons = new HashSet<StatePair>();
        for (State s : b.getStates()) {
            epsilons.add(new StatePair(initial, s));
            epsilons.add(new StatePair(s, accept));
        }
        b.setInitialState(initial);
        b.addEpsilons(epsilons);
        b.minimize();
        return b;
    }
View Full Code Here
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
     * @param a input automaton
     * @return resulting automaton
     */
    @Override
    public Automaton op(Automaton a) {
        Automaton b = new Automaton();
        Map<State, State> map = new HashMap<State, State>();
        for (State s : a.getStates()) {
            State ss = new State();
            map.put(s, ss);
        }
        State initial = new State();
        b.setInitialState(initial);
        map.get(a.getInitialState()).setAccept(true);
        Set<StatePair> epsilons = new HashSet<StatePair>();
        for (State s : a.getStates()) {
            State ss = map.get(s);
            if (s.isAccept()) {
                epsilons.add(new StatePair(initial, ss));
            }
            for (Transition t : s.getTransitions()) {
                State pp = map.get(t.getDest());
                pp.addTransition(new Transition(t.getMin(), t.getMax(), ss));
            }
        }
        b.setDeterministic(false);
        b.addEpsilons(epsilons);
        b.minimize();
        return b;
    }
View Full Code Here
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
     * @param a input automaton
     * @return resulting automaton
     */
    @Override
    public Automaton op(Automaton a) {
        Automaton b = a.clone();
        for (State s : b.getStates()) {
            Set<Transition> transitions = s.getTransitions();
            for (Transition t : new ArrayList<Transition>(transitions)) {
                State dest = t.getDest();
                transitions.remove(t);
                transitions.add(new Transition(Character.MIN_VALUE, Character.MAX_VALUE, dest));
            }
        }
        b.setDeterministic(false);
        b.reduce();
        b.minimize();
        return b;
    }
View Full Code Here
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
     * @param a input automaton
     * @return resulting automaton
     */
    @Override
    public Automaton op(Automaton a) {
        Automaton a1 = a.clone();
        Map<State, State> map = new HashMap<State, State>();
        Set<State> a1s = a1.getStates();
        for (State s : a1s) {
            State p = new State();
            map.put(s, p);
            if (s.isAccept()) {
                p.setAccept(true);
                s.setAccept(false);
            }
        }
        for (State s : a1s) {
            State p = map.get(s);
            for (Transition t : s.getTransitions()) {
                p.addTransition(new Transition(t.getMin(), t.getMax(), map.get(t.getDest())));
            }
        }
        a1.setDeterministic(false);
        for (State s : a1s) {
            for (Transition t : map.get(s).getTransitions()) {
                s.addTransition(new Transition(c, t.getDest()));
            }
        }
        a1.minimize();
        return a1;
    }
View Full Code Here
173
174
175
176
177
178
179
180
181
182
183
        Set<String> gapNames = getLocalPlugGapNames(st, body);
        if (gapNames.contains(null)) {
            Feedbacks.add(new NonConstantGapName(st, body.getMethod()));
            return null;
        }
        Automaton names = Automaton.makeEmpty();
        for (String string : gapNames) {
            names = names.union(Automaton.makeString(string));
        }
        return new Plugging(st, body.getMethod(), detector.getTypes(), names);
    }
View Full Code Here
20
21
22
23
24
25
26
27
28
29
30
        return convert(new MyPatternMatcher(pattern, true));
    }

    private Automaton convert(MyPatternMatcher matcher) {
        Pattern pattern = matcher.getParsedpattern();
        Automaton choices = Automaton.makeEmpty();
        for (ChoicePattern choice : pattern.getChoices()) {
            choices = choices.union(convert(choice));
        }
        return choices;
    }
View Full Code Here
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
        }
        return choices;
    }

    Automaton convert(ChoicePattern choice) {
        Automaton parts = null;
        final Iterator<PartPattern> iterator = choice.getParts().iterator();
        while (iterator.hasNext()) {
            PartPattern part = iterator.next();
            if (parts == null)
                parts = convert(part);
            else
                parts = parts.concatenate(convert(part));
            boolean hasMoreParts = iterator.hasNext();
            if (hasMoreParts)
                parts = parts.concatenate(Automaton.makeChar('/'));

        }
        if (parts == null)
            throw new IllegalArgumentException(
                    "The ChoicePattern may not be empty!");
View Full Code Here
48
49
50
51
52
53
54
55
56
57
58
                    "The ChoicePattern may not be empty!");
        return parts;
    }

    Automaton convert(PartPattern part) {
        Automaton automaton;
        if (part instanceof StarPattern) {
            automaton = anyStringWithoutSlash;
        } else if (part instanceof StarStarPattern) {
            automaton = anyString;
        } else if (part instanceof ConstPattern) {
View Full Code Here
67
68
69
70
71
72
73
74
75
76
    }

    public URLPatternToAutomatonConverter() {
        this.anyString = Automaton.makeAnyString();
        emptyString = Automaton.makeEmptyString();
        Automaton slash = Automaton.makeChar('/');
        Automaton anyStringWithSlash = anyString.concatenate(slash)
                .concatenate(anyString);
        this.anyStringWithoutSlash = anyStringWithSlash.complement();
    }
View Full Code Here
96
97
98
99
100
101
102
103
104
105
        String pattern;
        if (urlPattern != null)
            pattern = urlPattern.value();
        else
            pattern = method.getName();
        final Automaton converted = new URLPatternToAutomatonConverter()
                .convert(pattern);

        return converted;
    }
View Full Code Here
TOP

Related Classes of dk.brics.automaton.Automaton

  • bgu.bio.ds.automata.TransitionTable
  • com.google.gerrit.server.project.SectionMatcher$ExpandParameters
  • com.google.gerrit.server.query.change.RegexFilePredicate
  • dk.brics.jwig.analysis.jaive.Interface
  • dk.brics.jwig.analysis.jaive.InterfaceInvocationLinker
  • dk.brics.jwig.analysis.jaive.InvocationDetector
  • dk.brics.jwig.analysis.jaive.MyStringAnalysis
  • dk.brics.jwig.analysis.jaive.URLPatternToAutomatonConverter
  • dk.brics.string.AnalyzeRuntime
  • dk.brics.string.annotation.AnnotationAnalyzer
    • 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.