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

92.31

/api/src/main/java/net/automatalib/automaton/helper/SimpleStateIDs.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.automaton.helper;

import java.util.ArrayList;
import java.util.HashMap;
import java.util.List;
import java.util.Map;

import net.automatalib.automaton.concept.StateIDs;
import net.automatalib.automaton.simple.SimpleAutomaton;
import net.automatalib.common.util.HashUtil;

public class SimpleStateIDs<S> implements StateIDs<S> {

    private final Map<S, Integer> stateIds;
    private final List<S> states;

    public SimpleStateIDs(SimpleAutomaton<S, ?> automaton) {
        this.states = new ArrayList<>(automaton.getStates());
        int numStates = this.states.size();
        this.stateIds = new HashMap<>(HashUtil.capacity(numStates));

        for (int i = 0; i < numStates; i++) {
            S state = this.states.get(i);
            stateIds.put(state, i);
        }
    }

    @Override
    public int getStateId(S state) {
        final Integer id = stateIds.get(state);

        if (id == null) {
            throw new IllegalArgumentException();
        }

        return id;
    }

    @Override
    public S getState(int id) {
        return states.get(id);
    }

}

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.automaton.helper;
17
18	import java.util.ArrayList;
19	import java.util.HashMap;
20	import java.util.List;
21	import java.util.Map;
22
23	import net.automatalib.automaton.concept.StateIDs;
24	import net.automatalib.automaton.simple.SimpleAutomaton;
25	import net.automatalib.common.util.HashUtil;
26
27	public class SimpleStateIDs<S> implements StateIDs<S> {
28
29	private final Map<S, Integer> stateIds;
30	private final List<S> states;
31
32	public SimpleStateIDs(SimpleAutomaton<S, ?> automaton) {	1✔
33	this.states = new ArrayList<>(automaton.getStates());	1✔
34	int numStates = this.states.size();	1✔
35	this.stateIds = new HashMap<>(HashUtil.capacity(numStates));	1✔
36
37	for (int i = 0; i < numStates; i++) {	1✔
38	S state = this.states.get(i);	1✔
39	stateIds.put(state, i);	1✔
40	}
41	}	1✔
42
43	@Override
44	public int getStateId(S state) {
45	final Integer id = stateIds.get(state);	1✔
46
47	if (id == null) {	1✔
48	throw new IllegalArgumentException();	×
49	}
50
51	return id;	1✔
52	}
53
54	@Override
55	public S getState(int id) {
56	return states.get(id);	1✔
57	}
58
59	}

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