13138848026

Committed 04 Feb 2025 02:53PM UTC coverage: 92.108% (+2.2%) from 89.877%

Build # 13138848026

Build Type

push

github

Committed by

mtf90

Commit Message

[maven-release-plugin] prepare release automatalib-0.12.0

Run Details

16609 of 18032 relevant lines covered (92.11%)

1.7 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

73.68

/api/src/main/java/net/automatalib/word/EmptyWord.java

/* Copyright (C) 2013-2025 TU Dortmund University
 * This file is part of AutomataLib <https://automatalib.net>.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package net.automatalib.word;

import java.util.Collections;
import java.util.List;
import java.util.NoSuchElementException;
import java.util.Spliterator;
import java.util.Spliterators;
import java.util.function.Function;

import net.automatalib.alphabet.Alphabet;
import org.checkerframework.checker.nullness.qual.Nullable;

/**
 * The empty word.
 *
 * @see Collections#emptyList()
 */
final class EmptyWord<I> extends Word<I> {

    public static final EmptyWord<?> INSTANCE = new EmptyWord<>();

    @Override
    public int length() {
        return 0;
    }

    @Override
    public Spliterator<I> spliterator() {
        return Spliterators.emptySpliterator();
    }

    @Override
    public Word<I> subWordInternal(int fromIndex, int toIndex) {
        return this;
    }

    @Override
    public void writeToArray(int offset, @Nullable Object[] array, int tgtOffset, int length) {}

    @Override
    public I getSymbol(int index) {
        throw new IndexOutOfBoundsException(Integer.toString(index));
    }

    @Override
    public List<I> asList() {
        return Collections.emptyList();
    }

    @Override
    public Word<I> canonicalNext(Alphabet<I> sigma) {
        return new LetterWord<>(sigma.getSymbol(0));
    }

    @Override
    public I lastSymbol() {
        throw new NoSuchElementException();
    }

    @Override
    public Word<I> append(I symbol) {
        return new LetterWord<>(symbol);
    }

    @Override
    public Word<I> prepend(I symbol) {
        return append(symbol);
    }

    @Override
    public boolean isPrefixOf(Word<?> other) {
        return true;
    }

    @Override
    public Word<I> longestCommonPrefix(Word<?> other) {
        return this;
    }

    @Override
    public boolean isSuffixOf(Word<?> other) {
        return true;
    }

    @Override
    public Word<I> longestCommonSuffix(Word<?> other) {
        return this;
    }

    @Override
    public Word<I> flatten() {
        return this;
    }

    @Override
    public Word<I> trimmed() {
        return this;
    }

    @Override
    @SuppressWarnings("unchecked")
    public <T> Word<T> transform(Function<? super I, ? extends T> transformer) {
        return (Word<T>) this;
    }
}

1	/* Copyright (C) 2013-2025 TU Dortmund University
2	* This file is part of AutomataLib <https://automatalib.net>.
3	*
4	* Licensed under the Apache License, Version 2.0 (the "License");
5	* you may not use this file except in compliance with the License.
6	* You may obtain a copy of the License at
7	*
8	* http://www.apache.org/licenses/LICENSE-2.0
9	*
10	* Unless required by applicable law or agreed to in writing, software
11	* distributed under the License is distributed on an "AS IS" BASIS,
12	* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13	* See the License for the specific language governing permissions and
14	* limitations under the License.
15	*/
16	package net.automatalib.word;
17
18	import java.util.Collections;
19	import java.util.List;
20	import java.util.NoSuchElementException;
21	import java.util.Spliterator;
22	import java.util.Spliterators;
23	import java.util.function.Function;
24
25	import net.automatalib.alphabet.Alphabet;
26	import org.checkerframework.checker.nullness.qual.Nullable;
27
28	/**
29	* The empty word.
30	*
31	* @see Collections#emptyList()
32	*/
33	final class EmptyWord<I> extends Word<I> {	2✔
34
35	public static final EmptyWord<?> INSTANCE = new EmptyWord<>();	2✔
36
37	@Override
38	public int length() {
39	return 0;	2✔
40	}
41
42	@Override
43	public Spliterator<I> spliterator() {
44	return Spliterators.emptySpliterator();	×
45	}
46
47	@Override
48	public Word<I> subWordInternal(int fromIndex, int toIndex) {
49	return this;	2✔
50	}
51
52	@Override
53	public void writeToArray(int offset, @Nullable Object[] array, int tgtOffset, int length) {}	2✔
54
55	@Override
56	public I getSymbol(int index) {
57	throw new IndexOutOfBoundsException(Integer.toString(index));	×
58	}
59
60	@Override
61	public List<I> asList() {
62	return Collections.emptyList();	2✔
63	}
64
65	@Override
66	public Word<I> canonicalNext(Alphabet<I> sigma) {
67	return new LetterWord<>(sigma.getSymbol(0));	1✔
68	}
69
70	@Override
71	public I lastSymbol() {
72	throw new NoSuchElementException();	×
73	}
74
75	@Override
76	public Word<I> append(I symbol) {
77	return new LetterWord<>(symbol);	2✔
78	}
79
80	@Override
81	public Word<I> prepend(I symbol) {
82	return append(symbol);	2✔
83	}
84
85	@Override
86	public boolean isPrefixOf(Word<?> other) {
87	return true;	2✔
88	}
89
90	@Override
91	public Word<I> longestCommonPrefix(Word<?> other) {
92	return this;	2✔
93	}
94
95	@Override
96	public boolean isSuffixOf(Word<?> other) {
97	return true;	2✔
98	}
99
100	@Override
101	public Word<I> longestCommonSuffix(Word<?> other) {
102	return this;	2✔
103	}
104
105	@Override
106	public Word<I> flatten() {
107	return this;	×
108	}
109
110	@Override
111	public Word<I> trimmed() {
112	return this;	×
113	}
114
115	@Override
116	@SuppressWarnings("unchecked")
117	public <T> Word<T> transform(Function<? super I, ? extends T> transformer) {
118	return (Word<T>) this;	1✔
119	}
120	}

LearnLib / automatalib / 13138848026

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous