LearnLib / learnlib / 6433387082

coverage: 92.296% (-0.007%) from 92.303%
6433387082

push

github

mtf90 
update Falk's developer id

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

83.33
/algorithms/passive/ostia/src/main/java/de/learnlib/algorithms/ostia/Edge.java
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.algorithms.ostia;
17 









18



import org.checkerframework.checker.nullness.qual.Nullable;










19












20



class Edge {










21












22



    @Nullable IntQueue out;










23



    State target;










24












25



    Edge() {}




2✔





26












27



    Edge(Edge edge) {




2✔





28



        out = IntQueue.copyAndConcat(edge.out, null);




2✔





29



        target = edge.target;




2✔





30



    }




2✔





31












32



    @Override










33



    public String toString() {










34



        return String.valueOf(target);




×







35



    }










36



}
























    

  • 

    •