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

Examples of pl.edu.amu.wmi.daut.base.NondeterministicAutomatonByThompsonApproach.accepts()

33
34
35
36
37
38
39
40
41
42
43
        NumericalRangeOperator spec = new NumericalRangeOperator(101, 101);
        NondeterministicAutomatonByThompsonApproach automaton =
                new NondeterministicAutomatonByThompsonApproach(spec.createFixedAutomaton());

        assertTrue(automaton.accepts("101"));
        assertFalse(automaton.accepts(""));
        assertFalse(automaton.accepts("1"));
        assertFalse(automaton.accepts("100"));
        assertFalse(automaton.accepts("102"));
        assertFalse(automaton.accepts("a101b"));
View Full Code Here
34
35
36
37
38
39
40
41
42
43
44
        NumericalRangeOperator spec = new NumericalRangeOperator(101, 101);
        NondeterministicAutomatonByThompsonApproach automaton =
                new NondeterministicAutomatonByThompsonApproach(spec.createFixedAutomaton());

        assertTrue(automaton.accepts("101"));
        assertFalse(automaton.accepts(""));
        assertFalse(automaton.accepts("1"));
        assertFalse(automaton.accepts("100"));
        assertFalse(automaton.accepts("102"));
        assertFalse(automaton.accepts("a101b"));
        assertFalse(automaton.accepts("   101  "));
View Full Code Here
35
36
37
38
39
40
41
42
43
44
45
        NondeterministicAutomatonByThompsonApproach automaton =
                new NondeterministicAutomatonByThompsonApproach(spec.createFixedAutomaton());

        assertTrue(automaton.accepts("101"));
        assertFalse(automaton.accepts(""));
        assertFalse(automaton.accepts("1"));
        assertFalse(automaton.accepts("100"));
        assertFalse(automaton.accepts("102"));
        assertFalse(automaton.accepts("a101b"));
        assertFalse(automaton.accepts("   101  "));
    }
View Full Code Here
36
37
38
39
40
41
42
43
44
45
46
                new NondeterministicAutomatonByThompsonApproach(spec.createFixedAutomaton());

        assertTrue(automaton.accepts("101"));
        assertFalse(automaton.accepts(""));
        assertFalse(automaton.accepts("1"));
        assertFalse(automaton.accepts("100"));
        assertFalse(automaton.accepts("102"));
        assertFalse(automaton.accepts("a101b"));
        assertFalse(automaton.accepts("   101  "));
    }
View Full Code Here
37
38
39
40
41
42
43
44
45
46
47
        assertTrue(automaton.accepts("101"));
        assertFalse(automaton.accepts(""));
        assertFalse(automaton.accepts("1"));
        assertFalse(automaton.accepts("100"));
        assertFalse(automaton.accepts("102"));
        assertFalse(automaton.accepts("a101b"));
        assertFalse(automaton.accepts("   101  "));
    }

    /**
 
View Full Code Here
38
39
40
41
42
43
44
45
46
47
48
        assertTrue(automaton.accepts("101"));
        assertFalse(automaton.accepts(""));
        assertFalse(automaton.accepts("1"));
        assertFalse(automaton.accepts("100"));
        assertFalse(automaton.accepts("102"));
        assertFalse(automaton.accepts("a101b"));
        assertFalse(automaton.accepts("   101  "));
    }

    /**
     * Test ciekawszego automatu.
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
        assertFalse(automaton.accepts(""));
        assertFalse(automaton.accepts("1"));
        assertFalse(automaton.accepts("100"));
        assertFalse(automaton.accepts("102"));
        assertFalse(automaton.accepts("a101b"));
        assertFalse(automaton.accepts("   101  "));
    }

    /**
     * Test ciekawszego automatu.
     */
 
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
        NumericalRangeOperator spec = new NumericalRangeOperator(3, 88);
        NondeterministicAutomatonByThompsonApproach automaton =
                new NondeterministicAutomatonByThompsonApproach(spec.createFixedAutomaton());
        assertTrue(automaton.accepts("3"));
        assertTrue(automaton.accepts("4"));
        assertTrue(automaton.accepts("88"));
        assertTrue(automaton.accepts("87"));
        assertTrue(automaton.accepts("60"));
        assertTrue(automaton.accepts("44"));
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
        NumericalRangeOperator spec = new NumericalRangeOperator(3, 88);
        NondeterministicAutomatonByThompsonApproach automaton =
                new NondeterministicAutomatonByThompsonApproach(spec.createFixedAutomaton());
        assertTrue(automaton.accepts("3"));
        assertTrue(automaton.accepts("4"));
        assertTrue(automaton.accepts("88"));
        assertTrue(automaton.accepts("87"));
        assertTrue(automaton.accepts("60"));
        assertTrue(automaton.accepts("44"));
        assertTrue(automaton.accepts("29"));
View Full Code Here
53
54
55
56
57
58
59
60
61
62
63
        NondeterministicAutomatonByThompsonApproach automaton =
                new NondeterministicAutomatonByThompsonApproach(spec.createFixedAutomaton());
        assertTrue(automaton.accepts("3"));
        assertTrue(automaton.accepts("4"));
        assertTrue(automaton.accepts("88"));
        assertTrue(automaton.accepts("87"));
        assertTrue(automaton.accepts("60"));
        assertTrue(automaton.accepts("44"));
        assertTrue(automaton.accepts("29"));
        assertFalse(automaton.accepts(""));
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.