/
CounterOracle.java
113 lines (104 loc) · 4.98 KB
/
CounterOracle.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
/* Copyright (C) 2013-2024 TU Dortmund University
* 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.statistic.oracle;
import java.util.Arrays;
import java.util.Collection;
import de.learnlib.filter.statistic.Counter;
import de.learnlib.filter.statistic.CounterCollection;
import de.learnlib.oracle.MembershipOracle;
import de.learnlib.oracle.MembershipOracle.DFAMembershipOracle;
import de.learnlib.oracle.MembershipOracle.MealyMembershipOracle;
import de.learnlib.oracle.MembershipOracle.MooreMembershipOracle;
import de.learnlib.query.Query;
import de.learnlib.statistic.StatisticData;
import de.learnlib.statistic.StatisticOracle;
import de.learnlib.tooling.annotation.refinement.GenerateRefinement;
import de.learnlib.tooling.annotation.refinement.Generic;
import de.learnlib.tooling.annotation.refinement.Interface;
import de.learnlib.tooling.annotation.refinement.Mapping;
import net.automatalib.word.Word;
/**
* A {@link MembershipOracle} that counts both the number of queries and the total number of symbols occurring in all
* those queries.
*
* @param <I>
* input symbol type
* @param <D>
* output domain type
*/
@GenerateRefinement(name = "DFACounterOracle",
generics = @Generic(value = "I", desc = "input symbol type"),
parentGenerics = {@Generic("I"), @Generic(clazz = Boolean.class)},
typeMappings = @Mapping(from = MembershipOracle.class,
to = DFAMembershipOracle.class,
generics = @Generic("I")),
interfaces = @Interface(clazz = DFAMembershipOracle.class, generics = @Generic("I")))
@GenerateRefinement(name = "MealyCounterOracle",
generics = {@Generic(value = "I", desc = "input symbol type"),
@Generic(value = "O", desc = "output symbol type")},
parentGenerics = {@Generic("I"), @Generic(clazz = Word.class, generics = "O")},
typeMappings = @Mapping(from = MembershipOracle.class,
to = MealyMembershipOracle.class,
generics = {@Generic("I"), @Generic("O")}),
interfaces = @Interface(clazz = MealyMembershipOracle.class,
generics = {@Generic("I"), @Generic("O")}))
@GenerateRefinement(name = "MooreCounterOracle",
generics = {@Generic(value = "I", desc = "input symbol type"),
@Generic(value = "O", desc = "output symbol type")},
parentGenerics = {@Generic("I"), @Generic(clazz = Word.class, generics = "O")},
typeMappings = @Mapping(from = MembershipOracle.class,
to = MooreMembershipOracle.class,
generics = {@Generic("I"), @Generic("O")}),
interfaces = @Interface(clazz = MooreMembershipOracle.class,
generics = {@Generic("I"), @Generic("O")}))
public class CounterOracle<I, D> implements StatisticOracle<I, D> {
private final MembershipOracle<I, D> delegate;
private final Counter queryCounter;
private final Counter symbolCounter;
public CounterOracle(MembershipOracle<I, D> delegate) {
this.delegate = delegate;
this.queryCounter = new Counter("Queries", "#");
this.symbolCounter = new Counter("Symbols", "#");
}
@Override
public void processQueries(Collection<? extends Query<I, D>> queries) {
queryCounter.increment(queries.size());
for (Query<I, D> qry : queries) {
symbolCounter.increment(qry.getPrefix().length() + qry.getSuffix().length());
}
delegate.processQueries(queries);
}
/**
* Retrieves {@link Counter} for the number of queries posed to this oracle.
*
* @return the counter of queries
*/
public Counter getQueryCounter() {
return queryCounter;
}
/**
* Retrieves the {@link Counter} for the number of symbols in all queries posed to this oracle.
*
* @return the counter of symbols
*/
public Counter getSymbolCounter() {
return symbolCounter;
}
@Override
public StatisticData getStatisticalData() {
return new CounterCollection(Arrays.asList(queryCounter, symbolCounter));
}
}