Package pl.edu.amu.wmi.daut.base

Examples of pl.edu.amu.wmi.daut.base.AutomatonSpecification

18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
    public CharClassOperator(String c) {
        this.charClass = c;
    }
    @Override
    public AutomatonSpecification createFixedAutomaton() {
        AutomatonSpecification automaton = new NaiveAutomatonSpecification();
        State q0 = automaton.addState();
        State q1 = automaton.addState();
        automaton.addTransition(q0, q1,
            new CharClassTransitionLabel(charClass));
        automaton.markAsInitial(q0);
        automaton.markAsFinal(q1);

        return automaton;
    }
View Full Code Here
16
17
18
19
20
21
22
23
24
25
26
27
28
public class WhitespaceOperator extends NullaryRegexpOperator {
    private static final String WHITESPACE_CHARS = "\t\n\f\r \u000B";

    @Override
    public AutomatonSpecification createFixedAutomaton() {
        AutomatonSpecification automaton = new NaiveAutomatonSpecification();
        State q0 = automaton.addState();
        State q1 = automaton.addState();
        automaton.markAsInitial(q0);
        automaton.markAsFinal(q1);
        automaton.addTransition(q0, q1, new CharClassTransitionLabel(WHITESPACE_CHARS));
        return automaton;
    }
View Full Code Here
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
     * Główna metoda klasy.
     */
    @Override
    public AutomatonSpecification createFixedAutomaton() {

        AutomatonSpecification automaton = new NaiveAutomatonSpecification();
        char a = '0';
        char b = '9';
        State q0 = automaton.addState();
        State q1 = automaton.addState();
        automaton.addTransition(q0, q1, new CharRangeTransitionLabel(a, b));
        automaton.markAsInitial(q0);
        automaton.markAsFinal(q1);

        return automaton;
    }
View Full Code Here
14
15
16
17
18
19
20
21
22
23
    private String s;

    @Override
    public AutomatonSpecification createFixedAutomaton() {
      AutomatonSpecification automaton = new NaiveAutomatonSpecification();
      automaton.markAsInitial(automaton.addState());
      automaton.markAsFinal(automaton.addTransitionSequence(automaton.getInitialState(), this.s));
      return automaton;
    }
View Full Code Here
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
    /**
     * Generuje automat.
     */
    @Override
    public AutomatonSpecification createFixedAutomaton() {
        AutomatonSpecification automaton = new NaiveAutomatonSpecification();
        State q0 = automaton.addState();
        State q1 = automaton.addState();
        automaton.markAsInitial(q0);
        automaton.markAsFinal(q1);

        automaton.addTransition(q0, q1, new ComplementCharClassTransitionLabel(str));

        return automaton;
    }
View Full Code Here
15
16
17
18
19
20
21
22
23
24
25
26
27
    /**
     * Test createFixedAutomaton.
     */
    public void testcreateFixedAutomaton() {
         NoWhitespaceOperator operator = new NoWhitespaceOperator();
         AutomatonSpecification spec = operator.createFixedAutomaton();
         assertFalse(spec.isEmpty());
         assertFalse(spec.acceptEmptyWord());
         AutomatonByRecursion automaton = new AutomatonByRecursion(spec);

         assertFalse(automaton.accepts(" "));
         assertFalse(automaton.accepts("\n"));
         assertFalse(automaton.accepts("\t"));
View Full Code Here
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
    /**
     * Test znaku ucieczki "\a".
     */
    public void testEscapeOperatorA() {
        EscapeOperator operator = new EscapeOperator('a');
        AutomatonSpecification automaton = operator.createFixedAutomaton();
        NondeterministicAutomatonByThompsonApproach result =
                new NondeterministicAutomatonByThompsonApproach(automaton);

        assertFalse(automaton.isEmpty());
        assertTrue(result.accepts("\7"));
        assertFalse(result.accepts("\\7"));
        assertFalse(result.accepts("\6"));
        assertFalse(result.accepts("c"));
    }
View Full Code Here
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
     * Test znaku ucieczki "\n".
     */
    public void testEscapeOperatorN() {

        EscapeOperator operator1 = new EscapeOperator('n');
        AutomatonSpecification automaton1 = operator1.createFixedAutomaton();
        NondeterministicAutomatonByThompsonApproach result1 =
                new NondeterministicAutomatonByThompsonApproach(automaton1);

        assertFalse(automaton1.isEmpty());
        assertTrue(result1.accepts("\n"));
        assertFalse(result1.accepts("\\nn"));
        assertFalse(result1.accepts("n"));

    }
View Full Code Here
48
49
50
51
52
53
54
55
56
57
58
59
60
61
     * Test znaku ucieczki "\t".
     */
    public void testEscapeOperatorT() {

        EscapeOperator operator2 = new EscapeOperator('t');
        AutomatonSpecification automaton2 = operator2.createFixedAutomaton();
        NondeterministicAutomatonByThompsonApproach result2 =
                new NondeterministicAutomatonByThompsonApproach(automaton2);

        assertFalse(automaton2.isEmpty());
        assertTrue(result2.accepts("\t"));
        assertFalse(result2.accepts("\\tt"));
        assertFalse(result2.accepts("t"));
    }
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
75
76
77
     * Test znaku ucieczki "\f".
     */
    public void testEscapeOperatorF() {

        EscapeOperator operator3 = new EscapeOperator('f');
        AutomatonSpecification automaton3 = operator3.createFixedAutomaton();
        NondeterministicAutomatonByThompsonApproach result3 =
                new NondeterministicAutomatonByThompsonApproach(automaton3);

        assertFalse(automaton3.isEmpty());
        assertTrue(result3.accepts("\f"));
        assertFalse(result3.accepts("\\ff"));
        assertFalse(result3.accepts("f"));
    }
View Full Code Here
TOP

Related Classes of pl.edu.amu.wmi.daut.base.AutomatonSpecification

  • pl.edu.amu.wmi.daut.re.AnyOrderOperator
  • pl.edu.amu.wmi.daut.re.AsciiCharacterClassOperator
  • pl.edu.amu.wmi.daut.re.CharClassOperator
  • pl.edu.amu.wmi.daut.re.DigitOperator
  • pl.edu.amu.wmi.daut.re.ExtendedPosixRegexp
  • pl.edu.amu.wmi.daut.re.FixedNumberOfOccurrencesOperator
  • pl.edu.amu.wmi.daut.re.MinimumNumberOfOccurencesOperator
  • pl.edu.amu.wmi.daut.re.NegatedAsciiCharacterClass
  • pl.edu.amu.wmi.daut.re.NoDigitOperator
  • pl.edu.amu.wmi.daut.re.NoWhitespaceOperator
    • 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.