From 6cab2a701f95b4d95c33a3ca82cbe5c88bd59168 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Fri, 28 Sep 2018 13:14:30 +0200
Subject: [PATCH] Removing warnings on automaton minimization
---
build.gradle | 2 +-
src/main/java/graph/AUTGraph.java | 15 ++++++++++++---
2 files changed, 13 insertions(+), 4 deletions(-)
diff --git a/build.gradle b/build.gradle
index 668f8911b1..d58c4e1a42 100644
--- a/build.gradle
+++ b/build.gradle
@@ -12,7 +12,7 @@ ext {
subprojects {
apply plugin: 'java'
- sourceCompatibility = 1.7
+ sourceCompatibility = 1.8
// version =
sourceSets {
diff --git a/src/main/java/graph/AUTGraph.java b/src/main/java/graph/AUTGraph.java
index e85ae7c51f..0d6d85ed50 100755
--- a/src/main/java/graph/AUTGraph.java
+++ b/src/main/java/graph/AUTGraph.java
@@ -1035,16 +1035,22 @@ public class AUTGraph implements myutil.Graph {
public AUTGraph fromAutomaton(Automaton a) {
AUTGraph graph = new AUTGraph();
- Set<Transition<String>> trs = (Set<Transition<String>>)(a.delta());
+ @SuppressWarnings("unchecked")
+ Set<Transition<String>> trs = (Set<Transition<String>>) a.delta();
//Set<?> trs = a.delta();
+ @SuppressWarnings("unchecked")
Set<State> sts = (Set<State>)(a.states());
Map<State, Integer> mapOfStates = new HashMap<>();
int cpt = 1;
for(State st: sts) {
if (st.isInitial()) {
+
+ //@SuppressWarnings("unchecked")
mapOfStates.put(st, new Integer(0));
} else {
+
+ //@SuppressWarnings("unchecked")
mapOfStates.put(st, new Integer(cpt));
cpt ++;
}
@@ -1095,12 +1101,15 @@ public class AUTGraph implements myutil.Graph {
return a;
}
+ @SuppressWarnings("unchecked")
public AUTGraph reduceGraph() {
Automaton a = toAutomaton();
//TraceManager.addDev("Initial AUT:" + a.toString());
- Automaton<String, Transition<String>, TransitionBuilder<String>> newA = (Automaton<String, Transition<String>, TransitionBuilder<String>>)(
+
+ @SuppressWarnings("unchecked")
+ Automaton<String, Transition<String>, TransitionBuilder<String>> newA =
new EpsilonTransitionRemover<String, Transition<String>,
- TransitionBuilder<String>>().transform(a));
+ TransitionBuilder<String>>().transform((Automaton<String, Transition<String>, TransitionBuilder<String>>)a);
//TraceManager.addDev("Aut with no tau / epsilon:" + newA.toString());
newA = new Reducer<String, Transition<String>, TransitionBuilder<String>>().transform(newA);
--
GitLab