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

91.67

/incremental/src/main/java/net/automatalib/incremental/mealy/dag/StateSignature.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.incremental.mealy.dag;

import net.automatalib.common.util.array.ArrayStorage;
import org.checkerframework.checker.nullness.qual.Nullable;

/**
 * A signature of a DAG state internally used by {@link IncrementalMealyDAGBuilder}.
 *
 * @param <O>
 *         output symbol type
 */
final class StateSignature<O> {

    final ArrayStorage<State<O>> successors;
    final ArrayStorage<O> outputs;
    private int hashCode;

    StateSignature(int numSuccs) {
        this.successors = new ArrayStorage<>(numSuccs);
        this.outputs = new ArrayStorage<>(numSuccs);
        updateHashCode();
    }

    StateSignature(StateSignature<O> other) {
        this.successors = new ArrayStorage<>(other.successors);
        this.outputs = new ArrayStorage<>(other.outputs);
        updateHashCode();
    }

    StateSignature<O> duplicate() {
        return new StateSignature<>(this);
    }

    void updateHashCode() {
        final int prime = 31;
        int result = 1;
        result = prime * result + outputs.hashCode();
        result = prime * result + successors.hashCode();
        hashCode = result;
    }

    @Override
    public int hashCode() {
        return hashCode;
    }

    @Override
    public boolean equals(@Nullable Object obj) {
        if (this == obj) {
            return true;
        }
        if (!(obj instanceof StateSignature)) {
            return false;
        }

        final StateSignature<?> other = (StateSignature<?>) obj;

        return hashCode == other.hashCode && outputs.equals(other.outputs) && successors.equals(other.successors);
    }

}

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.incremental.mealy.dag;
17
18	import net.automatalib.common.util.array.ArrayStorage;
19	import org.checkerframework.checker.nullness.qual.Nullable;
20
21	/**
22	* A signature of a DAG state internally used by {@link IncrementalMealyDAGBuilder}.
23	*
24	* @param <O>
25	* output symbol type
26	*/
27	final class StateSignature<O> {
28
29	final ArrayStorage<State<O>> successors;
30	final ArrayStorage<O> outputs;
31	private int hashCode;
32
33	StateSignature(int numSuccs) {	2✔
34	this.successors = new ArrayStorage<>(numSuccs);	2✔
35	this.outputs = new ArrayStorage<>(numSuccs);	2✔
36	updateHashCode();	2✔
37	}	2✔
38
39	StateSignature(StateSignature<O> other) {	2✔
40	this.successors = new ArrayStorage<>(other.successors);	2✔
41	this.outputs = new ArrayStorage<>(other.outputs);	2✔
42	updateHashCode();	2✔
43	}	2✔
44
45	StateSignature<O> duplicate() {
46	return new StateSignature<>(this);	2✔
47	}
48
49	void updateHashCode() {
50	final int prime = 31;	2✔
51	int result = 1;	2✔
52	result = prime * result + outputs.hashCode();	2✔
53	result = prime * result + successors.hashCode();	2✔
54	hashCode = result;	2✔
55	}	2✔
56
57	@Override
58	public int hashCode() {
59	return hashCode;	2✔
60	}
61
62	@Override
63	public boolean equals(@Nullable Object obj) {
64	if (this == obj) {	2✔
65	return true;	×
66	}
67	if (!(obj instanceof StateSignature)) {	2✔
68	return false;	×
69	}
70
71	final StateSignature<?> other = (StateSignature<?>) obj;	2✔
72
73	return hashCode == other.hashCode && outputs.equals(other.outputs) && successors.equals(other.successors);	2✔
74	}
75
76	}

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