6433387082

Committed 06 Oct 2023 03:10PM UTC coverage: 92.296% (-0.007%) from 92.303%

Build # 6433387082

Build Type

push

github

Committed by

mtf90

Commit Message

update Falk's developer id

Run Details

11573 of 12539 relevant lines covered (92.3%)

1.67 hits per line

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

76.47

/oracles/filters/reuse/src/main/java/de/learnlib/filter/reuse/tree/ReuseEdge.java

/* Copyright (C) 2013-2023 TU Dortmund
 * This file is part of LearnLib, http://www.learnlib.de/.
 *
 * 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 de.learnlib.filter.reuse.tree;

/**
 * A {@link ReuseEdge} connects two {@link ReuseNode}'s in the {@link ReuseTree} and is labeled with input and output
 * behavior. Please note that an edge may be reflexive if domain knowledge is used (input is invariant and/or output is
 * a failure output).
 *
 * @param <S>
 *         system state class
 * @param <I>
 *         input symbol class
 * @param <O>
 *         output symbol class
 */
public class ReuseEdge<S, I, O> {

    private final ReuseNode<S, I, O> source;
    private final ReuseNode<S, I, O> target;
    private final I input;
    private final O output;

    /**
     * Default constructor.
     *
     * @param source
     *         not allowed to be {@code null}.
     * @param target
     *         not allowed to be {@code null}.
     * @param input
     *         not allowed to be {@code null}.
     * @param output
     *         in case of quiescence maybe {@code null}.
     */
    public ReuseEdge(ReuseNode<S, I, O> source, ReuseNode<S, I, O> target, I input, O output) {
        if (source == null) {
            throw new IllegalArgumentException("Source not allowed to be null.");
        }
        if (target == null) {
            throw new IllegalArgumentException("Target not allowed to be null.");
        }
        if (input == null) {
            throw new IllegalArgumentException("Input not allowed to be null.");
        }
        this.source = source;
        this.target = target;
        this.input = input;
        this.output = output;
    }

    /**
     * The source node from this edge.
     *
     * @return source, never {@code null}.
     */
    public final ReuseNode<S, I, O> getSource() {
        return source;
    }

    /**
     * The target node from this edge.
     *
     * @return target, never {@code null}.
     */
    public final ReuseNode<S, I, O> getTarget() {
        return target;
    }

    /**
     * The respective input on this edge, never {@code null}.
     *
     * @return input, not {@code null}
     */
    public final I getInput() {
        return input;
    }

    /**
     * The respective output on this edge. In case of quiescence the output is {@code null}.
     *
     * @return output
     */
    public final O getOutput() {
        return output;
    }

    @Override
    public final String toString() {
        return source + " -> " + target + " i/o " + input + "/" + output;
    }
}

1	/* Copyright (C) 2013-2023 TU Dortmund
2	* This file is part of LearnLib, http://www.learnlib.de/.
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 de.learnlib.filter.reuse.tree;
17
18	/**
19	* A {@link ReuseEdge} connects two {@link ReuseNode}'s in the {@link ReuseTree} and is labeled with input and output
20	* behavior. Please note that an edge may be reflexive if domain knowledge is used (input is invariant and/or output is
21	* a failure output).
22	*
23	* @param <S>
24	* system state class
25	* @param <I>
26	* input symbol class
27	* @param <O>
28	* output symbol class
29	*/
30	public class ReuseEdge<S, I, O> {
31
32	private final ReuseNode<S, I, O> source;
33	private final ReuseNode<S, I, O> target;
34	private final I input;
35	private final O output;
36
37	/**
38	* Default constructor.
39	*
40	* @param source
41	* not allowed to be {@code null}.
42	* @param target
43	* not allowed to be {@code null}.
44	* @param input
45	* not allowed to be {@code null}.
46	* @param output
47	* in case of quiescence maybe {@code null}.
48	*/
49	public ReuseEdge(ReuseNode<S, I, O> source, ReuseNode<S, I, O> target, I input, O output) {	2✔
50	if (source == null) {	2✔
51	throw new IllegalArgumentException("Source not allowed to be null.");	×
52	}
53	if (target == null) {	2✔
54	throw new IllegalArgumentException("Target not allowed to be null.");	×
55	}
56	if (input == null) {	2✔
57	throw new IllegalArgumentException("Input not allowed to be null.");	×
58	}
59	this.source = source;	2✔
60	this.target = target;	2✔
61	this.input = input;	2✔
62	this.output = output;	2✔
63	}	2✔
64
65	/**
66	* The source node from this edge.
67	*
68	* @return source, never {@code null}.
69	*/
70	public final ReuseNode<S, I, O> getSource() {
71	return source;	×
72	}
73
74	/**
75	* The target node from this edge.
76	*
77	* @return target, never {@code null}.
78	*/
79	public final ReuseNode<S, I, O> getTarget() {
80	return target;	2✔
81	}
82
83	/**
84	* The respective input on this edge, never {@code null}.
85	*
86	* @return input, not {@code null}
87	*/
88	public final I getInput() {
89	return input;	2✔
90	}
91
92	/**
93	* The respective output on this edge. In case of quiescence the output is {@code null}.
94	*
95	* @return output
96	*/
97	public final O getOutput() {
98	return output;	2✔
99	}
100
101	@Override
102	public final String toString() {
103	return source + " -> " + target + " i/o " + input + "/" + output;	2✔
104	}
105	}

LearnLib / learnlib / 6433387082

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